Definition:Natural Deduction/Rules of Inference

Definition
The proof system called natural deduction deals exclusively with the notion of provable consequence.

As such, it does not contain any axioms.

Practically, this means that any proof of natural deduction will start with premises or the.

The complete list of rules of inference of natural deduction is as follows:

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.