Modus ponens
Allikas: Vikipeedia
 |
Selles artiklis on õigekeele- või stiilivigu. Palun aita artiklit keeleliselt parandada. |
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.
[redigeeri] Näide
- Eeldus: Kui öötaevas on pilvitu, siis on Suur Vanker näha.
- Eeldus: Öötaevas on pilvitu.
- Järeldus: Suur Vanker on näha.
