Modus ponens
From Wikipedia, the free encyclopedia
Remove ads
Modus ponens (lühend MP; lad modus ponendo ponens) on tingimusloogikas kasutatav keeleline järeldusreegel, mis põhineb jaatusel.[1] MP reegel väidab, et kui ülesandes pakutud eeldused vastavad tõele, siis on ka järeldus tõene. [2]
Modus ponens'i reegel
MP lausetes kehtib järgmine eelduste ja järelduste vaheline kooskõla[2]:
- Eeldus: Kui A, siis B.
- Eeldus: A kehtib.
- Järeldus: B kehtib.
Näide
Järgnev näide demonstreerib modus ponens'il põhineva loogikaülesande korrektset käiku:
- Eeldus: Kui öötaevas on pilvitu, siis on Suurt Vankrit näha.
- Eeldus: Öötaevas on pilvitu.
- Järeldus: Suurt Vankrit on näha.
Vaata ka
Viited
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads