Modus ponens on järeldusreegel kujul: kui A-st järeldub B ja A on tõene, siis on tõene ka B.
Kategooriad: Loogika