Leyes de inferencia

Un argumento lógico esta compuesto por:

• Proposiciones y conectores

• Premisas y conclusión

• Premisas y razonamiento

• Leyes de inferencias y premisas

Las leyes de inferencia lógica permiten:

• Reconocer premisas

• Representar simbólicamente un argumento

• Representar en lenguaje natural un argumento

• Demostrar la validez de un argumento

La expresión "la forma en que se afirma afirmando" representa a la ley de inferencia

• Modus Ponendo Ponens

• Modus Tollendo Tollens

• Silogismo hipotético

• Modus Ponendo Tollens

En la ley de inferencia del Silogismo Hipotético (SH) se hace uso del conector

• Si,...entonces..

• Conjunción

• si y solo si

• Disyunción

La ley de inferencia que permite dar dos conclusiones válidas es:

• Modus Ponendo Ponens

• Silogismo Hipotético

• Simplificación

• Adjunción

La inferencia lógica permite el razonamiento:

• Matemático

• Deductivo

• Inductivo

• Científico

La ley de inferencia de la Adición, se hace uso del conector:

• "y" - Conjunción

• "Si, ...entonces..." - Condicional

• "No" - Negación

• "o" - Disyunción

En la ley de simplificación disyuntiva (SD) podemos encontrar

• Tres premisas y los conectores "o" y "Si...entonces"

• Tres premisas y el conector "Si...entonces"

• Una conclusión que tiene el conector "o"

• Dos premisas y el conector "si y solo si"

Si tengo la premisa "No es cierto que hoy no es martes", aplicando la ley de la "Doble negación" puedo concluir que:

• Por lo tanto, no es cierto que hoy es martes

• Por lo tanto, hoy es martes

• Por lo tanto, mañana será martes

• Por lo tanto, hoy no es martes

En la ley de inferencia del Modus Tollendo Ponens, es necesario que en la segunda premisa se encuentre una:

• Proposición

• Negación

• Disyunción

• Conjunción