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.

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

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

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.865. enero de 2012 .381 Sección G Maturín.148 24.703.823 20.I: C.708.I: 25.I: C.732 22.242.I: C.

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

puede deducirse la verdad o falsedad de alguna o algunas de las otras proposiciones. permiten trazar una línea lógica de condición o implicación lógica entre las diferentes proposiciones. De esta forma.INTRODUCCIÓN Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje que. 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. . partiendo de la verdad o falsedad posible (como hipótesis) o conocida (como argumento) de alguna o algunas de ellas. esto se explicará a continuación mediante ejemplos. al ser relacionadas intelectualmente como abstracción.

puesto que éstas no pertenecen al metalenguaje del cálculo.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. . Su objetivo es abreviar las demostraciones.

Sign up to vote on this title
UsefulNot useful