# 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.