Voleibol

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órmulasllamados 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 yaconocidas. 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 unprocedimiento 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 unacierta forma semántica para las aserciones de las reglas de inferencia y las reglas de inferencia en sí mismas.
Problemas, tratamiento de la información e inferencias
En todos los contextos de la vidahumana es necesario hacer inferencias: la resolución de los
problemas cotidianos, la deliberación práctica, la toma de decisiones para realizar alguna acción, la búsqueda
de una explicación, lapredicción de un evento futuro, la evaluación de una situación determinada. En todos
estos casos, los seres humanos tenemos la capacidad de extraer información a partir de la información
disponible. Estacapacidad de hacer inferencias es parte esencial de la inteligencia humana.
Existen dos situaciones típicas en las que se hacen inferencias (a) la resolución de problemas y (b) la
organización yprocesamiento de información. Así, en primer lugar, muchos son los problemas cuya
resolución exige hacer inferencias. Esto quiere decir que su resolución consiste en hacer una afirmación que
seinfiere (se extrae, se sigue) a partir de la información representada por los datos del problema. La
resolución de un problema parte de un estado inicial (los datos del problema) y hay otro estado al...