Вы находитесь на странице: 1из 58
TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes
TEMA I
INTRODUCCIÓN A LA LÓGICA
Policarpo Abascal Fuentes
TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas
TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas
TEMA 1

TEMA 1

TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
1. INTRODUCCIÓN A LA LÓGICA

1. INTRODUCCIÓN A LA LÓGICA

TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
1.1 INTRODUCCIÓN

1.1 INTRODUCCIÓN

TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
1.2 LÓGICA PROPOSICIONAL

1.2 LÓGICA PROPOSICIONAL

A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2 Proposiciones condicionales
A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2 Proposiciones condicionales
1.2.1 Conexiones lógicas

1.2.1 Conexiones lógicas

1.2.2 Proposiciones condicionales

1.2.2 Proposiciones condicionales

1.2.1 Conexiones lógicas 1.2.2 Proposiciones condicionales 1.2.3 Tablas de verdad 1.2.4 Jerarquía de los conectores
1.2.3 Tablas de verdad

1.2.3 Tablas de verdad

1.2.4 Jerarquía de los conectores

1.2.4 Jerarquía de los conectores

1.2.3 Tablas de verdad 1.2.4 Jerarquía de los conectores 1.2.5 Ejemplos de proposiciones compuestas 1.2.6 Lógica
1.2.5 Ejemplos de proposiciones compuestas

1.2.5 Ejemplos de proposiciones compuestas

verdad 1.2.4 Jerarquía de los conectores 1.2.5 Ejemplos de proposiciones compuestas 1.2.6 Lógica y operaciones con
1.2.6 Lógica y operaciones con bits

1.2.6 Lógica y operaciones con bits

verdad 1.2.4 Jerarquía de los conectores 1.2.5 Ejemplos de proposiciones compuestas 1.2.6 Lógica y operaciones con
verdad 1.2.4 Jerarquía de los conectores 1.2.5 Ejemplos de proposiciones compuestas 1.2.6 Lógica y operaciones con
verdad 1.2.4 Jerarquía de los conectores 1.2.5 Ejemplos de proposiciones compuestas 1.2.6 Lógica y operaciones con
verdad 1.2.4 Jerarquía de los conectores 1.2.5 Ejemplos de proposiciones compuestas 1.2.6 Lógica y operaciones con
verdad 1.2.4 Jerarquía de los conectores 1.2.5 Ejemplos de proposiciones compuestas 1.2.6 Lógica y operaciones con
TEMA 1 1.3 EQUIVALENCIAS PROPOSICIONALES 1.3.1 Tautologías y Contradicciones 1.3.2 Equivalencias lógicas. Leyes de la
TEMA 1 1.3 EQUIVALENCIAS PROPOSICIONALES 1.3.1 Tautologías y Contradicciones 1.3.2 Equivalencias lógicas. Leyes de la
TEMA 1

TEMA 1

TEMA 1 1.3 EQUIVALENCIAS PROPOSICIONALES 1.3.1 Tautologías y Contradicciones 1.3.2 Equivalencias lógicas. Leyes de la
TEMA 1 1.3 EQUIVALENCIAS PROPOSICIONALES 1.3.1 Tautologías y Contradicciones 1.3.2 Equivalencias lógicas. Leyes de la
1.3 EQUIVALENCIAS PROPOSICIONALES

1.3

EQUIVALENCIAS PROPOSICIONALES

1.3.1 Tautologías y Contradicciones

1.3.1 Tautologías y Contradicciones

PROPOSICIONALES 1.3.1 Tautologías y Contradicciones 1.3.2 Equivalencias lógicas. Leyes de la lógica 1.4
1.3.2 Equivalencias lógicas. Leyes de la lógica

1.3.2 Equivalencias lógicas. Leyes de la lógica

1.3.2 Equivalencias lógicas. Leyes de la lógica 1.4 CUANTIFICADORES 1.5 MÉTODOS DE DEMOSTRACIÓN 1.5.1
1.3.2 Equivalencias lógicas. Leyes de la lógica 1.4 CUANTIFICADORES 1.5 MÉTODOS DE DEMOSTRACIÓN 1.5.1
1.4 CUANTIFICADORES

1.4 CUANTIFICADORES

lógicas. Leyes de la lógica 1.4 CUANTIFICADORES 1.5 MÉTODOS DE DEMOSTRACIÓN 1.5.1 Introducción 1.5.2
1.5 MÉTODOS DE DEMOSTRACIÓN

1.5 MÉTODOS DE DEMOSTRACIÓN

la lógica 1.4 CUANTIFICADORES 1.5 MÉTODOS DE DEMOSTRACIÓN 1.5.1 Introducción 1.5.2 Reglas de inferencia 1.5.3
1.5.1 Introducción

1.5.1 Introducción

1.5 MÉTODOS DE DEMOSTRACIÓN 1.5.1 Introducción 1.5.2 Reglas de inferencia 1.5.3 Falacias 1.5.4 Métodos
1.5.2 Reglas de inferencia

1.5.2 Reglas de inferencia

1.5.3 Falacias

1.5.3 Falacias

DE DEMOSTRACIÓN 1.5.1 Introducción 1.5.2 Reglas de inferencia 1.5.3 Falacias 1.5.4 Métodos para demostrar teoremas
1.5.4 Métodos para demostrar teoremas

1.5.4 Métodos para demostrar teoremas

DE DEMOSTRACIÓN 1.5.1 Introducción 1.5.2 Reglas de inferencia 1.5.3 Falacias 1.5.4 Métodos para demostrar teoremas
DE DEMOSTRACIÓN 1.5.1 Introducción 1.5.2 Reglas de inferencia 1.5.3 Falacias 1.5.4 Métodos para demostrar teoremas
DE DEMOSTRACIÓN 1.5.1 Introducción 1.5.2 Reglas de inferencia 1.5.3 Falacias 1.5.4 Métodos para demostrar teoremas
DE DEMOSTRACIÓN 1.5.1 Introducción 1.5.2 Reglas de inferencia 1.5.3 Falacias 1.5.4 Métodos para demostrar teoremas
DE DEMOSTRACIÓN 1.5.1 Introducción 1.5.2 Reglas de inferencia 1.5.3 Falacias 1.5.4 Métodos para demostrar teoremas
DE DEMOSTRACIÓN 1.5.1 Introducción 1.5.2 Reglas de inferencia 1.5.3 Falacias 1.5.4 Métodos para demostrar teoremas
DE DEMOSTRACIÓN 1.5.1 Introducción 1.5.2 Reglas de inferencia 1.5.3 Falacias 1.5.4 Métodos para demostrar teoremas
1. INTRODUCCIÓN A LA

1.

INTRODUCCIÓN

A

LA

1. INTRODUCCIÓN A LA LÓGICA   Bibliograf´ıa   Rosen K.H.,   Matemática discreta y
LÓGICA  

LÓGICA

 
1. INTRODUCCIÓN A LA LÓGICA   Bibliograf´ıa   Rosen K.H.,   Matemática discreta y
1. INTRODUCCIÓN A LA LÓGICA   Bibliograf´ıa   Rosen K.H.,   Matemática discreta y
Bibliograf´ıa  

Bibliograf´ıa

 
A LA LÓGICA   Bibliograf´ıa   Rosen K.H.,   Matemática discreta y aplicaciones,
A LA LÓGICA   Bibliograf´ıa   Rosen K.H.,   Matemática discreta y aplicaciones,
Rosen K.H.,  

