Modus ponens

If A, then B. A. So, B.

Modus tollens

If A, then B. Not B. So, not A.

Hypothetical syllogism

If A, then B. If B, then C. So, if A then C.

Disjunctive syllogism

Either A or B. Not A. So, B.

Either A or B. Not B. So, A.

Constructive dilemma

Either A or B. If A, then C. If B, then D. So, either C or D.