neitunarháttur

Etymology
From.

Noun

 * 1)  modus tollens; a valid form of argument in which the consequent of a conditional proposition is denied, entailing the denial of the consequent:
 * 1. If P, then Q.
 * 2. Not Q.
 * 3. Therefore, not P.

Related terms

 * , (modus ponens)