La lógica y las inferencias en las ciencias formales
Clasificado en Informática
Escrito el en 
español con un tamaño de 619 bytes
La lógica es la ciencia que estudia los razonamientos deductivos válidos y correctos.
La deducción consiste en obtener una conclusión a partir de unas premisas de modo necesario, es decir, en virtud de las relaciones lógicas existentes entre ellas. Este tipo de razonamiento se utiliza en las llamadas ciencias formales (lógica y matemáticas).
¿Qué es una inferencia? Es una norma informativa que nos indica cómo se puede operar para transformar fórmulas y pasar de unas fórmulas a otras de manera correcta. Las reglas de inferencia suelen representarse en forma de esquema de inferencia.