Modus ponens
Modus ponens (lühend MP; lad modus ponendo ponens) on tingimusloogikas kasutatav keeleline järeldusreegel, mis põhineb jaatusel. MP reegel väidab, et kui ülesandes pakutud eeldused vastavad tõele, siis on ka järeldus tõene.