Modus tollens
Allikas: Vikipeedia
 |
Selles artiklis on õigekeele- või stiilivigu. Palun aita artiklit keeleliselt parandada. |
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äide [muuda]
- Eeldus: Kui päike paistab, siis on väljas valge.
- Eeldus: Väljas pole valge.
- Järeldus: Päike ei paista.
