Chapter 3 - Proofs Flashcards
0
Q
Modus tollens (MT)
A
A ) B Or. ~A ) ~B
~ B. B
——- ———
~ A A
1
Q
Modus ponens (MP)
A
A ) B
A
———
B
2
Q
Disjunctive syllogism (DS)
A
A v B. Or. A v B
~B. ~A
——– ——–
A B
3
Q
Hypothetical syllogism (HS)
A
A ) B
B ) C
——-
A ) C
4
Q
Simplification (simp)
A
A • B Or. A • B
——- ——-
A. B
5
Q
Dilemma (dil)
A
A ) B C ) D A v C ------- B v D
6
Q
Conjunction (conj)
A
A
B
——
A • B
7
Q
Disjunction introduction (DI)
A
A v B