Rosen K.H.,

 
Matemática discreta y aplicaciones,

Matemática discreta y aplicaciones,

Rosen K.H.,   Matemática discreta y aplicaciones, Editorial McGraw-Hill Johnsonbaugh, R.,  
Editorial McGraw-Hill

Editorial McGraw-Hill

Matemática discreta y aplicaciones, Editorial McGraw-Hill Johnsonbaugh, R.,   Matemáticas discretas, Prentice
Matemática discreta y aplicaciones, Editorial McGraw-Hill Johnsonbaugh, R.,   Matemáticas discretas, Prentice
Johnsonbaugh, R.,  

Johnsonbaugh, R.,

 
Matemáticas discretas,

Matemáticas discretas,

Johnsonbaugh, R.,   Matemáticas discretas, Prentice Hall Grassman, W.K. and Tremblay, J.P.,  
Prentice Hall

Prentice Hall

R.,   Matemáticas discretas, Prentice Hall Grassman, W.K. and Tremblay, J.P.,   Matemática
R.,   Matemáticas discretas, Prentice Hall Grassman, W.K. and Tremblay, J.P.,   Matemática
Grassman, W.K. and Tremblay, J.P.,  

Grassman, W.K. and Tremblay, J.P.,

 
discretas, Prentice Hall Grassman, W.K. and Tremblay, J.P.,   Matemática discreta y Lógica, Prentice Hall
Matemática discreta y Lógica,

Matemática discreta y Lógica,

Prentice Hall

Prentice Hall

discretas, Prentice Hall Grassman, W.K. and Tremblay, J.P.,   Matemática discreta y Lógica, Prentice Hall
discretas, Prentice Hall Grassman, W.K. and Tremblay, J.P.,   Matemática discreta y Lógica, Prentice Hall
discretas, Prentice Hall Grassman, W.K. and Tremblay, J.P.,   Matemática discreta y Lógica, Prentice Hall
discretas, Prentice Hall Grassman, W.K. and Tremblay, J.P.,   Matemática discreta y Lógica, Prentice Hall
1.1 INTRODUCCIÓN Definicion´ La Logica´ es el estudio del razonamiento, en particular, se analiza si
1.1 INTRODUCCIÓN Definicion´ La Logica´ es el estudio del razonamiento, en particular, se analiza si
1.1 INTRODUCCIÓN

1.1 INTRODUCCIÓN

1.1 INTRODUCCIÓN Definicion´ La Logica´ es el estudio del razonamiento, en particular, se analiza si un
1.1 INTRODUCCIÓN Definicion´ La Logica´ es el estudio del razonamiento, en particular, se analiza si un
Definicion´

Definicion´

La Logica´ es el estudio del razonamiento, en particular, se analiza si un

La Logica´

es el estudio del razonamiento, en particular, se analiza si un

el estudio del razonamiento, en particular, se analiza si un razonamiento es correcto. La Lógica se
razonamiento es correcto.

razonamiento es correcto.

en particular, se analiza si un razonamiento es correcto. La Lógica se centra en las relaciones
La Lógica se centra en las relaciones entre los enunciados y no en el

La Lógica se centra en las relaciones entre los enunciados y no en el

contenido de ellos.

contenido de ellos.

entre los enunciados y no en el contenido de ellos. Ejemplo Es de mala educación que
entre los enunciados y no en el contenido de ellos. Ejemplo Es de mala educación que
Ejemplo

Ejemplo

entre los enunciados y no en el contenido de ellos. Ejemplo Es de mala educación que
Es de mala educación que un hombre tenga la cabeza cubierta en un

Es de mala educación que un hombre tenga la cabeza cubierta en un

mala educación que un hombre tenga la cabeza cubierta en un recinto cerrado. Hay un alumno
recinto cerrado.

recinto cerrado.

un hombre tenga la cabeza cubierta en un recinto cerrado. Hay un alumno en este aula
Hay un alumno en este aula con una gorra en la cabeza.

Hay un alumno en este aula con una gorra en la cabeza.

en un recinto cerrado. Hay un alumno en este aula con una gorra en la cabeza.
en un recinto cerrado. Hay un alumno en este aula con una gorra en la cabeza.
Conclusion´

Conclusion´

El alumno es un mal educado.

El alumno es un mal educado.

en un recinto cerrado. Hay un alumno en este aula con una gorra en la cabeza.
en un recinto cerrado. Hay un alumno en este aula con una gorra en la cabeza.
en un recinto cerrado. Hay un alumno en este aula con una gorra en la cabeza.
1.2 LÓGICA PROPOSI-
1.2 LÓGICA PROPOSI-

1.2

LÓGICA

PROPOSI-

CIONAL  

CIONAL

 
CIONAL   Definicion´ Una proposicion´ es la mínima unidad del lenguaje con contenido de información sobre
CIONAL   Definicion´ Una proposicion´ es la mínima unidad del lenguaje con contenido de información sobre
Definicion´

Definicion´

Una proposicion´ es la mínima unidad del lenguaje con contenido de

Una proposicion´

es la mínima unidad del lenguaje con contenido de

es la mínima unidad del lenguaje con contenido de información sobre la que es posible pronunciarse
información sobre la que es posible pronunciarse con un verdadero o

información sobre la que es posible pronunciarse con un verdadero o

sobre la que es posible pronunciarse con un verdadero o con un falso. Cuando es cierta
con un falso. Cuando es cierta se le atribuye el valor lógico 1 ó V

con un falso. Cuando es cierta se le atribuye el valor lógico 1 ó V y si

es falsa 0 ó F .

es falsa 0 ó F.

el valor lógico 1 ó V y si es falsa 0 ó F . Las proposiciones
Las proposiciones mas sencillas posible se denominan atomicas´ y se

Las proposiciones mas sencillas posible se denominan atomicas´

y se

mas sencillas posible se denominan atomicas´ y se representan habitualmente con letras minúsculas a partir de
representan habitualmente con letras minúsculas a partir de la p.  

representan habitualmente con letras minúsculas a partir de la p.

 
Una proposición expresada como una cadena de caracteres se

Una proposición expresada como una cadena de caracteres se

Una proposición expresada como una cadena de caracteres se denomina expresion´ logica´ ó formula´ . P
denomina expresion´ logica´ ó formula´ .

denomina expresion´

logica´

ó formula´

.

expresada como una cadena de caracteres se denomina expresion´ logica´ ó formula´ . P ∧ Q
P ∧ Q  

P Q

 
expresada como una cadena de caracteres se denomina expresion´ logica´ ó formula´ . P ∧ Q
expresada como una cadena de caracteres se denomina expresion´ logica´ ó formula´ . P ∧ Q
expresada como una cadena de caracteres se denomina expresion´ logica´ ó formula´ . P ∧ Q
expresada como una cadena de caracteres se denomina expresion´ logica´ ó formula´ . P ∧ Q
expresada como una cadena de caracteres se denomina expresion´ logica´ ó formula´ . P ∧ Q
expresada como una cadena de caracteres se denomina expresion´ logica´ ó formula´ . P ∧ Q
expresada como una cadena de caracteres se denomina expresion´ logica´ ó formula´ . P ∧ Q
1.2 LÓGICA PROPOSI-
1.2 LÓGICA PROPOSI-

1.2

LÓGICA

PROPOSI-

CIONAL

CIONAL

