Modus ponens

Modus ponens (lühend MP; lad modus ponendo ponens) on tingimusloogikas kasutatav keeleline järeldusreegel, mis põhineb jaatusel. MP reegel väidab, et kui ülesandes pakutud eeldused vastavad tõele, siis on ka järeldus tõene.

Modus ponens'i reegel

MP lausetes kehtib järgmine eelduste ja järelduste vaheline kooskõla:

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

  1. ↑ "Definition of MODUS PONENS". www.merriam-webster.com (inglise). Vaadatud 13. märtsil 2023.
  2. 1 2 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.