Modus tollens

Allikas: Vikipeedia

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 | redigeeri lähteteksti]

Eeldus: Kui päike paistab, siis on väljas valge.
Eeldus: Väljas pole valge.
Järeldus: Päike ei paista.

Vaata ka[muuda | redigeeri lähteteksti]