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.

---