'Modus ponens' est une forme de raisonnement élémentaire le plus utilisé dans les preuves:
Voici son schéma:
P1 P
P2 P ⇒ Q

∴  C Q
Si P est vraie et si P ⇒ Q est vraie alors Q est vraie.