LÓGICA PROPOSICIONAL - TABLAS DE VERDAD

Construcción de una tabla de verdad

Para construir la tabla de verdad se deberían hacer combinaciones de valores de verdad con cada enunciado simple, lo que resultaría bastante impreciso, para resolver aquello contamos con la siguiente fórmula:

Tablas de verdad con cada conectivo lógico

Conjunción

Clave.- Solamente es verdadero cuando los dos valores son verdaderos, el restante de casos son falsos.

Disyunción

Clave.- Solamente es falso cuando los dos valores de verdad son falsos, el restante de casos son verdaderos.

Condicional

Clave.- Solamente es falso cuando el primer valor es verdadero y el segundo es falso, el restante de casos son verdaderos.

Bicondicional

Clave.- Es verdadero cuando los dos valores de verdad son iguales, el restante de casos son falsos.

Negación

Clave.- El resultado de una negación es lo opuesto al valor inicial.

Ejemplos.

Verifique en cada una de las proposiciones si es tautología, contradicción o contingencia(consistencia).

Tautología

Contingencia

Contradicción

Contingencia

Contingencia

Contingencia

Referencia bibliográfica.

ACOSTA, Tania. PAVÓN, Christian. MOY-SANG, Silvia. Lógica Básica para diseñadores. 1ed. Ecuador. Grupo Compás 2017. ISBN-E:978-9942-760-17-3