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