Definition Modus Ponens (Propositional Logic) Modus ponens is the inference rule, for arbitrary formulas : Here, denotes implication.