In propositional logic, modus ponendo ponens (Latin for "the way that affirms by affirming"; often abbreviated to MP or modus ponens) or implication elimination is a valid, simple argument form and rule of inference. It can be summarized as "P implies Q; P is asserted to be true, so therefore Q must be true."

Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird.

Le modus ponens est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite l'antécédent (« or, A ») pour en déduire la vérité du conséquent (« donc B »). Le terme modus ponens (ou plus exactement modus ponendo ponens) vient du fait qu'on pose A (ponens est le participe présent de verbe latin ponere, poser) afin de tirer la conclusion.

Modus Ponendo Ponens (latin: metod för bekräftelse) är ett argumentationssteg som (obemärkt) görs i alla möjliga typer av resonemang. I logisk terminologi sägs Modus Ponendo Ponens vara ett exempel på en (satslogisk) härledningsregel.