Modus ponens

Allikas: Vikipeedia

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[muuda | redigeeri lähteteksti]

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

Vaata ka[muuda | redigeeri lähteteksti]