Natural Deduction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A proof-calculus technique that derives conclusions from premises by applying introduction and elimination rules for each logical connective and quantifier; proofs are structured as chains of rule applications rather than by instantiating axiom schemata.