"Modus ponendo ponens" permite eliminar una sentencia condicional de una prueba lógica o argumento (los antecedentes) y por lo tanto no llevar estos antecedentes adelante en una cadena alargada y constante de símbolos.