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

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

modus tollens

Viited

↑ "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.

[1] "Definition of MODUS PONENS". www.merriam-webster.com (inglise). Vaadatud 13. märtsil 2023.

[:0-2] 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.

[1]

[2]