modus ponens

Modus ponendo ponens (Latijn: wijs die door te stellen (bevestigen) [iets] stelt (bevestigt), ponere→"(neer) zetten") is een geldige propositionele redeneringsvorm (wel afgekort tot MP) met twee premissen, waarvan de eerste een voorwaardelijke uitspraak is:

Als P, dan Q.

P.

Dus Q.