CIONAL Ejemplos • "¿Es esto verdadero?" no es una proposición. • "Juan es un nombre" es
CIONAL Ejemplos • "¿Es esto verdadero?" no es una proposición. • "Juan es un nombre" es
Ejemplos

Ejemplos

CIONAL Ejemplos • "¿Es esto verdadero?" no es una proposición. • "Juan es un nombre" es
CIONAL Ejemplos • "¿Es esto verdadero?" no es una proposición. • "Juan es un nombre" es
CIONAL Ejemplos • "¿Es esto verdadero?" no es una proposición. • "Juan es un nombre" es
• "¿Es esto verdadero?" no es una proposición.

"¿Es esto verdadero?" no es una proposición.

• "¿Es esto verdadero?" no es una proposición. • "Juan es un nombre" es una proposición.
• "Juan es un nombre" es una proposición.

"Juan es un nombre" es una proposición.

• "Juan es un nombre" es una proposición. • " 8 es un número primo" es
• " 8 es un número primo" es una proposición.

"8 es un número primo" es una proposición.

• " 8 es un número primo" es una proposición. • " 8 no es un
• " 8 no es un número primo" es una proposición.

"8 no es un número primo" es una proposición.

• " 8 es un número primo" es una proposición. • " 8 no es un
• " 8 es un número primo" es una proposición. • " 8 no es un
• " 8 es un número primo" es una proposición. • " 8 no es un
• " 8 es un número primo" es una proposición. • " 8 no es un
• " 8 es un número primo" es una proposición. • " 8 no es un
• " 8 es un número primo" es una proposición. • " 8 no es un
• " 8 es un número primo" es una proposición. • " 8 no es un
• " 8 es un número primo" es una proposición. • " 8 no es un
• " 8 es un número primo" es una proposición. • " 8 no es un
• " 8 es un número primo" es una proposición. • " 8 no es un
• " 8 es un número primo" es una proposición. • " 8 no es un
• " 8 es un número primo" es una proposición. • " 8 no es un
1.2 LÓGICA PROPOSI-
1.2 LÓGICA PROPOSI-

1.2

LÓGICA

PROPOSI-

CIONAL

CIONAL

CIONAL Definicion´ Las proposiciones constituidas por proposiciones atómicas y otras partículas que sirven de nexo se
CIONAL Definicion´ Las proposiciones constituidas por proposiciones atómicas y otras partículas que sirven de nexo se
Definicion´

Definicion´

Las proposiciones constituidas por proposiciones atómicas y otras

Las proposiciones constituidas por proposiciones atómicas y otras

constituidas por proposiciones atómicas y otras partículas que sirven de nexo se llaman moleculares o
partículas que sirven de nexo se llaman moleculares o compuestas y

partículas que sirven de nexo se llaman moleculares o compuestas y

que sirven de nexo se llaman moleculares o compuestas y se representan habitualmente con letras mayúsculas
se representan habitualmente con letras mayúsculas a partir de la P.

se representan habitualmente con letras mayúsculas a partir de la P.

habitualmente con letras mayúsculas a partir de la P. Ejemplos • Federico es alto y Jaime
habitualmente con letras mayúsculas a partir de la P. Ejemplos • Federico es alto y Jaime
Ejemplos

Ejemplos

con letras mayúsculas a partir de la P. Ejemplos • Federico es alto y Jaime también.
• Federico es alto y Jaime también.

Federico es alto y Jaime también.

de la P. Ejemplos • Federico es alto y Jaime también. • Federico y Jaime son
• Federico y Jaime son altos.

Federico y Jaime son altos.

es alto y Jaime también. • Federico y Jaime son altos. • Las manzanas son verdes
• Las manzanas son verdes o amarillas.

Las manzanas son verdes o amarillas.

y Jaime son altos. • Las manzanas son verdes o amarillas. • Mozambique es un país
• Mozambique es un país o una ciudad.

Mozambique es un país o una ciudad.

Jaime son altos. • Las manzanas son verdes o amarillas. • Mozambique es un país o
• Juan no es alto.

Juan no es alto.

Jaime son altos. • Las manzanas son verdes o amarillas. • Mozambique es un país o
Jaime son altos. • Las manzanas son verdes o amarillas. • Mozambique es un país o
Jaime son altos. • Las manzanas son verdes o amarillas. • Mozambique es un país o
Jaime son altos. • Las manzanas son verdes o amarillas. • Mozambique es un país o
1.2.1 Conexiones lógicas Definicion´ Un conector logico´ es una partícula que se utiliza para formar
1.2.1 Conexiones lógicas Definicion´ Un conector logico´ es una partícula que se utiliza para formar
1.2.1 Conexiones lógicas

1.2.1 Conexiones lógicas

1.2.1 Conexiones lógicas Definicion´ Un conector logico´ es una partícula que se utiliza para formar las
1.2.1 Conexiones lógicas Definicion´ Un conector logico´ es una partícula que se utiliza para formar las
1.2.1 Conexiones lógicas Definicion´ Un conector logico´ es una partícula que se utiliza para formar las
1.2.1 Conexiones lógicas Definicion´ Un conector logico´ es una partícula que se utiliza para formar las
1.2.1 Conexiones lógicas Definicion´ Un conector logico´ es una partícula que se utiliza para formar las
1.2.1 Conexiones lógicas Definicion´ Un conector logico´ es una partícula que se utiliza para formar las
Definicion´

Definicion´

1.2.1 Conexiones lógicas Definicion´ Un conector logico´ es una partícula que se utiliza para formar las
Un conector logico´ es una partícula que se utiliza para formar las

Un conector logico´

es una partícula que se utiliza para formar las

proposiciones moleculares, es decir, un elemento del lenguaje que

proposiciones moleculares, es decir, un elemento del lenguaje que

moleculares, es decir, un elemento del lenguaje que permite construir frases nuevas a partir de las
permite construir frases nuevas a partir de las existentes, obteniendo así

permite construir frases nuevas a partir de las existentes, obteniendo así

del lenguaje que permite construir frases nuevas a partir de las existentes, obteniendo así nuevos significados.
nuevos significados.

nuevos significados.

del lenguaje que permite construir frases nuevas a partir de las existentes, obteniendo así nuevos significados.
del lenguaje que permite construir frases nuevas a partir de las existentes, obteniendo así nuevos significados.
del lenguaje que permite construir frases nuevas a partir de las existentes, obteniendo así nuevos significados.
del lenguaje que permite construir frases nuevas a partir de las existentes, obteniendo así nuevos significados.
del lenguaje que permite construir frases nuevas a partir de las existentes, obteniendo así nuevos significados.
del lenguaje que permite construir frases nuevas a partir de las existentes, obteniendo así nuevos significados.
del lenguaje que permite construir frases nuevas a partir de las existentes, obteniendo así nuevos significados.
del lenguaje que permite construir frases nuevas a partir de las existentes, obteniendo así nuevos significados.
del lenguaje que permite construir frases nuevas a partir de las existentes, obteniendo así nuevos significados.
del lenguaje que permite construir frases nuevas a partir de las existentes, obteniendo así nuevos significados.
del lenguaje que permite construir frases nuevas a partir de las existentes, obteniendo así nuevos significados.
1.2.1 Conexiones lógicas Definicion´ Si p y q son proposiciones La disyuncion´ (o inclusiva) p

1.2.1 Conexiones lógicas

Definicion´

Si p y q son proposiciones

La disyuncion´

(o inclusiva) p q

es falsa sólo cuando son falsas simultáneamente p y q.

