Tautologa Tabla de verdad de AND P v v f f Q v f v f P^Q v f f f
Tabla de verdad condicional P v v f f Q v f v f P->Q v f v v
Ejemplo 1 (P ^ Q) -> r (P^Q) v f f f (P^Q)->r v f v v
v v v v
Ejemplo 2 (p V V F F v V V V F q) V F V F & F V F F F V F V q V F V F -> V V V V p V V F F
CONTRADICCION LA NOTACION SIGNIFICA NO ES EL CASO DE, Tabla de verdad de P v p f
f v Ejemplo 1 de contradiccin
(p -> V V V F F V F V Ejemplo 2 P v f P f v
q) V F V F
& f f f f
(p V V F F
& F V F F
F V F V
q) V F V F
P^P f f