P. 1
Leyes de inferencia

Leyes de inferencia

|Views: 11.555|Likes:
Publicado porRima Abo Seid

More info:

Published by: Rima Abo Seid on Feb 07, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

03/20/2015

pdf

text

original

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.

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

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

242.703.381 Sección G Maturín.I: C. enero de 2012 .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.I: 25.I: C.732 22.148 24.I: C.708.823 20.

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

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. al ser relacionadas intelectualmente como abstracción. . De esta forma. esto se explicará a continuación mediante ejemplos. 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. permiten trazar una línea lógica de condición o implicación lógica entre las diferentes proposiciones.INTRODUCCIÓN Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje que.

. 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. Su objetivo es abreviar las demostraciones. Las reglas de inferencia no deben confundirse con las leyes lógicas o tautologías.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->