Standard form argument patterns Flashcards
1
Q
Argument by Elimination
A
1.) Either P or Q.
2.) ~ P.
3.) therefore, Q.
________________________
1.) Either P or Q.
2.) ~Q.
3.) therefore, P.
2
Q
Conjunction Argument
A
- ) P
- ) Q
- ) therefore, P & Q.
3
Q
Simplification Argument
A
1.) P & Q.
2.) therefore, P.
_________________________
1.) P & Q.
2.) therefore, Q.
4
Q
Affirming the Antecedent (Modus Ponens)
A
- ) If P then Q.
- ) P.
- ) therefore, Q .
5
Q
Denying the Consequent (Modus Tollens)
A
- ) If P then Q.
- ) ~Q.
- ) therefore, ~P.
6
Q
Hypothetical syllogism
A
- ) If P then Q.
- ) If Q then R.
- ) therefore, If P then R.
7
Q
Contraposition
A
- ) If P then Q.
2. ) therefore, If ~Q then ~P.
8
Q
Equivalence
A
- ) P if and only if Q.
- ) ~P.
- ) therefore, ~Q.
9
Q
Universal Modus Ponens
A
- ) All As are Bs.
- ) x is an A.
- ) therefore, x is a B.
10
Q
Universal Modus Tollens
A
- ) All As are Bs.
- ) x is not a B.
- ) therefore, x is not an A.
11
Q
Universal hypothetical syllogism
A
- ) All As are Bs.
- ) All Bs are Cs.
- ) therefore, All As are Cs.
12
Q
Universal Ruling Out
A
- ) No As are Bs.
- ) x is an A.
- ) therefore, x is not a B.