Modus ponens
Allikas: Vikipeedia
 |
See artikkel ootab keeletoimetamist. |
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 | muuda lähteteksti]
- Eeldus: Kui öötaevas on pilvitu, siis on Suur Vanker näha.
- Eeldus: Öötaevas on pilvitu.
- Järeldus: Suur Vanker on näha.
