Category:Axioms/Natural Deduction

From ProofWiki
Jump to navigation Jump to search

This category contains axioms related to 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.

This category currently contains no pages or media.