Regla de inferencia
De Wikipedia, la enciclopedia libre
Esta página está siendo traducida del idioma inglés a partir del artículo Rule of inference, razón por la cual puede haber lagunas de contenidos, errores sintácticos o escritos sin traducir. Puedes colaborar con Wikipedia continuando con la traducción desde el artículo original |
En lógica, especialmente en lógica matemática, una regla de inferencia 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.
Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones 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 el 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 aserciones de las reglas de inferencia y las reglas de inferencia en sí mismas.
Para información sobre la interrelación entre reglas de inferencia y semántica, véase el artículo de lógica proposicional.
El contenido de esta página es un esbozo sobre lógica matemática. Ampliándolo ayudarás a mejorar Wikipedia. Puedes ayudarte con las wikipedias en otras lenguas. |