Modus tollens (lüh MT, lad modus tollendo tollens) on tingimusloogikas kasutatav keeleline järeldusreegel, mis põhineb eitusel. MT reegel väidab, et kui ülesandes pakutud eelduste kohaselt ei pea paika lause teine pool, ei vasta tõele ka lause esimene pool.[1]
Modus tollens'i reegel
MT lausetes kehtib järgmine eelduste ja järelduste vaheline kooskõla[2]:
- Eeldus: Kui A, siis B.
- Eeldus: Ei pea paika, et B.
- Järeldus: Ei pea paika, et A.
Näide
Järgnev näide demonstreerib modus tollens'il põhineva loogikaülesande korrektset käiku:
- Eeldus: Kui päike paistab, siis on väljas valge.
- Eeldus: Väljas ei ole valge.
- Järeldus: Päike ei paista.
Vaata ka
Viited
- ↑ "Definition of MODUS TOLLENS". www.merriam-webster.com (inglise). Vaadatud 13. märtsil 2023.
- ↑ 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.