Modus ponens 中文：肯定前件例子：如果今天下雨，那我就带伞。今天下雨了。所以，我带伞。 Modus tollens 中文：否定后件例子：如果今天下雨，那我就带伞。我没带伞。所以，今天没下雨。 Hypothetical syllogism 中文：假言三段论例子：如果我饿了，我会吃饭。如果我吃饭，我会喝水。所以，如果我饿了，我会喝水。 Disjunctive syllogism