Please enable JavaScript.
Coggle requires JavaScript to display documents.
Inferencia y Demostracion - Coggle Diagram
Inferencia y Demostracion
Una inferencia lógica es el proceso de obtención de una proposición a partir de otra u otras proposiciones dadas, a las cuales se aplican reglas de inferencia, de tal manera que la conclusión sea consecuencia lógica de las premisas.
• Premisa: proposición verdadera o que se supone que es verdadera.
• Conclusión: proposición que debe deducirse y que debe ser verdadera.
Las leyes y las reglas corresponden a enunciados de la lógica. Aparentemente significan lo mismo; sin embargo tienen sus diferencia
Modus Ponendo Ponens –MPP
Modus Tollendo Tollens –MTT
Modus Tollendo Ponens –MTP
Regla de simplificación –RS
Regla de adición –RA
Regla de silogismo hipotético –RSH
Regla del dilema constructivo –RDC
Regla de simplificación disyuntiva –RSD
Regla de unión o adjunción –RU
Deducción Lógica
secuencia de finitas transformaciones que se realizan a partir de un conjunto finito de premisas, mediante la aplicación de reglas de inferencia, con el fin de llegar a una conclusión.
• Simbolice las proposiciones dadas (o premisas) teniendo en cuenta que una premisa termina con punto.
• 2. Enumere las premisas de manera consecutiva y al lado derecho escriba (p) para identificar que es una premisa.
• 3. Proceda a derivar la conclusión a partir de las premisas, tendiendo en cuenta que debe utilizar todas las premisas.
Demostración
es un razonamiento que establece la verdad de un enunciado denominado “teorema”. Es una redacción consistente de la veracidad o la falsedad de un enunciado
Demostración Directa: consiste en demostrar una proposición en la cual le afirman el condicional y la hipótesis (o antecedente) y se pretende demostrar la tesis (o consecuente)
Indirecto: Contradice la hipótesis en vista del supuesto que a es par. Por lo tanto, a es impar.