Modus tollens

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

Eeldus: Kui päike paistab, siis on väljas valge.

Eeldus: Väljas pole valge.

Järeldus: Päike ei paista.

Vaata ka

• modus ponens