La conjuncion´

(y) p q

es cierta sólo cuando son ciertas simultáneamente p y q.

El conector (o exclusivo) (XOR) p q

es verdadero cuando exactamente una de las dos proposiciones p ó q es

cierta y falsa en otro caso.

La negacion´ es cierta sólo cuando es falsa p. Ejemplos

(no) p

TEMA I Introduccion´

a la logica–´

p. 10/6

1.2.2 Proposiciones condi-

1.2.2

Proposiciones

condi-

1.2.2 Proposiciones condi- cionales     Definicion´ Si p y q son proposiciones   p
cionales  

cionales

 
 
 
1.2.2 Proposiciones condi- cionales     Definicion´ Si p y q son proposiciones   p
Definicion´

Definicion´

condi- cionales     Definicion´ Si p y q son proposiciones   p −→ q sólo
Si p y q son proposiciones  

Si p y q son proposiciones

 
Definicion´ Si p y q son proposiciones   p −→ q sólo es falsa cuando p
p −→ q

p −→ q

Si p y q son proposiciones   p −→ q sólo es falsa cuando p es
sólo es falsa cuando p es cierta y q falsa; en el resto de casos

sólo es falsa cuando p es cierta y q falsa; en el resto de casos es

verdadera.

verdadera.

p es cierta y q falsa; en el resto de casos es verdadera. p es la
p es la hipótesis (o antecedente) y q es la conclusión (o consecuente) .

p es la hipótesis (o antecedente) y q es la conclusión (o consecuente).

Ejemplos

Ejemplos

y q es la conclusión (o consecuente) . Ejemplos • Si María estudia mucho será buena
y q es la conclusión (o consecuente) . Ejemplos • Si María estudia mucho será buena
• Si María estudia mucho será buena estudiante.  

Si María estudia mucho será buena estudiante.

 
Si María estudia mucho será buena estudiante.   • Juan puede cursar Matemática Aplicada a la
• Juan puede cursar Matemática Aplicada a la Seguridad en Redes

Juan puede cursar Matemática Aplicada a la Seguridad en Redes

puede cursar Matemática Aplicada a la Seguridad en Redes Informáticas sólo si está en tercer curso
Informáticas sólo si está en tercer curso de carrera.

Informáticas sólo si está en tercer curso de carrera.

Informáticas sólo si está en tercer curso de carrera. • Que Julio visite las Casas Colgantes
• Que Julio visite las Casas Colgantes es una condición suficiente

Que Julio visite las Casas Colgantes es una condición suficiente

para que visite Cuenca.  

para que visite Cuenca.

 
de carrera. • Que Julio visite las Casas Colgantes es una condición suficiente para que visite
de carrera. • Que Julio visite las Casas Colgantes es una condición suficiente para que visite
1.2.2 Proposiciones condi-

1.2.2

Proposiciones

condi-

1.2.2 Proposiciones condi- cionales     Ejemplo Estructuras si-entonces o si-entonces-sino  
cionales  

cionales

 
 
 
1.2.2 Proposiciones condi- cionales     Ejemplo Estructuras si-entonces o si-entonces-sino  
Ejemplo

Ejemplo

Proposiciones condi- cionales     Ejemplo Estructuras si-entonces o si-entonces-sino   Si
Estructuras si-entonces o si-entonces-sino  

Estructuras si-entonces o si-entonces-sino

 
Estructuras si-entonces o si-entonces-sino   Si p es una sentencia relacional y q y r son
Si p es una sentencia relacional y q y r son enunciados ejecutables

Si p es una sentencia relacional y q y r son enunciados ejecutables

sentencia relacional y q y r son enunciados ejecutables Si p entonces q   si p
Si p entonces q  

Si p entonces q

 
r son enunciados ejecutables Si p entonces q   si p es cierta se ejecuta q
si p es cierta se ejecuta q si p es falsa se sigue a la

si p es cierta se ejecuta q si p es falsa se sigue a la sentencia siguiente

q si p es falsa se sigue a la sentencia siguiente Si p entonces q sino
q si p es falsa se sigue a la sentencia siguiente Si p entonces q sino
Si p entonces q sino r

Si p entonces q sino r

si p es cierta se ejecuta q si p es falsa se ejecuta r y

si p es cierta se ejecuta q si p es falsa se ejecuta r y sigue a la sentencia

q si p es falsa se ejecuta r y sigue a la sentencia siguiente if a
siguiente

siguiente

q si p es falsa se ejecuta r y sigue a la sentencia siguiente if a
if a > 1

if a > 1

n=n+1;  

n=n+1;

 
q si p es falsa se ejecuta r y sigue a la sentencia siguiente if a
else

else

q si p es falsa se ejecuta r y sigue a la sentencia siguiente if a
n=n-1;

n=n-1;

end

end

1.2.2 Proposiciones condi-

1.2.2

Proposiciones

condi-

1.2.2 Proposiciones condi- cionales   Nota Dos proposiciones importantes son:   • F → Q
cionales  

cionales

 
1.2.2 Proposiciones condi- cionales   Nota Dos proposiciones importantes son:   • F → Q
1.2.2 Proposiciones condi- cionales   Nota Dos proposiciones importantes son:   • F → Q
1.2.2 Proposiciones condi- cionales   Nota Dos proposiciones importantes son:   • F → Q
Nota Dos proposiciones importantes son:  

Nota Dos proposiciones importantes son:

 
  Nota Dos proposiciones importantes son:   • F → Q   • Q → V
• F → Q  

F Q

 
importantes son:   • F → Q   • Q → V Ambas dan lugar a
importantes son:   • F → Q   • Q → V Ambas dan lugar a
• Q → V

Q V

son:   • F → Q   • Q → V Ambas dan lugar a V
Ambas dan lugar a V .  

Ambas dan lugar a V.

 
Q   • Q → V Ambas dan lugar a V .   Definicion´ La inversa
Definicion´ La inversa de una proposición condicional p → q es la

Definicion´

La inversa de una proposición condicional p q es la

proposición ∼ p →∼ q
proposición ∼ p →∼ q

proposición p →∼ q

p → q es la proposición ∼ p →∼ q Definicion´ La recíproca de una proposición
Definicion´ La recíproca de una proposición condicional p → q es la

Definicion´

La recíproca de una proposición condicional p q es la

proposición q → p  

proposición q p

 
p → q es la proposición q → p   Definicion´ El contrarecíproco o trasposición de
Definicion´ El contrarecíproco o trasposición de una proposición

Definicion´

El contrarecíproco o trasposición de una proposición

condicional p → q es la proposición ∼ q →∼ p
condicional p → q es la proposición ∼ q →∼ p

condicional p q es la proposición q →∼ p

El contrarecíproco o trasposición de una proposición condicional p → q es la proposición ∼ q
El contrarecíproco o trasposición de una proposición condicional p → q es la proposición ∼ q
El contrarecíproco o trasposición de una proposición condicional p → q es la proposición ∼ q
1.2.2 Proposiciones condi-

1.2.2

Proposiciones

condi-

1.2.2 Proposiciones condi- cionales     Definicion´ Si p y q son proposiciones   p
cionales  

cionales

 
 
 
1.2.2 Proposiciones condi- cionales     Definicion´ Si p y q son proposiciones   p
Definicion´

Definicion´

condi- cionales     Definicion´ Si p y q son proposiciones   p ←→ q es
Si p y q son proposiciones  

