Definition:Natural Deduction/Rules of Inference

Remark
These rules are not all independent, in that it is possible to prove some of them using combinations of others. This owes to the intended practical applicability of natural deduction.

Also known as
Some sources refer to the rules of inference of natural deduction as elementary valid argument forms or as axioms of natural deduction.