INTRODUCCIN

Una inferencia es una evaluacin que realiza la mente entre expresiones

bien formadas de un lenguaje que, al ser relacionadas intelectualmente
como abstraccin, permiten trazar una lnea lgica de

condicin o

implicacin lgica entre las diferentes proposiciones. De esta forma,

partiendo de la verdad o falsedad posible (como hiptesis) o conocida
(como argumento) de alguna o algunas de ellas, puede deducirse la verdad
o falsedad de alguna o algunas de las otras proposiciones.
Es por ello que las leyes de inferencia nos permiten facilitar el anlisis de
argumentos slidamente validos de una manera ms sencilla, esto se
explicar a continuacin mediante ejemplos.

1. Leyes o Reglas de Inferencia

Las leyes de inferencia son mecanismos sintcticos que permiten deducir y razonar
lgica y coherentemente una inferencia o conclusin a partir de hechos que ya
conocemos.
Realizar inferencias significa derivar nuevos hechos a partir de un conjunto de otros
hechos conocidos y que son verdaderos.

2. Leyes de inferencia ms conocidas

Algunas de las leyes de inferencia ms conocidas son las siguientes:

Modus ponendo ponens (PP): Es conocida como la regla de la afirmacin

del antecedente,

es el condicional o implicacin, la cual establece entre dos

enunciados una relacin de causa-efecto. La regla ponendo ponens significa,

afirmando afirmo y en un condicional se establece que, si el antecedente
(primer trmino) se afirma, necesariamente se afirma el consecuente (segundo
trmino).

Un ejemplo puede ser:

P = Llueve .
Q = Las calles de mojan.
= Es el condicional.
PQ Si llueve, entonces las calles se mojan (Proposicin)
P
Llueve
(Proposicin)
-----------------------------------------------------------------Q
Entonces, las calles se mojan

(Conclusin)

Modus ponendo tollens (PT): Es conocida como la negacin del

consecuente. Esta ley quiere decir que si de un condicional, aparece como
proposicin el consecuente negado (el efecto), eso nos conduce a negar el
antecedente (la causa), puesto que si un efecto no se da, su causa no ha
podido darse o ser vlida. Por ejemplo:

P=

Mara est despierta.

Q=

Mara esta en clases.

= Es el condicional.

PQ Si Mara esta despierta, entonces esta en clases (proposicin)

P

Mara no est despierta

(Proposicin)

-----------------------------------------------------------------Q Entonces, Mara no est en clases

(Conclusin)

Modus tollendo ponens (TP): Se conoce como la ley de negacin del

antecedente. Esta ley representa una eleccin entre dos enunciados. Ahora
bien, en esa eleccin, forma parte de las posibilidades escoger ambos
enunciados, es decir, la verdad de ambos enunciados no es incompatible o
bien ambos no pueden ser falsos. Ejemplo de ello es:

P = Fui al cine.
Q = Me fui de compras.
v = Es la eleccin (o una proposicin o la otra)
PvQ
P

Me fui al cine o me fui de compras

No fui al cine

(Proposicin)
(Proposicin)

-------------------------------------------------------------Q

Por tanto, me fui de compras

(Conclusin)

Silogismo hipottico (SH): Se conoce como razonamiento en cadena.

Esto quiere decir que 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. Un ejemplo es:

P = Mara est en la playa.

Q = Mara esta nadando.
R = Mara se cansar.

PQ Si el Mara est en la playa, entonces esta nadando (Proposicin)

QR

Si

Mara

esta

nadando,

entonces

estar

cansada

(Proposicin)

----------------------------------------------------------------------PR Por ello Si Mara est en la playa, entonces se cansar (Conclusin)

Silogismo Disyuntivo (SD): Se conoce como la ley de negacin de la

afirmacin. Dadas tres proposiciones, dos de ellas implicaciones, y la tercera
una disyuncin cuyos miembros sean los antecedentes de los condicionales,
podemos concluir en una nueva proposicin 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.

P = Llueve.
Q = Las calles se mojan.
R = La tierra tiembla.
S = Los edificios se caen.
PQ Si llueve, entonces las calles se mojan

(Proposicin)

RS Si la tierra tiembla, los edificios se caen

(Proposicin)

PvR

(Proposicin)

Llueve la tierra tiembla

-------------------------------------------------------------Q v S Las calles se mojan o los edificios se caen (Conclusin)

CONCLUSIN

Las leyes de inferencia son reglas que nos sirven para probar que a partir
de unas proposiciones dadas es posible hacer la demostracin para
una

conclusin

especfica.

Su

objetivo

es

abreviar

las

demostraciones.
Las reglas de inferencia no deben confundirse con las leyes lgicas o
tautologas, puesto que stas no pertenecen al metalenguaje del clculo.

BIBLIOGRAFA

BERNALZAMORA, L. (2010). SlideShare. [Documento en Lnea]

Disponible: http://www.slideshare.net/leonardobernalzamora/reglas-de-inferencia
Consulta: 16/01/2012
GOMEZ, F. (2008). Mi Tecnolgico. [Documento en Lnea]
Disponible: http://www.mitecnologico.com/Main/ReglasDeInferencia
Consulta: 16/01/2012