Si p y q son proposiciones

 
Definicion´ Si p y q son proposiciones   p ←→ q es cierta sólo si p
Definicion´ Si p y q son proposiciones   p ←→ q es cierta sólo si p
Definicion´ Si p y q son proposiciones   p ←→ q es cierta sólo si p
p ←→ q

p ←→ q

es cierta sólo si p y q tienen el mismo valor de verdad.

es cierta sólo si p y q tienen el mismo valor de verdad.

cierta sólo si p y q tienen el mismo valor de verdad. Formas alternativas   "
cierta sólo si p y q tienen el mismo valor de verdad. Formas alternativas   "
cierta sólo si p y q tienen el mismo valor de verdad. Formas alternativas   "
Formas alternativas  

Formas alternativas

 
el mismo valor de verdad. Formas alternativas   " p es condición necesaria y suficiente para
el mismo valor de verdad. Formas alternativas   " p es condición necesaria y suficiente para
el mismo valor de verdad. Formas alternativas   " p es condición necesaria y suficiente para
" p es condición necesaria y suficiente para q ".  

"p es condición necesaria y suficiente para q".

 
  " p es condición necesaria y suficiente para q ".   " p ssi q
  " p es condición necesaria y suficiente para q ".   " p ssi q
" p ssi q ".  

"p ssi q".

 
  " p es condición necesaria y suficiente para q ".   " p ssi q
  " p es condición necesaria y suficiente para q ".   " p ssi q
  " p es condición necesaria y suficiente para q ".   " p ssi q
  " p es condición necesaria y suficiente para q ".   " p ssi q
1.2.3 Tablas de Verdad   Definicion´ Una tabla de verdad de una proposición da los
1.2.3 Tablas de Verdad   Definicion´ Una tabla de verdad de una proposición da los
1.2.3 Tablas de Verdad
1.2.3 Tablas de Verdad

1.2.3 Tablas de Verdad

 
1.2.3 Tablas de Verdad   Definicion´ Una tabla de verdad de una proposición da los valores
Definicion´ Una tabla de verdad de una proposición da los valores verdaderos de
Definicion´ Una tabla de verdad de una proposición da los valores verdaderos de
Definicion´ Una tabla de verdad de una proposición da los valores verdaderos de

Definicion´ Una tabla de verdad de una proposición da los valores verdaderos de

la proposición para todas las asignaciones posibles.
la proposición para todas las asignaciones posibles.

la proposición para todas las asignaciones posibles.

 
proposición para todas las asignaciones posibles.       p ∨ q p ∧ q p
    p ∨ q p ∧ q p ⊕ q        
   

p q

p q

p q

       
p q ∼ p p −→ q p ←→ q

p

q

p

p −→ q

p ←→ q

V V V V F F V V

V

V

V

V

F

F

V

V

q p ←→ q V V V V F F V V V F V F
V F V F V F F F

V

F

V

F

V

F

F

F

V F F V V V F V F V F F F F V V
F V V F V V V F

F

V

V

F

V

V

V

F

V V F V F V F F F F V V F V V V
F F F F F V V V

F

F

F

F

F

V

V

V

V V F V F V F F F F V V F V V V
 
V V F V F V F F F F V V F V V V
V V F V F V F F F F V V F V V V
V V F V F V F F F F V V F V V V
V V F V F V F F F F V V F V V V
V V F V F V F F F F V V F V V V
V V F V F V F F F F V V F V V V
V V F V F V F F F F V V F V V V
1.2.4 Jerarquía de conectores ←→       →     ∨     ∧
1.2.4 Jerarquía de conectores ←→       →     ∨     ∧
1.2.4 Jerarquía de conectores

1.2.4 Jerarquía de conectores

1.2.4 Jerarquía de conectores ←→       →     ∨     ∧  
1.2.4 Jerarquía de conectores ←→       →     ∨     ∧  
1.2.4 Jerarquía de conectores ←→       →     ∨     ∧  
1.2.4 Jerarquía de conectores ←→       →     ∨     ∧  
1.2.4 Jerarquía de conectores ←→       →     ∨     ∧  
1.2.4 Jerarquía de conectores ←→       →     ∨     ∧  
1.2.4 Jerarquía de conectores ←→       →     ∨     ∧  
1.2.4 Jerarquía de conectores ←→       →     ∨     ∧  
←→  

←→

 
 
 
 
→

 
 
 
∨

 
 
 
∧

 
 
 
∼

 
 
 
de conectores ←→       →     ∨     ∧     ∼
de conectores ←→       →     ∨     ∧     ∼
de conectores ←→       →     ∨     ∧     ∼
de conectores ←→       →     ∨     ∧     ∼
de conectores ←→       →     ∨     ∧     ∼
de conectores ←→       →     ∨     ∧     ∼
de conectores ←→       →     ∨     ∧     ∼
1.2.6 Lógica y operaciones con

1.2.6 Lógica y operaciones con

1.2.6 Lógica y operaciones con bits x   y x ∨ y   x ∧ y
1.2.6 Lógica y operaciones con bits x   y x ∨ y   x ∧ y
bits

bits

1.2.6 Lógica y operaciones con bits x   y x ∨ y   x ∧ y
1.2.6 Lógica y operaciones con bits x   y x ∨ y   x ∧ y
x   y x ∨ y   x ∧ y x ⊕ y  

x

 

y

x y

 

x y

x y

 
y x ∨ y   x ∧ y x ⊕ y   1 1 1  
1 1 1   1 0

1

1

1

 

1

0

 
 
1 0 1   0 1

1

0

1

 

0

1

 
 
0 1 1   0 1

0

1

1

 

0

1

0   0 0 0 0

0

 

0

0

0

0

0 1 1   0 1 0   0 0 0 0       01
 
 
 
   
01 1011 0110

01

1011

0110

0 0 0 0       01 1011 0110 11 0001 1101 11   1011
11 0001 1101

11

0001

1101

11   1011 1111   operación OR operación AND operación XOR  

11

 

1011

1111

 

operación OR operación AND operación XOR

 
  1011 1111   operación OR operación AND operación XOR   01 0001 0100 10 1010
01 0001 0100

01

0001

0100

  1011 1111   operación OR operación AND operación XOR   01 0001 0100 10 1010
10 1010 1011

10

1010

1011

  1011 1111   operación OR operación AND operación XOR   01 0001 0100 10 1010
  1011 1111   operación OR operación AND operación XOR   01 0001 0100 10 1010
  1011 1111   operación OR operación AND operación XOR   01 0001 0100 10 1010
1.3 Equivalencias proposi-

1.3

Equivalencias

proposi-

1.3 Equivalencias proposi- cionales   1.3.1 Tautolog´ıas y contradicciones Definicion´ Una expresión
cionales

cionales

 
 
1.3 Equivalencias proposi- cionales   1.3.1 Tautolog´ıas y contradicciones Definicion´ Una expresión
1.3.1 Tautolog´ıas y contradicciones

1.3.1 Tautolog´ıas y contradicciones

cionales   1.3.1 Tautolog´ıas y contradicciones Definicion´ Una expresión lógica es una tautología si
Definicion´

Definicion´

  1.3.1 Tautolog´ıas y contradicciones Definicion´ Una expresión lógica es una tautología si es verdadera
Una expresión lógica es una tautología si es verdadera para todas las

Una expresión lógica es una tautología si es verdadera para todas las

asignaciones posibles.

asignaciones posibles.

