Term
|
Definition
If P, then Q
P .
Therefore, Q |
|
|
Term
|
Definition
If P then Q
Not Q .
Therefore, not P |
|
|
Term
|
Definition
If P then Q
If Q then R
Therefore, if P then R |
|
|
Term
| Disjunctive Syllogism (or, Argument by Elimination) |
|
Definition
P or Q P or Q
Not P Not Q
Therefore, Q Therefore, P
This argument form says “we know one thing or another is the case; if it is not the first, it must be the second” and vice versa. |
|
|
Term
|
Definition
Either P or Q
If P then R
If Q then S
Therefore, R or S |
|
|
Term
|
Definition
If P, then Q
Q .
Therefore, P |
|
|
Term
|
Definition
If P, then Q
Not P
Therefore, not Q |
|
|
Term
|
Definition
|
|
