En lógica proposicional, modus ponendo ponens (en latín significa "la forma en que se afirma afirmando", generalmente abreviado MP o modus ponens) o eliminación del implica es una forma simple de argumento válido y regla de inferencia. Se puede resumir como "P entonces Q; P se afirma siendo verdad, por lo que, por tanto, Q debe ser verdad." La historia del modus ponens se remonta a la antigüedad.