Definition:Natural Deduction/Derived Rules

Definition
In practically working with natural deduction, the following derived rules are useful.