Modus Ponens
If P, then Q
P
Therefore, Q
Modus Tollens
If P, then Q
Not Q
Therefore, not P
Categorical Syllogism
All As are Bs
X is an A
Therefore, X is a B
Hypothetical Syllogism
If P, then Q
If Q, then R
Therefore, if P, then R
Disjunctive Syllogism
P or Q
Not P
Therefore, Q