Implicacion e Inferencia Logica
Implicacion e Inferencia Logica
Implicacion e Inferencia Logica
C.I. 19.689.661
Carlos Bermúdez
C.I 19.151.400
1 (PvQ)
2 (S^T)
Ley conmutativa a 1
(PvQ)=(QvP)
Ley de Morgan a 2
3 (S^T)=~(~Tv~S)
Ley Conmutativa a 3
(~Tv~S)=(~Sv~T)
(QvP) [R~(~Sv~T)]
L.Q.Q.D.
Aplicamos adjunción en 1 y 2
3 P^(QvR)
1 P~Q
2 ~(~Q)=Q
~P
(P ~Q) ^ Q ~P
V F F F V V F
V V V F F V F
F V F V V V V
F V V F F V V