Regla de inferencia y reemplazo resumen 1

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 pormedio de tablas
de verdad.

1.

3.

5.

7.

9.

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

No siempre un argumento válido o inválido, sepuede comprobar por medio de las 9
reglas de inferencia; por eso, se utilizan otras reglas conocidas como REGLAS DE
REEMPLAZO (REGLAS DE EQUIVALENCIA), que sesustituyen o reemplazan (según
sea necesario) para lograr la demostración o prueba de validez del argumento.

10.
a)
b)

12.
a)
b)
14.
16.

18.

REGLA DE REEMPLAZOTeoremas de De Morgan (De M) 11.
Conmutación (Conm.)
(p . q)  (p v q)
a) (p v q)  (q v p)
(p v q)  (p · q)
b) (p . q)  (q · p)
Asociación (Asoc.)
13.Distribución (Dist.)
[p v (q v r)]  [(p v q) v r]
a) [p . (q v r)]  [(p . q) v (p . r)]
[p . (q . r)]  [(p . q) . r]
b) [p v (q . r)]  [(p v q) . (p v r)]
Doblenegación (D.N.)
15.
Transposición (Trans.)
p   p
(p  q)  (q  p)
17.
Equivalência Material (Equiv.)
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.)
Exportación (Exp.)
a) p  (p v p)
[(p . q)  r]  [p  (q  r)]
b) p  (p . p)