LEYES DE EQUIVALENCIA

 LEYES DE EQUIVALENCIA
Leyes de conmutacion (Conm.)

(P v Q ≡ (Q v P)
(P ^ Q) ≡ (Q ^ P)
Leyes de asociación (Asoc.)
[( p v q ) v r]≡ [p v (q v r )]
[( p ^ q) ^ r]≡ [ p ^ (q ^ r)]
Leyes de distribución (Dist.)
[p ^ ( q v r)]≡ [( p ^ q) v (p ^ r)]
[p v ( q ^ r)] ≡[(p v q) ^ (p v r)]
Teoremas de Morgan (DeM)
[~(p ^ q)] ≡ [(~p v ~ q)]
[~(p v q )] ≡ [(~p ^ ~ q)]
Doble Negación (DN)
P ≡ ~~ p
~~ p ≡p
Ley de exportación (Exp.)
[( p ^ q)  r ] ≡ [ p  (q  r)]

Ley de implicación material (IMP)
(p  q ) ≡ ( ~ p v q )
Ley decontraposición (Contr.) ó transposición (Trans)
[( p  q )] ≡ [( ~ q  ~ p)]
Leyes de equivalencia material (Equiv)
(p ≡q) ≡ [( p  q) ^ (q p)]
(p ≡ q) ≡ [( p ^ q) v ( ~p ^ ~q)]
Tautología (Taut)
P ≡ (pvp)
P ≡ (p ^p)









REGLAS DE IMPLICACIÓN
MODUS PONENDO PONENS(MPP)
P  q
P
q
Modus tollendo tollens (MTT)
P  q
~q
~p
Modus Ponendo Tollens (MPT)
P ≡ q
P
~q
P ≡ q
q
~p

Modus TollendoTollens
Silogismo Disyuntivo
P v q
~p
q
Ley de conjunción (Conj.)
P
Q
P ^ q
Silogismo hipotético (SH)
P  q
Q  r
P  r
Ley desimplificación (Simp)
P ^ q
P
P ^ q
q
Ley de adición (AD)
P
P v q
p
p v ~q
Dilema constructivo ( DC )
( p  q) v ( r vs)
P v r
P v s
Dilema destructivo ( D D )
( p  q ) ^ ( r  s )
~q v ~ s
~p v ~r
Condicionalización (Cd)
Q
P  q