1.

Leyes o Reglas de Inferencia
Las leyes de inferencia son mecanismos sintácticos que permiten deducir y razonar lógica y coherentemente una inferencia o conclusión 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 más conocidas Algunas de las leyes de inferencia más conocidas son las siguientes:

 Modus ponendo ponens (PP): Es conocida como la regla de la afirmación del antecedente, es el condicional o implicación, la cual establece entre dos enunciados una relación de causa-efecto. La regla “ponendo ponens” significa, “afirmando afirmo” y en un condicional se establece que, si el antecedente (primer término) se afirma, necesariamente se afirma el consecuente (segundo término).

Un ejemplo puede ser: P = Llueve . Q = Las calles de mojan. → = Es el condicional. P→Q P
(Proposición)

“Si llueve, entonces las calles se mojan” (Proposición)
“Llueve”

-----------------------------------------------------------------Q “Entonces, las calles se mojan” (Conclusión)

 Modus ponendo tollens (PT): Es conocida como la negación del consecuente. Esta ley quiere decir que si de un condicional, aparece como proposición 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 válida. Por ejemplo:

P = María está despierta. Q = María esta en clases. → = Es el condicional.

entonces se cansará” (Conclusión) . P→Q “Si el María está en la playa. Ejemplo de ello es: P = Fui al cine. R = María se cansará. v = Es la elección (o una proposición o la otra) PvQ “Me fui al cine o me fui de compras” (Proposición) P “No fui al cine” (Proposición) -------------------------------------------------------------Q “Por tanto. me fui de compras” (Conclusión)  Silogismo hipotético (SH): Se conoce como razonamiento en cadena. Un ejemplo es: P = María está en la playa. del mismo modo que. entonces estará cansada” (Proposición) ----------------------------------------------------------------------P→R Por ello “Si María está en la playa. si una bola de billar roja golpea a otra bola blanca que a su vez golpea a una bola negra. es decir. la bola roja es causa del movimiento de la bola negra. se puede decir que esa primera causa es causa de esa segunda consecuencia. María no está en clases” (Conclusión)  Modus tollendo ponens (TP): Se conoce como la ley de negación del antecedente. la verdad de ambos enunciados no es incompatible o bien ambos no pueden ser falsos. Q = Me fui de compras. Esto quiere decir que si una causa se sigue una consecuencia.P→Q “Si María esta despierta. Ahora bien. Q = María esta nadando. entonces esta en clases” (proposición) P “María no está despierta” (Proposición) -----------------------------------------------------------------Q “Entonces. Esta ley representa una elección entre dos enunciados. entonces esta nadando” (Proposición) Q→R “Si María esta nadando. y ésta consecuencia es a su vez causa de una segunda consecuencia. forma parte de las posibilidades escoger ambos enunciados. en esa elección.

los edificios se caen” PvR “Llueve la tierra tiembla” (Proposición) (Proposición) (Proposición) -------------------------------------------------------------Q v S “Las calles se mojan o los edificios se caen” (Conclusión) . entonces las calles se mojan” R→S “Si la tierra tiembla. Dadas tres proposiciones. podemos plantear una elección igualmente entre sus dos posibles efectos. Lógicamente. Silogismo Disyuntivo (SD): Se conoce como la ley de negación de la afirmación. si planteamos una elección entre dos causas. dos de ellas implicaciones. podemos concluir en una nueva proposición en forma de disyunción. Q = Las calles se mojan. y la tercera una disyunción cuyos miembros sean los antecedentes de los condicionales. que es el sentido de esta regla. S = Los edificios se caen. cuyos miembros serían los consecuentes de las dos implicaciones. P→Q “Si llueve. P = Llueve. R = La tierra tiembla.

865.REPÚBLICA BOLIVARIANA DE VENEZUELA INSTITUTO UNIVERSITARIO POLITÉCNICO “SANTIAGO MARIÑO” EXTENSIÓN MATURIN LEYES DE INFERENCIA Profesora: Renny Montaño Karina Abo Seid Gustavo Álvarez Kevin Barreto Cristina López Realizado por: C.703.148 24.708.732 22.242. enero de 2012 .I: C.I: C.I: 25.I: C.823 20.381 Sección G Maturín.

net/leonardobernalzamora/reglas-de- Consulta: 16/01/2012 GOMEZ. F.BIBLIOGRAFÍA BERNALZAMORA. L. SlideShare. (2008).com/Main/ReglasDeInferencia Consulta: 16/01/2012 .slideshare. Mi Tecnológico. (2010).mitecnologico. [Documento en Línea] Disponible: http://www. [Documento en Línea] Disponible: inferencia http://www.

esto se explicará a continuación mediante ejemplos. De esta forma. .INTRODUCCIÓN Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje que. partiendo de la verdad o falsedad posible (como hipótesis) o conocida (como argumento) de alguna o algunas de ellas. puede deducirse la verdad o falsedad de alguna o algunas de las otras proposiciones. al ser relacionadas intelectualmente como abstracción. permiten trazar una línea lógica de condición o implicación lógica entre las diferentes proposiciones. Es por ello que las leyes de inferencia nos permiten facilitar el análisis de argumentos sólidamente validos de una manera más sencilla.

Su objetivo es abreviar las demostraciones.CONCLUSIÓN Las leyes de inferencia son reglas que nos sirven para probar que a partir de unas proposiciones dadas es posible hacer la demostración para una conclusión específica. Las reglas de inferencia no deben confundirse con las leyes lógicas o tautologías. . puesto que éstas no pertenecen al metalenguaje del cálculo.

Sign up to vote on this title
UsefulNot useful