Category:Axioms/Natural Deduction
(Redirected from Category:Natural Deduction Axioms)
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.