Tablas de La Verdad

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 2

REALIZADO POR: Litzy Yeraldine Fiaga Balaguera

TALLER TABLAS DE LA VERDAD

1. ((q -> p) ^ (r ѵ ¬p)) ^ (¬q ѵ ¬r) -> ¬q


p q r (q → p) ¬p (r v ¬p) ((q→p)^(r v ¬p)) ¬q ¬r (¬q v ¬r) ((q→p) ^ (r v ¬p)) ^ (¬q v ¬r) → ¬q
v v v v f v v f f f f v
v v f v f f f f v v f v
v f v v f v v v f v v v
v f f v f f f v v v f v
f v v f v v f f f f f v
f v f f v v f f v v f v
f f v v v v v v f v v v
f f f v v v v v v v v v

RTA: TAUTOLOGÍA

2. (p->q) ^ (q->r) -> (p -> r)


p q r (p → q) (q →r) (p →r) (p →q) ^ (q→r) (p→q) ^ (q→r) → (p→r)
v v v v v v v v
v v f v f f f v
v f v f v v f v
v f f f v f f v
f v v v v v v v
f v f v f v f v
f f v v v v v v
f f f v v v v v

RTA: TAUTOLOGÍA

3. ((p->q) ^ (q -> r)) -> (r -> p)

p q r (p → q) (q → r) (r → p) ((p → q)^ (q→r)) ((p → q)^ (q→r)) → (r → p)


v v v v v v v v
v v f v f v f v
v f v f v v f v
v f f f v v f v
f v v v v f v f
f v f v f v f v
f f v v v f v f
f f f v v v v v

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

5. ((p->q) ^ (¬p -> r)) ^ (¬q -> ¬r) -> q

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

También podría gustarte