El modus ponendo ponens (latín: "el modo que, al afirmar, afirma", también llamado modus ponens, eliminación de la implicación o regla de separación"," y generalmente abreviado MP) es una forma de argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional.