Tautología

P P P→P
Es una expresión lógica
que es verdadera para todos V V V
los posibles valores de la
verdad.
F F V
Tautología
Ejemplo: Demostrar por medio de
tablas de verdad la siguiente
tautología. p ~p ~p v p
a. ~p v p
V F V
F V V

b. (p ↔ q) ↔ [(p → q) ^ ( q → p)
 Tautología
Consideremos el siguiente razonamiento
lógico:
• “Voy a subir arriba a buscar un libro y
vuelvo” .

• “Tengo que salir afuera para regar las

plantas”.
Tautología

Ejemplo: Analicemos ahora la siguiente

proposición. ¿Es o no es? { ( p q) Λ
p} q
p q p q ^p {(p q) Λ p } q
V V V V V
V F F F V
F V V F V
F F V F V
• ( p v q) (pΛq)

• (pΛq) ( p V ¬r )
Contradicción

Es una proposición que siempre es

falsa para todos los valores de la
verdad.
Contradicción

Ejemplo: ¬[(p Λ q) q]
p q pΛq (pΛq) q ¬ [(p Λ q) q]

V V V V F
V F F V F

F V F V F

F F F V F
Contradicción
Otro ejemplo:
Enunciar si la siguiente proposición es una
contradicción.
q ~q ~q ^ q
a. ~q ^ q
V F F
F V F

b. (p ↔ q) ↔ ¬[(p → q) ^ ( q → p)
Contingencia
Se entiende por verdad contingente o
verdad de hecho, aquella proposición que
puede ser verdadera o falsa según los
valores de las proposiciones que la
integran.
Contingencia

p q p q

V V V
V F F

F V F

F F V
Contingencia

Otro ejemplo: Decir si la siguiente proposición

es una contingencia.

(p ↔ q) v [(p → q) ^ (q → p)]
Equivalencia Lógica

Se entiende por equivalencia lógica a aquellas

tablas de verdad que son iguales en sus valores de
verdad en cada uno de las proposiciones.
 Hay o no equivalencia lógica?

Realizar el siguiente ejercicio y determine si es una equivalencia lógica.

(p → q) ^ (q → p) ≡­p ↔ q