Système Déductif

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un dispositif formel constitué d'un langage formel accompagné d'un ensemble d'axiomes (ou schémas d'axiomes) et de règles d'inférence qui déterminent quelles suites de formules constituent des dérivations valides des prémisses aux conclusions.