肯定後件式

肯定前件式(Modus ponens)

形式為：

請注意：

形式為：

也就是説，舉例來説，“如果他生病了，則他不來上班；他不來上班；所以他生病了。”這一推理是無效的，因為在條件前提中後件的真並不衍推前件的真。正確的形式應該從真藴涵式的前件推出其後件，即是説，它應該具有肯定後件式的形式。