Contingencia

Encontremos la solución del siguiente enunciado: ~ { [ ( q → p ) ↔ ~ q ] ∨ r }

1) Construimos la tabla. Para simplificar el tiempo se pueden escribir las negaciones

individuales directamente para la disposición de los valores de verdad.
Número de enunciados: 4
Utilizando la fórmula: 24 = 16
La tabla de verdad tendrá dieciséis valores de verdad: 8 verdaderos y 8 falsos para
p, 4 verdaderos y 4 falsos para q, 2 verdaderos y 2 falsos para r, 1 verdadero y 1

2) Resolución de los paréntesis de adentro hacia afuera.

~ { [ ( q → p ) ↔ ~ q ] ∨ r } ~ { [ ( q → p ) ↔ ~ q ] ∨ r }
V V F V V V V F V
V V F F V V V F F
V V V V V V V V V
V V V F V V V V F
F V F V F V V F V
F V F F F V V F F
F V V V F V V V V
F V V F F V V V F
V F F V V F F F V
V F F F V F F F F
V F V V V F F V V
V F V F V F F V F
F F F V F V F F V
F F F F F V F F F
F F V V F V F V V
F F V F F V F V F

39

 3) Ejecutando negaciones colectivas

~ { [ ( q → p ) ↔ ~ q ] ∨ r } ~ { [ ( q → p ) ↔ ~ q ] ∨ r }
V V V F F V F V V V F F V V
V V V F F F V V V V F F F F
V V V V V V F V V V V V V V
V V V V V F F V V V V V V F
F V V F F V F F V V F F V V
F V V F F F V F V V F F F F
F V V V V V F F V V V V V V
F V V V V F F F V V V V V F
V F F V F V F V F F V F V V
V F F V F F V V F F V F F F
V F F F V V F V F F F V V V
V F F F V F F V F F F V V F
F V F F F V F F V F F F V V
F V F F F F V F V F F F F F
F V F V V V F F V F V V V V
F V F V V F F F V F V V V F

Esta es la solución

Cuando no se tiene como resultado una tautología, tampoco una contingencia, la solución
corresponde a una contingencia.

La contingencia se da cuando la solución presenta una mezcla entre verdaderos y falsos,

basta un solo verdadero entre todos falsos, o un solo falso entre todos los verdaderos para
que se considere a la solución una contingencia.

40