Tablas de Verdad
Las tablas de verdad nos ayudan a establecer el valor de verdad de diferentes razonamientos lógicos 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.
Cuando hay dos enunciados nucleares, p y q, las tablas de verdad para los cuatro conectivos básicos (conjunción, disyunción, 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 lógicos son:
- Y (conjunción)
- O(disyunción)
- SI… ENTONCES(implicación o condicional)
- SI Y SOLO SI(implicación o bicondicional)
Las tablas de verdad son las siguientes: