DISJUNCTIVE SYLLOGISM
If P, then Q. If Q, then R. Therefore, if P then R.
MODUS PONENS
If P then Q. P, therefore Q.
MODUS TOLLENS
If P then Q. Not Q, therefore not P.
HYPOTHETICAL SYLLOGISM
P or Q. Not P. Therefore Q.
DISJUNCTIVE SYLLOGISM
If P, then Q. If Q, then R. Therefore, if P then R.
MODUS PONENS
If P then Q. P, therefore Q.
MODUS TOLLENS
If P then Q. Not Q, therefore not P.
HYPOTHETICAL SYLLOGISM
P or Q. Not P. Therefore Q.