1. Las tablas de verdad, de la logica matematica.
Las tablas de verdad nos ayudan a establecer el valor de verdad de diferentes
razonamientos logicos construidos a base de la combinación de dos
o mas enunciados nucleares.
Los enunciados nucleares se identifican con las letras del alfabeto, usualmente las
de la segunda mitad del alfabeto: p, q, r, s, t, etc.
Puede usarse cualquier símbolo para identificar a los enunciados nucleares.
La tabla de verdad mas simple es la que corresponde a los valores de verdad de
un solo enunciado nuclear.
P
V
F
Cuando hay dos enunciados nucleares, p y q, las tablas de verdad para los cuatro
conectivos basicos (conjuncion, disyuncion, implicación y doble implicación),
tienen cuatro niveles (2 elevado al numero de enunciados). Se pretende en la
tabla que se puedan establecer todas las combinaciones de valores de verdad
asumidos por los enunciados nucleares.
Los conectivos logicos son Y (para la conjuncion), O (para
la disyuncion inclusiva), SI… ENTONCES (para la implicación o condicional),
SI Y SOLO SI (para la doble implicación o bicondicional).
Las tablas de verdad son las siguientes:
Conjuncion Disyuncion Implicación Doble implicacion
P Q PY P Q P P Q P P Q P SI Y
SOLO SI
Q O ENTONCES Q
V V V Q Q V V V
V F F V V V V V V V F F
F V F V F V V F F F V F
F F f F V V F V V F F V
F F F F F V
Una prueba simple se hace con la ayuda de dos enunciados nucleares como los
siguientes:

2. P = el tejado esta sobre el piso.
Q = el piso esta debajo del tejado.
P Q Conjuncion Disyuncion Implicación Doble
PyQ PoQ Si P implicación
entonces Q P si y solo si
Q
el tejado el piso esta Verdadero Verdadero Verdadero Verdadero
esta sobre el debajo del
piso suelo
el tejado Es falso que Falso Verdadero Falso Falso
esta sobre el el piso esta
piso debajo del
tejado
Es falso que el piso esta Falso Verdadero Verdadero Falso
el tejado debajo del
esta sobre el suelo
piso
Es falso que Es falso que Falso Falso Verdadero Verdadero
el tejado el piso esta
esta sobre el debajo del
piso tejado
Este es un ejemplo muy sencillo en una relacion de posición entre dos objetos.