Logic

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.