Reglas de Inferencia

Reglas de Inferencia

La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas.
En lógica, especialmente en lógica matemática, una regla deinferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
Una inferenciapuede ser: Inductiva, deductiva, transductiva y abductiva.
Inductiva ( de lo particular a lo general )
Aquí por ejemplo si durante la primera semana el maestro llega 10 minutos tarde, podemosconcluir que todo el semestre va a llegar tarde. Esta conclusión no necesariamente es válida porque puede ser que el maestro algún día llegue temprano. En general una inferencia inductiva es la que sedesprende de una o varias observaciones y en general no podemos estar seguros de que será verdadero lo que concluimos.
En este caso podemos mencionar el ejemplo el mentiroso: Un joven le dice a un amigo,tu todos los días dices mentiras, y él contesta, no es cierto, ayer en todo el día no dije una sola mentira.
Resumiendo, la inferencia inductiva es la ley general que se obtiene de la observación deuno o más casos y no se puede asegurar que la conclusión sea verdadera en general.
Deductiva ( de lo general a lo particular )
Cuando se conoce una ley general y se aplica a un caso particular, porejemplo se sabe que siempre que llueve hay nubes, concluimos que el día de hoy que está lloviendo hay nubes. También se conoce como inferencia deductiva cuando tenemos un caso que analiza todos losposibles resultados y de acuerdo a las premisas sólo hay una posible situación, en este caso decimos que la situación única es la conclusión. Es este caso estamos seguros de que si las premisas sonverdaderas entonces la conclusión también lo es.
En este caso se encuentran MPP: Modus Ponendo Ponens y MTT: Modus Tollendo Tollens que de acuerdo a la tabla de verdad de la condicional son dos formas...