Basándonos en la lógica matemática, una
regla de inferencia es un diseño para construir deducciones válidas de un conjunto de antecedentes. Estos diseños establecen relaciones sintácticas entre un conjunto de fórmulas llamados
premisas y una afirmación llamada
conclusión.
Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas afirmaciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica.
Como se mencionó, la aplicación de una regla de inferencia es un procedimiento puramente sintáctico. Sin embargo, debe también ser válido, o mejor dicho, preservar la validez. Para que el requisito de preservación de la validez tenga sentido, es necesaria una cierta forma semántica para las afirmaciones de las reglas de inferencia y las reglas de inferencia en sí mismas.
Tenemos algunas reglas de inferencia clásicas
Algunas de las reglas de inferencia más conocidas son:
En la lógica proposicional:
Modus ponendo ponens
Modus ponendo tollens
Modus tollendo ponens
Modus tollendo tollens
Silogismo hipotético
Silogismo disyuntivo
En la lógica de primer orden:
Regla de Generalización universal
En la lógica modal:
Regla de Necesitación
Quisiera hablar sobre Modus ponendo ponens y modus ponendo tollens
El modus PONENDO PONENS (en latín, modo que afirmando afirma), también llamado MODUS PONENS y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del MODUS PONENS podría ser:
A= deporte
B=saludable
Si hace deporte, entonces esta saludable.
Hace deporte.
Por lo tanto, esta saludable.
En lógica, el modus ponendo tollens (en latín, modo que afirmando niega) o MPT es una forma válida de argumento que dice:
O bien A, o bien B
A
Por lo tanto, no B
Por ejemplo, un razonamiento que sigue la forma del modus ponendo tollens podría ser:
A=nublado
B=despejado
O bien esta nublado, o bien esta despejado.
Esta nublado.
Por lo tanto, no esta despejado.
