Modus tollens
Geldige redeneervorm: als p dan q (premisse 1); niet q (premisse 2); dus niet p (conclusie). D.w.z. als een conditionele uitspraak waar is en haar consequens onwaar, dan is ook haar antecedens onwaar. (Enige verfijningen zijn weggelaten.)
