9 Elementary Valid Argument Forms Structures Flashcards
1
Q
p ⊃ q
p
∴ q
A
Modus Ponens
2
Q
p ⊃ q
~ q
∴ ~p
A
Modus Tollens
3
Q
Modus Tollens
A
p ⊃ q
~ q
∴ ~p
4
Q
Modus Ponens
A
p ⊃ q
p
∴ q
5
Q
p ⊃ q
q ⊃ r
∴ p ⊃ r
A
Hypothetical syllogism
6
Q
Hypothetical Syllogism
A
p ⊃ q
q ⊃ r
∴ p ⊃ r
7
Q
p V q
~ p
∴ q
A
disjunctive syllogism
8
Q
disjunctive syllogism
A
p V q
~ p
∴ q
9
Q
(p ⊃ q) * (r ⊃ s)
p V r
∴ q V s
A
Constructive Dilemma
10
Q
Constructive Dilemma
A
(p ⊃ q) * (r ⊃ s)
p V r
∴ q V s
11
Q
p ⊃ q
∴ p ⊃ (p * q)
A
Absorption
12
Q
Absorption
A
p ⊃ q
∴ p ⊃ (p * q)
13
Q
p * q
∴ p
A
Simplification
14
Q
Simplification
A
p * q
∴ p
15
Q
p
q
∴ p * q
A
Conjunction