reglas de inferencias y reemplazo

REGLAS DE INFERENCIA Y REGLAS DE REEMPLAZO (EQUIVALENCIA)

REGLAS DE INFERENCIA
1. Modus Ponens (M.P.)
p  q
p
 q 2. Modus Tollens (M •T)
p  q
q
 p
3. Silogismo hipotético (S.H.)
p  q p  q
q  r ó r  p
 p  r  r  q 4.Silogismo disyuntivo (S.D.)
p v q
p ó q
q p
5. Dilema Constructivo (D.C.)
(p  q) • (r  s)
p v r
 q v s 6.Absorción (Abs.)
p  q
 p  (q • p)  p  (p • q)
7. Simplificación (Simp.)
p • q ó
 p q 8. Conjunción(Conj.)
p p
q ó q
 p • q q • p
9. Adición (Ad.)
p
 p v q




REGLAS DEREEMPLAZO
10. Teoremas de De Morgan (De M)
a) (p . q)  (p v q)
b) (p v q)  (p • q) 11. Conmutación (Conm.)
a) (p v q)  (q v p)
b) (p .q)  (q • p)
12. Asociación (Asoc.)
a) [p v (q v r)]  [(p v q) v r]
b) [p . (q . r)]  [(p . q) . r] 13. Distribución (Dist.)
a) [p . (qv r)]  [(p . q) v (p . r)]
b) [p v (q . r)]  [(p v q) . (p v r)]
14. Doble negación (D.N.)
p   p 15. Transposición (Trans.)
(p  q) (q  p)
16. Implicación Material (Impl.)
(p  q)  (p v q) 17. Equivalência Material (Equiv.)
a) (p  q)  [(p  q) . (q  p)]
b) (p q)  [(p . q) v (p . q)]
18. Exportación (Exp.)
[(p . q)  r]  [p  (q  r)] 19. Tautologia (Taut.)
a) p  (p v p)
b) p  (p . p)