Una regla de inferencia, es un argumento válido elemental que se utiliza para realizar la

prueba formal de validez. Esta regla de inferencia puede demostrarse por medio de tablas
de verdad.

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

No siempre un argumento válido o inválido, se puede comprobar por medio de las 9

reglas de inferencia; por eso, se utilizan otras reglas conocidas como REGLAS DE
REEMPLAZO (REGLAS DE EQUIVALENCIA), que se sustituyen o reemplazan (según
sea necesario) para lograr la demostración o prueba de validez del argumento.

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