Modus ponens

Modus ponens (lüh MP, lad k, modus ponendo ponens "jaatus(e järeldamine) jaatamise teel") on järeldusreegel kujul:

Eeldus: Kui A, siis B.

Eeldus: A.

Järeldus: B.

Näide

Eeldus: Kui öötaevas on pilvitu, siis on Suur Vanker näha.

Eeldus: Öötaevas on pilvitu.

Järeldus: Suur Vanker on näha.

Vaata ka

• modus tollens