si es verdadera para todas las asignaciones posibles. Definicion´ Una expresión lógica es una contradicción
Definicion´

Definicion´

Una expresión lógica es una contradicción si es falsa para todas las

Una expresión lógica es una contradicción si es falsa para todas las

lógica es una contradicción si es falsa para todas las asignaciones posibles. Se suele representar mediante
asignaciones posibles. Se suele representar mediante el símbolo ∅ .

asignaciones posibles. Se suele representar mediante el símbolo .

posibles. Se suele representar mediante el símbolo ∅ . Definicion´ Una expresión lógica que no sea
Definicion´

Definicion´

Una expresión lógica que no sea una tautología ni una contradicción se

Una expresión lógica que no sea una tautología ni una contradicción se

expresión lógica que no sea una tautología ni una contradicción se denomina contingencia (casualidad/eventualidad).
denomina contingencia (casualidad/eventualidad).

denomina contingencia (casualidad/eventualidad).

expresión lógica que no sea una tautología ni una contradicción se denomina contingencia (casualidad/eventualidad).
expresión lógica que no sea una tautología ni una contradicción se denomina contingencia (casualidad/eventualidad).
expresión lógica que no sea una tautología ni una contradicción se denomina contingencia (casualidad/eventualidad).
expresión lógica que no sea una tautología ni una contradicción se denomina contingencia (casualidad/eventualidad).
expresión lógica que no sea una tautología ni una contradicción se denomina contingencia (casualidad/eventualidad).
expresión lógica que no sea una tautología ni una contradicción se denomina contingencia (casualidad/eventualidad).
expresión lógica que no sea una tautología ni una contradicción se denomina contingencia (casualidad/eventualidad).
1.3.1   Tautologías   contradic-

1.3.1

 

Tautologías

 

contradic-

y

y

ciones  

