Se puede resumir como "si "P" implica "Q; y" si "P" es verdad; entonces "Q" también es verdad." La historia del "modus ponendo ponens" se remonta a la antigüedad.