Contradicción
Encontremos la solución del siguiente enunciado: p ∧ ~ p
1) Empecemos con la construcción de la tabla siguiendo las reglas anteriores.
p ∧ ~p
V
F
2) Ejecutamos las negaciones individuales.
p ∧ ~p
V F
F V
3) Aplicamos la regla correspondiente al conectivo lógico.
p ∧ ~p
V F F Esta es la solución
F F V
Esta es la solución
Cuando el resultado de una tabla de verdad es falso en todos sus valores se habla de una
contradicción.
37