# Category:Definitions/Natural Deduction

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.

## Pages in category "Definitions/Natural Deduction"

The following 10 pages are in this category, out of 10 total.