Reglas de Inferencia

Los argumentos basados en tautologas representan mtodos de razonamiento

universalmente correctos. Su validez depende solamente de la forma de las
proposiciones que intervienen y no de los valores de verdad de las variables que
contienen. A esos argumentos se les llama reglas de inferencia. Las reglas de
inferencia permiten relacionar dos o ms tautologas o hiptesis en una
demostracin.
A continuacin se detallara cada una de las reglas:
REGLA DEL MODUS PONENS
Es una regla de inferencia que permite demostrar q a partir de p q y p.
PREMISA

1) Si Pedro est en el partido de Ftbol, entonces Pedro

est en el estadio.
PREMISA
2) Pedro est en el partido de Ftbol.
___________________________________________________
CONCLUSIN: Pedro Est en el estadio.
Simblicamente tenemos lo siguiente:
p: Pedro est en el partido de ftbol
q: Pedro est en el estadio
Entonces:
PREMISA
PREMISA

1) p q
2) p
__________
CONCLUSIN:
q
Esta regla permite pasar de dos premisas a la conclusin, se dice que la
conclusin es una consecuencia lgica de las premisas, es decir siempre que las
premisas son ciertas, la conclusin es tambin verdadera.
La misma regla se aplica tanto si el antecedente y el consecuente son
proposiciones atmicas o moleculares.
Ejemplo
a) r s
r
________________

b) p
p q

__________________

c) p q r
p q
________________

d) p q r
p
________________

q r

Cuando el MODUS PONENS o cualquier otra regla se aplica para sacar una
conclusin de dos o ms proposiciones, el orden de las proposiciones es
indiferente.
La abreviatura para esta regla es MP.
DOBLE NEGACIN.
Es una regla que permite pasar de una premisa nica a la conclusin. Un ejemplo
simple es el de una negacin de la negacin que se denomina << Doble negacin
>>.
Sea la proposicin:
No ocurre que Ana no es un estudiante.
De donde se puede sacar la conclusin: Ana es estudiante.
La regla tambin acta en sentido contrario. Por ejemplo: de la proposicin se
puede concluir la negacin de su negacin:
Juan toma el autobs par ir a la escuela.
__________________________________________
No ocurre que Juan no toma el autobs para ir a la escuela
As esta regla tiene dos formas simblicas:
(p)
(p)

(p)
(p)

La abreviatura para esta regla es DN.

MODUS TOLLENS
La regla de Inferencia que se aplica tambin a las proposiciones condicionales,
pero en este caso, negandoel consecuente, se puede negar el antecedente de la
condicional.
Ejemplo
La deduccin siguiente es un ejemplo del uso de esta regla:
PREMISA 1)
PREMISA 2)
Conclusin:

Si tiene luz propia, entonces el astro es una estrella .

El astro no es una estrella.
Por lo tanto no tiene luz propia

Simbolizando:
p : Tiene luz propia
q : El astro es una estrella.
PREMISA 1)
pq
PREMISA 2)
q
_______________________
Conclusin:
p
Cuando se trata de proposiciones moleculares puede usarse el parntesis para
mayor claridad.
La abreviatura para esta regla es TT.
Regla de ADJUNCION SIMPLIFICACIN.
Se suponen dadas dos proposiciones como premisas. La primera es
Jorge es adulto
La segunda es:
Mara es adolescente.
Si ambas proposiciones son verdaderas, entonces se podran juntar en una
proposicin molecular utilizando el trmino de enlace << y >> y se tendra una
proposicin verdadera que se leera:
Jorge es adulto y mara es adolescente.
La regla que permite pasar de las dos premisas a la conclusin se denomina regla
de ADJUNCION.
La abreviatura para esta regla es A.
De manera simblica se puede ilustrar la regla as :
PREMISA 1) p
PREMISA 2) q
_____________________
Conclusin 1) p q
Conclusin 2) q p
El orden de las premisas es indiferente.
REGLA DE SIMPLIFICACIN
Si se tiene una premisa que dice:

El cumpleaos de Mara es el lunes y el mo es el sbado.

De esta premisa se pueden concluir:
El cumpleaos de Mara es el viernes.
La otra conclusin:
El mo es el sbado.
Si la premisa es cierta, cada una de las conclusiones es tambin cierta.
Esta regla se abrevia por S.
En forma simblica la regla de simplificacin es:

p q

De la premisa p q
_______________
Se concluye:
p
O se concluye: q
REGLA DE MODUS PONENS
Esta regla dice que negando un miembro de una disyuncin, se afirma el otro
miembro.
Simblicamente tenemos:
De la premisa
p v q
Y de la premisa
p
_______________
se concluye
q
O tambin
De la premisa
Y de la premisa

