Final Study Flashcards
1
Q
p → q
p
∴ q
A
Modus ponens (MP)
2
Q
p → q
~q
∴ ~p
A
Modus tollens (MT)
3
Q
p → q
q → r
∴ p → r
A
Hypothetical syllogism (HS)
4
Q
p v q p v q
~p ~q
∴ q ∴ p
A
Disjunctive syllogism (DS)
5
Q
p v q
p → r
q → s
∴ r v s
A
Constructive dilemma (CD)
6
Q
p • q p • q
∴ p ∴ q
A
Simplification (Simp)
7
Q
p
q
∴ p • q
A
Conjunction (Conj)
8
Q
p q
∴ p v q ∴ q v p
A
Addition (Add)
9
Q
p → q
~p
∴ ~q
A
Denying the antecedent
Formal fallacy
10
Q
p → q
q
∴ p
A
Affirming the consequent
Formal fallacy
11
Q
p :: ~~p
A
Double Negation (DN)
12
Q
(p v q)::(q v p)
p • q)::(q • p
A
Commutation (Com)
13
Q
(p v (q v r)::((p v q) v r)
p • (q • r)) :: ((p • q) • r
A
Association (As)
14
Q
~(p • q) :: (~p v ~q)
~(p v q)::(~p • ~q)
A
DeMorgan’s Law (DeM)
15
Q
(p →q) :: (~q → ~p)
A
Contraposition (Cont)
