Mostra la font per a Modus ponendo ponens

En lògica proposicional.  forma d'[[argumentació]] vàlida que raona que donat un condicional, afirmant un cas de l'antecedent (''pono'' vol dir afirmar) es pot afirmar vàlidament un cas del conseqüent. Vegeu-ne l'esquema:

*A → B
*A
*B


*Si A, llavors B,
*A,
*Per tant, B

Exemple: Si engego l'ordinador em distrec; he engegat l'ordinador, per tant, em distrec.