Modus tollens
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.