Modus tollens
See artikkel ootab keeletoimetamist. |
Modus tollens (lüh MT, lad k, modus tollendo tollens "eituse(e järeldamine) eitamise teel") on järeldusreegel kujul:
- Eeldus: Kui A, siis B.
- Eeldus: Ei pea paika, et B.
- Järeldus: Ei pea paika, et A.
NäideRedigeeri
- Eeldus: Kui päike paistab, siis on väljas valge.
- Eeldus: Väljas pole valge.
- Järeldus: Päike ei paista.