 CONTINGENTE O CONSISTENTE:

TABLAS DE VERDAD Cuando en su resultado final o matriz, el valor

Una tabla de verdad es una grafica en forma de veritativo presenta por lo menos un valor
cruz que sirven para evaluar esquemas verdadero o uno falso.
moleculares. Este esquema muestra como valores
de verdad de proposiciones compuestas,
dependen de los conectivos usados y de los
valores de verdad de las proposiciones
componentes simples.

VARIABLES PROPOSICIÓN COMPUESTA

ARREGLOS
VALORES VALORES
2n PARCIALES PARCIALES

MATRIZ O
RESULTADO VALORES DE VERDAD DE LOS
FINAL
CONECTIVOS LOGICOS
CLASES DE TABLAS DE VERDAD O p q p pq pq pq pq pq
MATRICIALES:
V V F V V V F V
 TAUTOLOGICAS: V F F F V F V F
Si contiene en su resultado final o matricial el valor
veritativo de solo Verdadero. (V). Y se representa por F V V F V V V F
una T de Tautología. F F V F F V F V
Ejemplo:
https://www.youtube.com/watch?v=t_D-
7j1Sbk8

RESOLVER LOS SIGUIENTES

EJECCICIOS

1. Construya e identifique el tipo de tabla de verdad de

los siguientes esquemas proposicionales:
a) [(p  q)  p ]  q
b) (p  q)  (q p)
 CONTRADICTORIO: c) ¬[(p ∧ ¬q)  (p ∆ ¬r)]
Si en su resultado final o matriz, el valor veritativo es d) ¬¬(¬p v ¬q)  [(q ∧ ¬q) ∆ r ]
solo falso. Se representa por (F)
e) ¬ [¬ (p  ¬q) ∧ (r ∆¬s)]
Ejemplo:

https://www.youtube.com/watch?v=a5cEaETtTNo