肯定後件式

肯定後件式（Affirming theconsequent）
形式為：
“如果是p則q；q；所以p”的邏輯謬誤，即是說，直言前提肯定條件前提的後件，而結論肯定它的前件。舉例來說，“如果他生病了，則他不來上班；他不來上班；所以他生病了。”這一推理是無效的，因為在條件前提中後件的真並不衍推前件的真。正確的形式應該從真蘊涵式的前件推出其後件，即是說，它應該具有形式“如果p則q；p；所以q”。中世紀邏輯學家將其稱為“modus ponens”，亦稱“肯定式”。