Logic for Test One Flashcards
1
Q
If A then B A Therefore B
A
Modus Ponens (MP)
2
Q
If A then B B is not true Therefore A is not true
A
Modus Tollens (MT)
3
Q
Either A or B B is not true Therefore A
A
Disjunctive Syllogism (DS)
4
Q
If A then B If B then C Therefore, If A then C
A
Hypothetical Syllogism (HS)
5
Q
If A then B If C then B Either A is true or C is true Therefore B is true or D is true
A
Constructive Dilemma (CD)
6
Q
If A then B If C then D Either B is False or D is False Therefore A is False or C is False
A
Destructive Dilemma (DD)
7
Q
If A then B B is true Therefore A is true
A
Affirming Consequent (AC) INVALID
8
Q
If A then B A is not true Therefore B is not true
A
Denying the Antecedent (DA) INVALID
9
Q
T–>T
A
True
10
Q
T–>F
A
False
11
Q
F–>T
A
True
12
Q
F–>F
A
True
13
Q
F v F
A
False
14
Q
F ^ F
A
False
15
Q
A
AC invalid
16
Q
A
HS vaild
17
Q
A
MP valid
18
Q
A
DA invalid
19
Q
A
MT valid
20
Q
A
CD Valid
21
Q
A
DS Valid
