Category:Definitions/Natural Deduction
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, by a technique called logical inference.
As such, natural deduction forms a proof system, which is focused on practical applicability.
Subcategories
This category has only the following subcategory.
Pages in category "Definitions/Natural Deduction"
The following 12 pages are in this category, out of 12 total.