Ejemplos de Reglas De Inferencia
Las Reglas de Inferencia son construcciones lógicas utilizadas para construir razonamientos correctos.
Para lograr la demostración de un argumento que puede ser una hipótesis o teoría, se parte de argumentos pequeños que son válidos y mediante la aplicación de las Reglas de Inferencia se logra construir un argumento más grande que resulta válido.
Ejemplos de Reglas de Inferencia:
Modus Ponens o Modo de Afirmación: Esta regla de inferencia establece que si se tiene una expresión condicional se puede afirmar el consecuente en base a la afirmación del antecedente.
Por ejemplo: Si realizo ejercicio todos los días entonces bajo de peso.
He realizado ejercicio todos los días, por lo tanto he bajado de peso.
Modus Tollens o Modo de Negación: Esta Regla de Inferencia establece que en una expresión condicional a partir de la negación del consecuente se conoce la negación del antecedente. Utilizando la expresión condicional del ejemplo anterior se tiene:
No bajé de peso, por lo tanto, no realicé ejercicio todos los días.
Otro ejemplo de Modus Tollens:
Si Pedro se levanta tarde, entonces no irá a trabajar
Pedro está trabajando, entonces no se levantó tarde.
Modus Tollendo Ponens o Modo que Negando Afirma: Esta regla de inferencia es aplicada en silogismos disyuntivos y se obtiene la afirmación de un argumento de la disyunción a partir de la negación del otro. Por ejemplo si se tiene el siguiente silogismo disyuntivo:
O voy a trabajar o voy de vacaciones.
No voy de vacaciones, por lo tanto, voy a trabajar.
Otro ejemplo de Modus Tollendo Ponens es:
O como carne de pollo o como carne de pescado.
Como pescado, por lo tanto no como pollo.
Silogismo Hipotético: Mediante esta regla de inferencia se aplica a silogismos que se basan en hipótesis y que de acuerdo a la afirmación o negación de una de ellas. es posible determinar la verdad de la otra.
Por ejemplo: Si Pedro termina su proyecto a tiempo le darán un bono.
Si Pedro gana un bono entonces cambia su teléfono.
Luego infiero que si Pedro cambió su teléfono es porque termino su proyecto a tiempo.