Teoría:

Tautología: todos los casos de la tabla son verdaderos

Contradicción: Todos los casos de la tabla son falsos

Contingencia: Los casos de la tabla son mixtos

Consigna:

Para resolver este ejercicio hay que realizar la tabla de verdad de la expresión y fijarse en los resultados finales para ver si se trata de tautología, contradicción o contingencia.

6) Para cada una de las siguientes formas proposicionales determinar para cada una de ellas si es tautología, contradicción o contingente.

a) p ←→ p

p p ←→ p
V V
F V

TAUTOLOGÍA


b) p ←→ (q ^ p)

p q (q ^ p) p ←→ (q ^ p)
V V V V
V F F F
F V F V
F F F V

CONTINGENCIA


c) (p ^ q) → (q ^ p)

p q (p ^ q) (q ^ p) (p ^ q) → (q ^ p)
V V V V V
V F F F V
F V F F V
F F F F V

TAUTOLOGÍA


d) ~(p v ( ~q))