En calcul des propositions, le modus ponens (ou modus ponendo ponens  ou détachement) est une règle d'inférence, qui peut être résumé de la manière suivante: " P implique que Q et P soient déclarés vrais, donc Q doit être vrai."