Sistema Deductivo

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un aparato formal que consiste en un lenguaje formal junto con un conjunto de axiomas (o esquemas axiomáticos) y reglas de inferencia que determinan qué secuencias de fórmulas cuentan como derivaciones válidas de premisas a conclusiones.