Category:Natural Deduction

This category contains results about Natural Deduction.
Definitions specific to this category can be found in Definitions/Natural Deduction.

Natural deduction is a technique for deducing valid sequents from other valid sequents by applying precisely defined proof rules, by a technique called logical inference.

As such, natural deduction forms a proof system, which is focused on practical applicability.