ciones

 
 
 
Tautologías   contradic- y ciones     Ejemplo: Tabla de verdad de ∼ ( P ∧
Ejemplo:

Ejemplo:

  contradic- y ciones     Ejemplo: Tabla de verdad de ∼ ( P ∧ Q
  contradic- y ciones     Ejemplo: Tabla de verdad de ∼ ( P ∧ Q
  contradic- y ciones     Ejemplo: Tabla de verdad de ∼ ( P ∧ Q
Tabla de verdad de ∼ ( P ∧ Q ) ∨ Q  

Tabla de verdad de (P Q) Q

 
Tabla de verdad de ∼ ( P ∧ Q ) ∨ Q        
Tabla de verdad de ∼ ( P ∧ Q ) ∨ Q        
Tabla de verdad de ∼ ( P ∧ Q ) ∨ Q        
 
 
           
  P Q P ∧ Q ∼ ( P ∧ Q ) ∼ ( P
 

P

Q

P Q

(P Q)

(P Q) Q

   
   
       
  V V V F V
 

V

V

V

F

V

 
 
  V F F V V
 

V

F

F

V

V

 
 
  F V F V V
 

F

V

F

V

V

 
 
  F F F V V
 

F

F

F

V

V

V F V     V F F V V     F V F V
V F V     V F F V V     F V F V
V F V     V F F V V     F V F V
V F V     V F F V V     F V F V
V F V     V F F V V     F V F V
1.3.1 Tautologías y contradic-

1.3.1

Tautologías

y

contradic-

1.3.1 Tautologías y contradic- ciones     Notacion´ Si P → Q es una tautología se
ciones  

ciones

 
 
 
Tautologías y contradic- ciones     Notacion´ Si P → Q es una tautología se le
Notacion´

Notacion´

y contradic- ciones     Notacion´ Si P → Q es una tautología se le llama
y contradic- ciones     Notacion´ Si P → Q es una tautología se le llama
Si P → Q es una tautología se le llama implicacion´ y se escribe

Si P Q es una tautología se le llama implicacion´

y se escribe

una tautología se le llama implicacion´ y se escribe P ⇒ Q Si P ↔ Q
P ⇒ Q

P Q

se le llama implicacion´ y se escribe P ⇒ Q Si P ↔ Q es una
se le llama implicacion´ y se escribe P ⇒ Q Si P ↔ Q es una
Si P ↔ Q es una tautología se dice que es una doble implicacion´ ,

Si P Q es una tautología se dice que es una doble implicacion´ , se

escribe P ⇔ Q  

escribe P Q

 
una doble implicacion´ , se escribe P ⇔ Q   A es una tautología se suele
una doble implicacion´ , se escribe P ⇔ Q   A es una tautología se suele
A es una tautología se suele escribir | = A .  

A es una tautología se suele escribir |= A.

 
A es una tautología se suele escribir | = A .   | = ∼ (
A es una tautología se suele escribir | = A .   | = ∼ (
A es una tautología se suele escribir | = A .   | = ∼ (
| = ∼ ( P ∧ Q ) ∨ Q  

|=(P Q) Q

 
suele escribir | = A .   | = ∼ ( P ∧ Q ) ∨
suele escribir | = A .   | = ∼ ( P ∧ Q ) ∨
Ley del medio excluido | = P ∨ ∼ P

Ley del medio excluido

|= P ∨ ∼ P

suele escribir | = A .   | = ∼ ( P ∧ Q ) ∨
suele escribir | = A .   | = ∼ ( P ∧ Q ) ∨
suele escribir | = A .   | = ∼ ( P ∧ Q ) ∨
1.3.1 Tautologías y contradic-

1.3.1

Tautologías

y

contradic-

1.3.1 Tautologías y contradic-   ciones           P ∧ Q ⇒ P
 
 
ciones  

ciones

 
1.3.1 Tautologías y contradic-   ciones           P ∧ Q ⇒ P
       
       
  ciones           P ∧ Q ⇒ P P ∨ Q (
  ciones           P ∧ Q ⇒ P P ∨ Q (
P ∧ Q ⇒ P P ∨ Q ( P → Q ) ( P

P Q

P P Q (P Q) (P R) Q Q P

Simplificación Adición Condicional Silogismo Hipotético Silogismo Disyuntivo Modus Ponens Modus Tollens

 
 
P ⇒

P

Q

Q

⇒

[( P → Q ) ∧ ( Q → R )] ( P ∨ Q

[(P Q) (Q R)] (P Q) ∧ ∼ P [(P Q) P ] [(P Q) ∧ ∼ Q]

⇒

[( P → Q ) ∧ P ] [( P → Q ) ∧ ∼ Q
⇒

⇒

→ Q ) ∧ P ] [( P → Q ) ∧ ∼ Q ] ⇒
⇒

   
   
 
 
 
 
       
Ejemplo Silogismo Disyuntivo  

Ejemplo Silogismo Disyuntivo

 
∼ Q ] ⇒ ⇒ ⇒ ⇒                 Ejemplo
∼ Q ] ⇒ ⇒ ⇒ ⇒                 Ejemplo
∼ Q ] ⇒ ⇒ ⇒ ⇒                 Ejemplo
∼ Q ] ⇒ ⇒ ⇒ ⇒                 Ejemplo
1.3.1 Tautologías   contradic-

1.3.1

Tautologías

 

contradic-

y  

y

 
 
 
ciones  

ciones

 
  contradic- y     ciones   P ∼ P P ∧ ∼ P   V
P ∼ P P ∧ ∼ P  

P

P

P ∧ ∼ P

 
ciones   P ∼ P P ∧ ∼ P   V F   F   F
V F   F  

V

F

 

F

 
P P ∧ ∼ P   V F   F   F V F P Q
F V F

F

V

F

∼ P   V F   F   F V F P Q P ∨ Q
∼ P   V F   F   F V F P Q P ∨ Q
∼ P   V F   F   F V F P Q P ∨ Q
∼ P   V F   F   F V F P Q P ∨ Q
∼ P   V F   F   F V F P Q P ∨ Q
P Q P ∨ Q ( P ∨ Q ) ∧ ∼ P ( P

P

Q

P Q

(P Q) ∧ ∼ P

(P Q) ∧ ∼ P ∧ ∼ Q

 
∧ ∼ P ( P ∨ Q ) ∧ ∼ P ∧ ∼ Q    
   
V V V F F

V

V

V

F

F

 
 
V F V F F

V

F

V

F

F

 
 
F V V V F

F

V

V

V

F

 
 
F F F F F

F

F

F

F

F

   
   
 
V F F   V F V F F   F V V V F  
V F F   V F V F F   F V V V F  
V F F   V F V F F   F V V V F  
1.3.2 Equivalencias lógicas.
1.3.2 Equivalencias lógicas.

1.3.2

Equivalencias

lógicas.

Leyes de la lógica

Leyes de la lógica

Leyes de la lógica Definicion´ Dos formas proposicionales P y Q se dicen lógicamente equivalentes, y
Leyes de la lógica Definicion´ Dos formas proposicionales P y Q se dicen lógicamente equivalentes, y
Definicion´

Definicion´

Dos formas proposicionales P y Q se dicen lógicamente equivalentes,

Dos formas proposicionales P y Q se dicen lógicamente equivalentes,

P y Q se dicen lógicamente equivalentes, y se escribe P ≡ Q , si sus
y se escribe P ≡ Q , si sus tablas de verdad coinciden.

y se escribe P Q, si sus tablas de verdad coinciden.

y se escribe P ≡ Q , si sus tablas de verdad coinciden. Nota Esto equivale
Nota

Nota

Esto equivale a decir que P ↔ Q es una tautología; así, P ≡ Q

Esto equivale a decir que P Q es una tautología; así, P Q es lo

que P ↔ Q es una tautología; así, P ≡ Q es lo mismo que decir
mismo que decir P ⇔ Q .

mismo que decir P Q.

así, P ≡ Q es lo mismo que decir P ⇔ Q . El programa está
así, P ≡ Q es lo mismo que decir P ⇔ Q . El programa está
así, P ≡ Q es lo mismo que decir P ⇔ Q . El programa está
El programa está bien escrito y bien documentado.

El programa está bien escrito y bien documentado.

decir P ⇔ Q . El programa está bien escrito y bien documentado. El programa está
El programa está bien documentado y bien escrito.

El programa está bien documentado y bien escrito.

decir P ⇔ Q . El programa está bien escrito y bien documentado. El programa está
decir P ⇔ Q . El programa está bien escrito y bien documentado. El programa está
decir P ⇔ Q . El programa está bien escrito y bien documentado. El programa está
decir P ⇔ Q . El programa está bien escrito y bien documentado. El programa está
decir P ⇔ Q . El programa está bien escrito y bien documentado. El programa está
decir P ⇔ Q . El programa está bien escrito y bien documentado. El programa está
decir P ⇔ Q . El programa está bien escrito y bien documentado. El programa está
decir P ⇔ Q . El programa está bien escrito y bien documentado. El programa está
1.3.2 Equivalencias lógicas.
1.3.2 Equivalencias lógicas.

1.3.2

Equivalencias

lógicas.

Leyes de la lógica  

Leyes de la lógica

 
Leyes de la lógica   Leyes de De Morgan   1. ∼ ( p ∨ q
Leyes de la lógica   Leyes de De Morgan   1. ∼ ( p ∨ q
Leyes de De Morgan  

Leyes de De Morgan

 
Leyes de la lógica   Leyes de De Morgan   1. ∼ ( p ∨ q
1. ∼ ( p ∨ q ) ≡∼ p ∧ ∼ q ∼ ( p

1.

(p q) ≡∼ p ∧ ∼ q (p q) ≡∼ p ∨ ∼ q

 
∼ q ∼ ( p ∧ q ) ≡∼ p ∨ ∼ q   2.  
2.

2.

q ∼ ( p ∧ q ) ≡∼ p ∨ ∼ q   2.    
 
 
   
p q ∼ ( p ∨ q ) ∼ p ∧ ∼ q

p

q

(p q)

p∧ ∼ q

   
   
 
V V F F

V

V

F

F

 
 
1. V F F F

1.

V

F

F

F

 
 
F V F F

F

V

F

F

 
 
F F V V

F

F

V

V

1. V F F F   F V F F   F F V V 2.
2. La otra afirmación se deja como ejercicio.

2.

La otra afirmación se deja como ejercicio.

1. V F F F   F V F F   F F V V 2.
1. V F F F   F V F F   F F V V 2.
1. V F F F   F V F F   F F V V 2.
1. V F F F   F V F F   F F V V 2.
1. V F F F   F V F F   F F V V 2.
1.3.2 Equivalencias lógicas.
1.3.2 Equivalencias lógicas.

1.3.2

Equivalencias

lógicas.

Leyes de la lógica  

Leyes de la lógica

 
Leyes de la lógica   Transposicion´ o contrarec´ıproco Definicion´ La contrarrecíproca o trasposición
Leyes de la lógica   Transposicion´ o contrarec´ıproco Definicion´ La contrarrecíproca o trasposición
Transposicion´ o contrarec´ıproco

Transposicion´

o contrarec´ıproco

la lógica   Transposicion´ o contrarec´ıproco Definicion´ La contrarrecíproca o trasposición de una
Definicion´ La contrarrecíproca o trasposición de una proposición

Definicion´

La contrarrecíproca o trasposición de una proposición

La contrarrecíproca o trasposición de una proposición condicional p → q es la proposición ∼ q
condicional p → q es la proposición ∼ q →∼ p Teorema La proposición condicional

condicional p q es la proposición q →∼ p Teorema La proposición condicional p q y su contrarrecíproca

proposición condicional p → q y su contrarrecíproca ∼ q →∼ p son lógicamente equivalentes.  
proposición condicional p → q y su contrarrecíproca ∼ q →∼ p son lógicamente equivalentes.  
∼ q →∼ p son lógicamente equivalentes.  

q →∼ p son lógicamente equivalentes.

 
 
 
       
p q p → q ∼ q →∼ p

p

q

p q

q →∼ p

   
   
V V V V

V

V

V

V

   
   
V F F F

V

F

F

F

   
   
F V V V

F

V

V

V

   
   
F F V V

F

F

V

V

  V V V V     V F F F     F V V
  V V V V     V F F F     F V V
  V V V V     V F F F     F V V
  V V V V     V F F F     F V V
  V V V V     V F F F     F V V
1.3.2 Equivalencias lógicas.
1.3.2 Equivalencias lógicas.

1.3.2

Equivalencias

lógicas.

Leyes de la lógica  

Leyes de la lógica

 
Leyes de la lógica   Eliminacion´ de Condicionales P → Q ≡∼ P ∨ Q  
Leyes de la lógica   Eliminacion´ de Condicionales P → Q ≡∼ P ∨ Q  
Eliminacion´ de Condicionales

Eliminacion´

de Condicionales

de la lógica   Eliminacion´ de Condicionales P → Q ≡∼ P ∨ Q    
de la lógica   Eliminacion´ de Condicionales P → Q ≡∼ P ∨ Q    
de la lógica   Eliminacion´ de Condicionales P → Q ≡∼ P ∨ Q    
P → Q ≡∼ P ∨ Q

P Q ≡∼ P Q

 
 
         
  P Q ∼ P ∨ Q P → Q
 

P

Q

P Q

P Q

   
   
       
  V V V V
 

V

V

V

V

 
 
  V F F F
 

V

F

F

F

 
 
  F V V V
 

F

V

V

V

 
 
  F F V V
 

F

F

V

V

  V V V V     V F F F     F V V
  V V V V     V F F F     F V V
  V V V V     V F F F     F V V
  V V V V     V F F F     F V V
  V V V V     V F F F     F V V
  V V V V     V F F F     F V V
  V V V V     V F F F     F V V
  V V V V     V F F F     F V V
1.3.2 Equivalencias lógicas.
1.3.2 Equivalencias lógicas.

1.3.2

Equivalencias

lógicas.

Leyes de la lógica
Leyes de la lógica

Leyes de la lógica

 
Leyes de la lógica   Eliminacion´ de Bicondicionales P ↔ Q ≡ ( ∼ P ∨
Eliminacion´ de Bicondicionales
Eliminacion´ de Bicondicionales

Eliminacion´

de Bicondicionales

de la lógica   Eliminacion´ de Bicondicionales P ↔ Q ≡ ( ∼ P ∨ Q
de la lógica   Eliminacion´ de Bicondicionales P ↔ Q ≡ ( ∼ P ∨ Q
P ↔ Q ≡ ( ∼ P ∨ Q ) ∧ ( P ∨ ∼

P

Q ( P Q) (P ∨ ∼ Q)

↔ Q ≡ ( ∼ P ∨ Q ) ∧ ( P ∨ ∼ Q )
P ↔ Q ≡ ( P ∧ Q ) ∨ ( ∼ P ∧ ∼

P

Q (P Q) ( P ∧ ∼ Q)

↔ Q ≡ ( P ∧ Q ) ∨ ( ∼ P ∧ ∼ Q )
 
 
         
P Q ∼ P ∨ Q P ∨ ∼ Q ( ∼ P ∨ Q

P

Q

P Q

P ∨ ∼ Q

( P Q) (P ∨ ∼ Q)

P ∨ ∼ Q ( ∼ P ∨ Q ) ∧ ( P ∨ ∼ Q
         
V V   V V V

V

V

 

V

V

V

 
 
V F   F V F

V

F

 

F

V

F

 
 
F V   V F F

F

V

 

V

F

F

 
 
F F   V V V

F

F

 

V

V

V

V V V   V F   F V F   F V   V F
V V V   V F   F V F   F V   V F
V V V   V F   F V F   F V   V F
V V V   V F   F V F   F V   V F
V V V   V F   F V F   F V   V F
1.3.2 Equivalencias lógicas.

1.3.2

Equivalencias

lógicas.

1.3.2 Equivalencias lógicas. Leyes de la lógica           Leyes Nombre    
Leyes de la lógica  

Leyes de la lógica

 
Equivalencias lógicas. Leyes de la lógica           Leyes Nombre     P
Equivalencias lógicas. Leyes de la lógica           Leyes Nombre     P
     
     
  Leyes Nombre
 

Leyes

Nombre

   
   
P ∨ ∼ P ≡ V P ∧ ∼ P ≡ F Ley de medio

P ∨ ∼ P V P ∧ ∼ P F

Ley de medio excluido Ley de contradicción

P ≡ F Ley de medio excluido Ley de contradicción     P ∨ F ≡
P ≡ F Ley de medio excluido Ley de contradicción     P ∨ F ≡
   
   
P ∨ F ≡ P Leyes de identidad

P

F P

Leyes de identidad

 
 
P ∧ V ≡ P

P

V P

   
   
P ∨ V ≡ V Leyes de dominación

P

V V

Leyes de dominación

 
 
P ∧ F ≡ F

P

F F

   
   
P ∨ P ≡ P Leyes de idempotencia

P

P P

Leyes de idempotencia

 
 
P ∧ P ≡ P

P

P P

  P ∧ F ≡ F     P ∨ P ≡ P Leyes de idempotencia
  P ∧ F ≡ F     P ∨ P ≡ P Leyes de idempotencia
  P ∧ F ≡ F     P ∨ P ≡ P Leyes de idempotencia
  P ∧ F ≡ F     P ∨ P ≡ P Leyes de idempotencia
  P ∧ F ≡ F     P ∨ P ≡ P Leyes de idempotencia
1.3.2 Equivalencias lógicas.

1.3.2

Equivalencias

lógicas.

1.3.2 Equivalencias lógicas. Leyes de la lógica         Leyes Nombre    
Leyes de la lógica  

Leyes de la lógica

 
Equivalencias lógicas. Leyes de la lógica         Leyes Nombre      
Equivalencias lógicas. Leyes de la lógica         Leyes Nombre      
   
   
  Leyes Nombre
 

Leyes

Nombre

   
   
  ∼ ( ∼ P ) ≡ P Doble negación
 

( P) P

Doble negación

   
   
   
  P ∨ Q ≡ Q ∨ P Conmutativas
 

P

Q Q P

Conmutativas

 
 
  P ∧ Q ≡ Q ∧ P
 

P

Q Q P

   
   
  ( P ∨ Q ) ∨ R ≡ P ∨ ( Q ∨ R
 

(P

Q) R P (Q R)

Asociativas

 
 
  ( P ∧ Q ) ∧ R ≡ P ∧ ( Q ∧ R
 

(P

Q) R P (Q R)

   
   
P ∨ ( Q ∧ R ) ≡ ( P ∨ Q ) ∧ (

P

(Q R) (P Q) (P R)

Distributivas

 
 
P ∧ ( Q ∨ R ) ≡ ( P ∧ Q ) ∨ (

P

(Q R) (P Q) (P R)

  ∼ ( P ∧ Q ) ≡∼ P ∨ ∼ Q  
 

(P Q) ≡∼ P ∨ ∼ Q

 
Leyes de De Morgan

Leyes de De Morgan

∼ ( P ∨ Q ) ≡∼ P ∧ ∼ Q

(P Q) ≡∼ P ∧ ∼ Q

)   ∼ ( P ∧ Q ) ≡∼ P ∨ ∼ Q   Leyes de
)   ∼ ( P ∧ Q ) ≡∼ P ∨ ∼ Q   Leyes de
)   ∼ ( P ∧ Q ) ≡∼ P ∨ ∼ Q   Leyes de
)   ∼ ( P ∧ Q ) ≡∼ P ∨ ∼ Q   Leyes de
1.3.2 Equivalencias lógicas.
1.3.2 Equivalencias lógicas.

1.3.2

Equivalencias

lógicas.

Leyes de la lógica  

Leyes de la lógica

 
Leyes de la lógica   Leyes de absorcion´   P ∨ ( P ∧ Q )
Leyes de la lógica   Leyes de absorcion´   P ∨ ( P ∧ Q )
Leyes de absorcion´  

Leyes de absorcion´

 
Leyes de la lógica   Leyes de absorcion´   P ∨ ( P ∧ Q )
Leyes de la lógica   Leyes de absorcion´   P ∨ ( P ∧ Q )
P ∨ ( P ∧ Q ) ≡ P

P

(P Q)