Rules for natural deduction system. Defines both introduction and elimination rules for logical connectives.
Negation Introduction
Conjunction Introduction
Disjunction Introduction
Implication Introduction
Equivalence Introduction
Negation Elimination
Conjunction Elimination
Disjunction Elimination
Implication Elimination
Equivalence Elimination
Rules for natural deduction system. Defines both introduction and elimination rules for logical connectives.