TABLAS DE VERDAD
Definición
La tabla de valores de verdad, también conocida como tabla de verdad.Se emplean en lógica para determinar los posibles valores de verdad de una expresión o proposición.
DISYUNCIÓN
La disyunción de dos proposiciones p, q es la operación binaria que da por resultado p ó q, notación p v q, y tiene la siguiente tabla:
CONJUNCIÓN
La conjunción de las proposiciones p, q es la operación binaria que tiene por resultado p y q, se representa por p^q y su tabla de verdad es:
NEGACIÓN
La operación unitaria de negación, no es cierto que se representa por “~” y tiene la siguiente tabla de verdad de verdad:
CONDICIONAL
La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces q, se representa por p → q, y su tabla de verdad está dada por:
BICONDICIONAL
La bicondicional de dos proposiciones p, q da lugar a la proposición; p si y sólo si q, se representa por p ↔ q su tabla de verdad está dada por:
