Natural Deduction Rules Flashcards
1
Q
∧I
A
Conjunction Introduction
2
Q
∧E
A
Conjunction Elimination
3
Q
→E
A
Conditional Elimination
4
Q
→I
A
Conditional Introduction
5
Q
↔I
A
Biconditional Introduction
6
Q
↔E
A
Biconditional Elimination
7
Q
∨I
A
Disjunction Introduction
8
Q
∨E
A
Disjunction Elimination
9
Q
¬E
A
Negation Elimination
10
Q
¬I
A
Negation Introduction
11
Q
X
A
X-PLOSION Rule (aka ⊥-Elimination)
12
Q
TND
A
Tertium non Datur (No third way)
13
Q
R
A
Reiteration
14
Q
DS
A
Disjunctive Syllogism
15
Q
MT
A
Modus Tollens
