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.