Tema: Lógica proposicional

...

- ¿Cuál de las siguientes expresiones es una tautología?

- [pic 10] NO ES UNTA TAUTOLOGIA

P

Q

-P

-Q

-P∨Q

P∨Q

-(-P∨Q)↔ )P∨Q)

V

V

F

F

V

V

V

V

F

F

V

F

V

F

F

V

V

F

V

V

V

F

F

V

V

V

F

F

- [pic 11] NO ES UNA TAUTOLOGIA

P

Q

(P→Q)

(Q→P)

(P→Q)↔ (Q→P)

V

V

V

V

V

V

F

F

V

F

F

V

V

F

F

F

F

V

V

V

- [pic 12] SI ES UNA TAUTOLOGIA

P

Q

-P

-Q

-P→-Q

P∨-Q

(-P→-Q)↔(P∨-Q)

V

V

F

F

V

V

V

V

F

F

V

V

V

V

F

V

V

F

F

F

V

F

F

F

V

V

V

V

- ~d ⇒ p si maría no tiene dientes, Dios le da pan

~p ∨ d Dios no le da pan a maría o ella tiene dientes

d maría tiene dientes

Comprobar la siguiente afirmación para verificar si es una tautología

((~d ⇒ p) ∧ (~p ∨ d)) ⇒ d

p

D

-p

-d

-d → p

p ∨ d

(-d→p)∧(-p∨d)

→d

V

V

F

F

V

V

V

V

F

V

V

F

V

V

V

V

V

F

F

V

V

V

V

F

F

F

V

V

F