Regla de Inferencia
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Un esquema o plantilla que permite derivar una fórmula conclusión a partir de una o más fórmulas premisas dentro de un sistema deductivo; las reglas de inferencia especifican los pasos permitidos en las pruebas formales.