TABLAS DE VERDAD

Mg. Pedro Casillas Llerena

 TABLAS DE VERDAD
Son interpretaciones semánticas de las posibilidades de verdad (V) y
falsedad (F) que tienen las proposiciones. Se construyen a modo de una cruz
cuyo brazo derecho es tan extenso como la proposición a demostrar.
Por ejemplo, la proposición simple:
 El cielo está nublado
p
Al simbolizar:
tiene como posibilidad de ser (V) o (F), es decir:
 Que es verdad que el cielo está nublado.
 Que es falso que el cielo está nublado.
Si hay dos o más proposiciones, las combinaciones de (V) y (F) aumentan. 2n
 El cielo está nublado y hace frío
p q
Al simbolizar tenemos:
 Es verdad que el cielo está nublado y es verdad que hace frío.
 Es verdad que el cielo está nublado y es falso que hace frío.
 Es falso que el cielo está nublado y es verdad que hace frío.
 Es falso que el cielo está nublado y es falso que hace frío.
Para obtener un valor como totalidad debemos construir una tabla en cuya
parte derecha establecer la fórmula a evaluar. Al momento de unir dos
proposiciones por medio de un operador surge un tercer valor. Las tablas de
verdad nos permitirán evaluar una fórmula según el tipo de operador que se
presenta en su contenido.
 CONJUNCIÓN
Dadas dos proposiciones p  q, al contrastar sus valores de verdad y
falsedad, la conjunción es verdadera únicamente cuando sus dos
componentes son verdaderos.
En cualquiera otra posición es falsa.
 DISYUNCIÓN DÉBIL O INCLUSIVA

Dadas dos proposiciones p  q, es verdadera cuando por lo menos una

proposición es verdadera. Es falsa sólo cuando sus dos componentes
son falsas.
 DISYUNCIÓN FUERTE O EXCLUSIVA

Dadas dos proposiciones p ↮ q, la disyunción es verdadera sólo cuando

una de las dos proposiciones es verdadera, pero no ambas. Es falsa
cuando tienen el mismo valor.
 CONDICIONAL

Dadas dos proposiciones p  q, el resultado es falso sólo cuando el

antecedente es verdadero y el consecuente es falso. Es verdadero en
cualquiera de las otras opciones.
 BICONDICIONAL

Dadas dos proposiciones p  q, la bicondicional es verdadera cuando

sus componentes, o son verdaderos a la vez o son falsos a la vez. Es falsa
cuando ambos componentes tienen valores distintos.
 NEGACIÓN
Dada una proposición p, su negación es ¬p (se lee negación de p, no p o
menos p). La función de la negación es negar una proposición.

¬ ¬ ¬(p v q) = ¬ (p v q)
 EVALUACIÓN DE FÓRMULAS POR TABLAS DE VERDAD
El operador principal determina el valor final de una fórmula. Para ello es
necesario identificar la cantidad de proposiciones que contiene. El número
de valores se obtiene aplicando la fórmula 2n, donde 2 es la constante y n es
el número de variables que exhibe la fórmula. En el ejemplo sólo existen
dos variables. Aplicando 2n se obtiene 22 = 4. Es decir, p y q tienen 4 valores
de (V) y (F)
Para obtener el resultado trasladamos el valor de cada proposición al
“cuerpo” de la tabla según corresponda. Si contiene alguna proposición
negada su valor a representar será opuesto al originario.
Luego se aplica la regla de la conjunción.

Según la regla de la conjunción, la respuesta es: FVFF.

Cuando existen más de dos variables, se opera desde el interior. El
operador de mayor jerarquía nos dará la respuesta final.
2n será 23 = 8; hay tres variables (p, q, r). Cada una de las variables tendrá
ocho valores, como aparecen representadas en las columnas del margen
de la siguiente tabla (respuesta: VVVFVVVV).
La fórmula puede ser tautológica, contradictoria o contingente.
PRÁCTICA CALIFICADA