Upload
rima-abo-seid
View
10.446
Download
0
Embed Size (px)
Citation preview
5/12/2018 Leyes de inferencia - slidepdf.com
http://slidepdf.com/reader/full/leyes-de-inferencia 1/7
1. Leyes o Reglas de Inferencia
Las leyes de inferencia son mecanismos sintácticos que permiten deducir yrazonar lógica y coherentemente una inferencia o conclusión a partir dehechos que ya conocemos.
Realizar inferencias significa derivar nuevos hechos a partir de un conjuntode 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 cualestablece entre dos enunciados una relación de causa-efecto. Laregla “ponendo ponens” significa, “afirmando afirmo” y en uncondicional 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 “Si llueve, entonces las calles se mojan” (Proposición)P “Llueve”
(Proposición)------------------------------------------------------------------
Q “Entonces, las calles se mojan” (Conclusión)
Modus ponendo tollens (PT): Es conocida como la negación delconsecuente. Esta ley quiere decir que si de un condicional, aparececomo proposición el consecuente negado (el efecto), eso nosconduce a negar el antecedente (la causa), puesto que si un efectono 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.
5/12/2018 Leyes de inferencia - slidepdf.com
http://slidepdf.com/reader/full/leyes-de-inferencia 2/7
P→Q “Si María esta despierta, entonces esta en clases” (proposición)
P “María no está despierta” (Proposición)
------------------------------------------------------------------Q “Entonces, María no está en clases” (Conclusión)
Modus tollendo ponens (TP): Se conoce como la ley denegación del antecedente. Esta ley representa una elección entre dosenunciados. Ahora bien, en esa elección, forma parte de lasposibilidades escoger ambos enunciados, es decir, la verdad deambos 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 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 encadena. Esto quiere decir que si una causa se sigue unaconsecuencia, y ésta consecuencia es a su vez causa de una segundaconsecuencia, se puede decir que esa primera causa es causa de esasegunda consecuencia, del mismo modo que, si una bola de billarroja 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 ejemploes:
P = María está en la playa.Q = María esta nadando.R = María se cansará.
P→Q “Si el María está en la playa, entonces esta nadando” (Proposición)Q→R “Si María esta nadando, entonces estará cansada” (Proposición)-----------------------------------------------------------------------
P→R Por ello “Si María está en la playa, entonces se cansará” (Conclusión)
5/12/2018 Leyes de inferencia - slidepdf.com
http://slidepdf.com/reader/full/leyes-de-inferencia 3/7
Silogismo Disyuntivo (SD): Se conoce como la ley de negación dela afirmación. Dadas tres proposiciones, dos de ellas implicaciones, yla tercera una disyunción cuyos miembros sean los antecedentes delos condicionales, podemos concluir en una nueva proposición enforma de disyunción, cuyos miembros serían los consecuentes de lasdos implicaciones. Lógicamente, si planteamos una elección entredos causas, podemos plantear una elección igualmente entre sus dosposibles efectos, que es el sentido de esta regla.
P = Llueve.Q = Las calles se mojan.R = La tierra tiembla.S = Los edificios se caen.
P→Q “Si llueve, entonces las calles se mojan” (Proposición)R →S “Si la tierra tiembla, los edificios se caen” (Proposición)P v R “Llueve la tierra tiembla” (Proposición)--------------------------------------------------------------Q v S “Las calles se mojan o los edificios se caen” (Conclusión)
5/12/2018 Leyes de inferencia - slidepdf.com
http://slidepdf.com/reader/full/leyes-de-inferencia 4/7
REPÚBLICA BOLIVARIANA DE VENEZUELA
INSTITUTO UNIVERSITARIO POLITÉCNICO
“SANTIAGO MARIÑO”
EXTENSIÓN MATURIN
LEYES DE INFERENCIA
Profesora: Realizado por:
Renny Montaño Karina Abo Seid C.I: 25.242.148
Gustavo Álvarez C.I: 24.865.732Kevin Barreto C.I: 22.708.823Cristina López C.I: 20.703.381
Sección G
Maturín, enero de 2012
5/12/2018 Leyes de inferencia - slidepdf.com
http://slidepdf.com/reader/full/leyes-de-inferencia 5/7
BIBLIOGRAFÍA
BERNALZAMORA, L. (2010). SlideShare. [Documento en Línea]
Disponible: http://www.slideshare.net/leonardobernalzamora/reglas-de-inferencia
Consulta: 16/01/2012
GOMEZ, F. (2008). Mi Tecnológico. [Documento en Línea]
Disponible: http://www.mitecnologico.com/Main/ReglasDeInferencia
Consulta: 16/01/2012
5/12/2018 Leyes de inferencia - slidepdf.com
http://slidepdf.com/reader/full/leyes-de-inferencia 6/7
INTRODUCCIÓN
Una inferencia es una evaluación que realiza la mente entre expresiones
bien formadas de un lenguaje que, al ser relacionadas intelectualmentecomo abstracción, permiten trazar una línea lógica de condición oimplicación lógica entre las diferentes proposiciones. De esta forma,partiendo de la verdad o falsedad posible (como hipótesis) o conocida(como argumento) de alguna o algunas de ellas, puede deducirse la verdado falsedad de alguna o algunas de las otras proposiciones.
Es por ello que las leyes de inferencia nos permiten facilitar el análisis deargumentos sólidamente validos de una manera más sencilla, esto seexplicará a continuación mediante ejemplos.
5/12/2018 Leyes de inferencia - slidepdf.com
http://slidepdf.com/reader/full/leyes-de-inferencia 7/7
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 parauna conclusión específica. Su objetivo es ab re v ia r l asdemostrac iones.
Las reglas de inferencia no deben confundirse con las leyes lógicas otautologías, puesto que éstas no pertenecen al metalenguaje del cálculo.