Tablas de La Verdad
Tablas de La Verdad
Tablas de La Verdad
RTA: TAUTOLOGÍA
RTA: TAUTOLOGÍA
RTA: Contingencia
4. ((p ^ ¬q) ѵ (p ^ r)) ^ (¬q -> ¬p) -> r
p q r ¬p ¬q (p ^ ¬q) (p ^ r) ((p ^ ¬q) v (p ^ r)) (¬q → ¬p) ((p^¬q) v (p ^ r)) ^ (¬q → ¬p) TODO
v v v f f f v v v v v
v v f f f f f f v f v
v f v f v v v v f f v
v f f f v v f v f f v
f v v v f f f f v f v
f v f v f f f f v f v
f f v v v f f f v f v
f f f v v f f f v f v
RTA: Tautología
p q r ¬p ¬q ¬r (p→q) (¬p →r) (¬q → r ) ((p → q) ^ (¬p → r)) ((p → q) ^ (¬p → r)) ^ ((¬q → r ) TODO
v v v f f f v v v v v v
v v f f f v v v v v v v
v f v f v f f v v f f v
v f f f v v f v f f f v
f v v v f f v v v v v v
f v f v f v v f v f f v
f f v v v f v v v v v f
f f f v v v v f f f f v
RTA: Contingencia