Tablas De Verdad

UNIVERSIDAD RAFAEL LANDIVAR
Campus Regional San Luis Gonzaga SJ.
Licenciatura en Ciencias Hortícolas
Facultad de Agronomía

Licda. Rosalina del Carmen Ramírez Chacón
Estrategias de Razonamiento(EDP)

“Utilización de Tablas de Verdad con conectivos lógicos.”

Et. Axel Josué Cordón Ruano
I Semestre 2013
Carné No. 20213-13

Zacapa, Febrero de 2013

TABLAS DE VERDAD

Son, por unaparte, uno de los métodos más sencillos y conocidos de la lógica formal, pero al mismo tiempo también uno de los más poderosos y claros. Entender bien las tablas de verdad es, en gran medida, entenderbien a la lógica formal misma.
Pueden construirse haciendo una interpretación de los conectivos lógicos como: no, o, y, si…entonces, sí y sólo si, respectivamente. En consecuencia, las tablas deverdad constituyen un método de decisión para chequear si una proposición es o no un teorema.

Negación (NO)

Es establecer un valor contrario a lo dicho, ya sea verdad o falsedad.
P: Víctor esAbogado
~P: Víctor no es abogado.

p | ~p |
V | F |
F | V |

Disyunción (O)
La disyunción solamente se considera falsa si sus 2 componentes son falsos, de lo contrario sus otros componentesse consideran verdaderos.

P: Guatemala es de Centroamérica y es el país de la eterna primavera.
P Q
P v Q = V
P | Q | P v Q |
V | V | V |
V | F | V |
F | V | V |
F | F | F |Conjunción (Y)
Solamente si los componentes de la conjunción son verdaderos la conjunción es verdadera; de lo contrario los demás componentes son falsos.
P: Riquelme es un jugador de fútbol y Luisaes enfermera.
P Q
P | Q | P٨ Q |
V | V | V |
V | F | F |
F | V | F |
F | F | F |
P٨ Q = V

Condicional (Sí…entonces)
El condicional solamente es falso cuando el antecedente esverdadero y el consecuente es falso. De lo contrario los demás son verdaderos.

Si Chiquimula es un departamento de Guatemala entonces es el más Grande.
P (V) Q (F)

P→ Q = F
P |...