肯定后件式

肯定前件式(Modus ponens)
形式为：

请注意：

形式为：

为肯定后件式的逻辑谬误(Fallacy of affirming the conclusion)，也就是说，先言前提肯定条件前提的后件，而结论肯定它的前件。举例来说，“如果他生病了，则他不来上班；他不来上班；所以他生病了。”这一推理是无效的，因为在条件前提中后件的真并不衍推前件的真。正确的形式应该从真蕴涵式的前件推出其后件，即是说，它应该具有肯定后件式的形式。