Está en la página 1de 3

p q r ⌐p q (¬p→q) (p→r) (¬p→q)V(p→r)

V V V F V V V V
V V F F V V F V
V F V F F V V V
V F F F F V F V
F V V V V V V V
F V F V V V V V
F F V V F F V V
F F F V F F V V
p q r (q→r) [p→(q→r)] ⌐r p {[p→(q→r)]Λ⌐rΛp} (pVq)
V V V V V F V F V
V V F F F V V F V
V F V V V F V F V
V F F V V V V V V
F V V V V F F F V
F V F F V V F F V
F F V V V F F F F
F F F V V V F F F
{[p→(q→r)]Λ⌐rΛp}→(pVq)
V
V
V
V
V
V
V
V

También podría gustarte