Rules of Inference Flashcards
1
Q
p & q
∴ p
A
Simplification (Simp)
2
Q
Simplification (Simp)
A
p & q
∴ p
3
Q
p v q
~p
∴ q
A
Disjunctive Syllogism (DS)
4
Q
Disjunctive Syllogism (DS)
A
p v q
~p
∴ q
5
Q
p
q
∴ p & q
A
Conjugation (Conj)
6
Q
Conjugation (Conj)
A
p
q
∴ p & q
7
Q
p
∴ p v q
A
Addition (Add)
8
Q
Addition (Add)
A
p
∴ p v q
9
Q
Idempotence (Idemp)
A
p v p
∴ p
10
Q
p v p
∴ p
A
Idempotence (Idemp)
11
Q
p → q
p
∴ q
A
Modus Ponens (MP)
12
Q
Modus Ponens (MP)
A
p → q
p
∴ q
13
Q
p → q
~q
∴ ~p
A
Modus Tollens (MT)
14
Q
Modus Tollens (MT)
A
p → q
~q
∴ ~p
15
Q
p → q
q → r
∴ p → r
A
Hypothetical Syllogism (HP)
