Modus ponens
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[muuda | muuda lähteteksti]
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[muuda | muuda lähteteksti]
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[muuda | muuda lähteteksti]
Viited[muuda | muuda lähteteksti]
- ↑ "Definition of MODUS PONENS". www.merriam-webster.com (inglise). Vaadatud 13. märtsil 2023.
- ↑ 2,0 2,1 Ri, Yong-Sok (27. juuni 2017). "MODUS PONENS AND MODUS TOLLENS: THEIR VALIDITY/INVALIDITY IN NATURAL LANGUAGE ARGUMENTS". Studies in Logic, Grammar and Rhetoric (inglise). 50 (1): 253–267. DOI:10.1515/slgr-2017-0028. ISSN 2199-6059.