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 P

(Proposicin)

Si llueve, entonces las calles se mojan (Proposicin)

Llueve

-----------------------------------------------------------------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 Me fui al cine o me fui de compras (Proposicin)

P No fui al cine (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 RS Si la tierra tiembla, los edificios se caen
PvR Llueve la tierra tiembla (Proposicin) (Proposicin) (Proposicin)

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

REPBLICA BOLIVARIANA DE VENEZUELA INSTITUTO UNIVERSITARIO POLITCNICO SANTIAGO MARIO EXTENSIN MATURIN

LEYES DE INFERENCIA

Profesora: Renny Montao Karina Abo Seid Gustavo lvarez Kevin Barreto Cristina Lpez

Realizado por: C.I: C.I: C.I: C.I: 25.242.148 24.865.732 22.708.823 20.703.381 Seccin G

Maturn, enero de 2012

BIBLIOGRAFA

BERNALZAMORA, L. (2010). SlideShare. [Documento en Lnea] Disponible: inferencia http://www.slideshare.net/leonardobernalzamora/reglas-de-

Consulta: 16/01/2012 GOMEZ, F. (2008). Mi Tecnolgico. [Documento en Lnea] Disponible: http://www.mitecnologico.com/Main/ReglasDeInferencia Consulta: 16/01/2012

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.

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.