Captulo 4

Reglas de Inferencia
por G3

Agosto 2014

Resumen

Discutimos el concepto de regla de inferencia. Describimos algunas

de las principales y usuales reglas de inferencia. Antes tratamos el
concepto de razonamiento y deduccion.

Indice

1 Esquemas de razonamiento
Definicion 1. Un (esquema de) razonamiento es un conjunto finito de pro-
posiciones p1 ,...,pn , llamadas premisas o hipotesis, y una proposici
on q, lla-
mada consecuente o conclusion o tesis, de la cual se puede afirmar que deriva
o no de la conjunci on de las premisas.

Definicion 2. Un razonamiento es valido si, y s

olo si, la conclusi
on es ver-
dadera siempre que las premisas sean verdaderas. Es decir, un razonamiento
es v
alido si no es posible que las premisas sean verdaderas y la conlcusi on
falsa.

1
Definici on 3. Una ragla de inferencia es una sucesion finita de proposiciones
p1 ,..., pn (las premisas), y una proposicion q (la conclusion) tales que

p1 p2 pn q es una tautologa.

En notaci
on de c
alculo proposicional escribimos

p1
p2
..
.
pn
q

Note entonces que una regla de inferencia es una ley l

ogica.

2 Reglas de Inferencia
En seguida apuntamos algunas de las reglas mas usuales con alguna justifi-
caci
on.

Modus Ponendo Ponens. (Modo que afirmando afirma).

p
pq
q

Demostracion. Debemos mostrar que p (p q) q es tautologa.

Podemos hacer una tabla, pero mejor procedemos as: Supongamos
que p (p q) es V, entonces p es V y p q es V, se sigue que q es
V.

Modus Tollendo Tollens. (Modo que negando niega).

pq
q
p

2
 Demostracion. Debemos probar que (p q) q p es tautologa.
Para no hacer una tabla, procedemos as: Si (p q)q es V, entonces
p q y q son V, y por tanto q es F y p es F. Luego, p es V.

Modus Tollendo Ponens. (Modo que negando afirma).

pq
q
p

Demostraci
on. Procedemos as:

[(p q) (q)] [(p q) (q q)] (es tautologa por distributividad)

(p q) (es tautologa pues q q es A)
p (es tautologa por simplificacion).

Los pasos anteriores son justamente el proceso de inferencia deductiva,

o simplemente deduci on.

Silogismo Hipot
etico.
pq
qr
pr

Demostraci on. Esta es justamente la prueba de que el conectivo es

transitivo, i.e., [(p q) (q r)] (p r) es tautologa, la cual ya
hicimos.

Dilema Constructivo (Disyuntivo).

(p q) (r s)
p
r
qs

3
 Demostraci
on. Debemos probar que

(((p q) (r s)) p r) (q s)

es tautologa. Supongamos que ((p q) (r s)) p r es V,

entonces p y r son V, y al menos una de las implicaciones p q y
r s es V. Se sigue que q es V o bien s es V, esto es, q s es V.

Dilema Destructivo.
(p q) (r s)
q
s
p r

Demostraci
on. Debemos probar que

(((p q) (r s)) (q) (s)) (p r)

es tautologa. Supongamos que ((p q) (r s)) (q) (s) es

V. Entonces q y s son F, y al menos una de las implicaciones p q y
r s es V. Por lo tanto, alguna de las proposiciones p o r es F, esto
es, p r es V.

Las leyes l
ogicas siguientes, que ya conocemos, tambien son reglas de
inferencia.

Conjunci
on y Disyunci
on.

p p
q q
pq pq

Idempotencia.

p pp p pp
, , ,
pp p pp p

4
Simplificaci
on.
pq pq
,
p q

Adici
on.
p
pq

Involuci
on.
p p
,
p p

.... y as sucesivamente.

Ejercicios del Captulo 4

1. Utilizando modus ponendo ponens obtener una conclusion de cada uno de los
conjuntos de premisas siguientes

(a) pq r (c) p r (e) p (q r)

pq p p

(b) p (d) p (q r) (f) r
p Q p r (q p)

2. Cu
ales de los siguientes razonamientos son correctos?

(a) s (b) ts (c) pr

st s r
t t p

3. Utiliza modus ponendo ponens para deducir una conclusion de cada uno de
los conjuntos de premisas siguientes:

(a) Si x 6= 0 entonces x + y > 1; x 6= 0.

(b) Si x + y = z entonces y + z = z; x + y = z.

5
 (c) Si x es un n
umero racional, y y es un n
umero irracional, entonces x + y
es un numero irracional; x es un numero racional y y es un n umero
irracional.
(d) Si x > y y y > z, entonces x > z; x > y y y > z.
(e) Si x = y y y = z, entonces x = z; x = y y y = z.

4. Demuestra la Simplificaci
on Disyuntiva

(p r) (q r)
pq
r

5. Demuestra los siguientes Dilemas Constructivos.

(p q) (r s)
(p q) (r s)
p
pq
r
qs
qs

6. Demuestra los siguientes Dilemas Destructivos

(p q) (r s)
(p q) (r s)
q
q s
s
p r
p s

7. Demuestra el Principio de Demostraci

on Condicional:

pq
p (q r)
r