Tablas de verdad

Tablas de verdad y lógica proposicional

Tablas de verdad

Concepto:  Es un método de deducción de datos, siendo un método que es sumamente efectivo para dilucidar respuestas acertadas completamente, teniendo en cuenta que forma parte de la lógica formal, dando resultados por medio de aseveraciones y negaciones, las cuales se representan de una forma sencilla, pero que dan la salvedad que se logra descubrir el valor de verdad que se busca por medio de una serie de proposiciones.

Lógica proposicional

Las proposiciones son afirmaciones que pueden ser falsas o verdaderas, dando así una incógnita, al valor de verdad general. El valor de verdad puede presentarse en oraciones de una forma simple o compuesta a las cuales podemos asignar una literal que represente dicha oración, como, por ejemplo:

Oración simple (proposiciones)
- Voy a correr.
- Hace calor.
- Esta soleado.
- Estoy corriendo.

Oración compuesta (proposiciones)
- Voy a correr y hace calor.
- Hace calor o esta soleado.
- Esta soleado y voy a correr.
Las oraciones simples son las que solo cuentan con una simple oración y las oraciones compuestas son las que están conformadas por más de una oración, para poder realizar una oración compuesta debemos de conocer los conectivos lógicos, los cuales unen cada oración, entre los cuales tenemos los siguientes.

No. Conectivo Representa Simbolización
1 Conjunción “y” ^
2 Disyunción “o” v
3 Implicación “si entonces” 
4 Doble Implicación “si solo si” 
5 Negación “no” ~