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.