Règle D'Inférence

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un schéma ou un modèle qui permet de déduire une formule conclusion à partir d'une ou plusieurs formules prémisses dans un système déductif ; les règles d'inférence spécifient les pas admis dans les preuves formelles.