pv q

q
________________
se puede concluir
p
La abreviatura para esta regla es : TP.
Ejemplo 1
Si usted invierte en el mercado de valores, entonces se har rico.
Si se hace usted rico, entonces ser feliz.
____________________________________________________

 Si usted invierte en el mercado de valores, entonces ser feliz.

Sea:
p: Usted invierte en el mercado de valores.
q: Se har rico.
r: Ser feli<
pq
qr
______
pr
Ejemplo 2.
Si bajan los impuestos, entonces se eleva el ingreso
El ingreso se eleva.
_________________________________________
Los impuestos bajan
Solucin:
p: Los impuestos bajan.
q: El ingreso se eleva.
pq
q
_____
p
En una demostracin no solamente hay tautologas e hiptesis, tambin existen
reglas de inferencia que permiten obtener nuevas lneas vlidas, esta es la parte
en donde la mayora de alumnos tienen problemas y en donde no sabe que regla
aplicar para resolver un determinado problema
SILOGISMO HIPOTTICO (SH)
Dados dos implicaciones, de las cuales, el antecedente de la una sea el
consecuente de la otra (el mismo enunciado), podemos construir una nueva
implicacin cuyo antecedente sea el de aquella implicacin cuya consecuencia
sea el antecedente de la otra implicacin, y cuyo consecuente sea el de sta
ltima, cuyo antecedente era consecuencia del primero.
Expresado de otro modo, si una causa se sigue una consecuencia, y sta
consecuencia es a su vez causa de una segunda consecuencia, se puede decir
que esa primera causa es causa de esa segunda consecuencia, del mismo modo
que, si una bola de billar roja golpea a otra bola blanca que a su vez golpea a una

bola negra, la bola roja es causa del movimiento de la bola negra. Expresado en
forma de inferencia lgica:
pq
Si la bola roja golpea a la bola blanca, la bola blanca se mueve
qr
Si la bola blanca golpea a la bola negra, la bola negra se mueve
________________________________________________________________
pr

Si la bola roja golpea a la bola blanca, la bola negra se mueve

SILOGISMO DISYUNTIVO (DS)

Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyuncin
cuyos miembros sean los antecedentes de los condicionales, podemos concluir en
una nueva premisa en forma de disyuncin, cuyos miembros seran los
consecuentes de las dos implicaciones. Lgicamente, si planteamos una eleccin
entre dos causas, podemos plantear una eleccin igualmente entre sus dos
posibles efectos, que es el sentido de esta regla.
pq
Si llueve, entonces las calles se mojan
r s
Si la tierra tiembla, los edificios se caen
pV r
Llueve o la tierra tiembla
____________________________________________________
qV s
Las calles se mojan o los edificios se caen
LEY CONMUTATIVA
Esta ley, no es vlida para la implicacin, pero s para conjuncin y para la
disyuncin. Una conjuncin es afirmar que se dan dos cosas a la vez, de modo
que el orden de sus elementos no cambia este hecho. Igualmente, una disyuncin
es presentar una eleccin entre dos cosas, sin importar en qu orden se presente
esta eleccin. As pues,
p q qp
pVqqVp

p y q equivale a q y p
p q equivale a q p

LEYES DE MORGAN (DM)

Esta ley permite transformar una disyuncin en una conjuncin, y viceversa, es
decir, una conjuncin en una disyuncin. Cuando se pasa de una a otra, se
cambian los valores de afirmacin y negacin de los trminos de la
disyuncin/conjuncin as como de la propia operacin en conjunto, como
podemos observar aqu:
pq
___________
(p V q)

pVq
____________
(p q)

Despues de haber visto las reglas se presentara un cuadro resumen de ellas:

Regla
Nombre
p
Modus Ponens
p q
q
Ley del silogismo
pq
q r
pq
pq
q
p
p
q
pq
pVq
p

q
F

p
pq
p
p
pVq
pq
p (q r)
r
p r
q r
(pVq)r
pq
rs
pV r
qVs
pq
r s
q__V___
r
p Vr

Modus Tollens

Regla de la Conjuncin
Regla del silogismo Disyuntivo

Regla de la contradiccin
Regla de la simplificacin Conjuntiva
Regla de la simplificacin Disyuntiva
Regla de

la demostracin Condicional

Regla de la demostracin por casos

Regla del dilema constructivo

Regla del dilema destructivo