1

Modus ponens

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

2

Modus tollens

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

3

Hypothetical syllogism

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

4

Disjunctive syllogism

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

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

5

Constructive dilemma

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