Category:Definitions/Natural Deduction

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Natural Deduction.
Related results can be found in Category:Natural Deduction.


Natural deduction is a technique for deducing valid sequents from other valid sequents by applying precisely defined proof rules, each of which themselves are either "self-evident" axioms or themselves derived from other valid sequents, by a technique called logical inference.