Modus tollens: verschil tussen versies

of in [[logische operatoren|logische-operatornotatie]]:

 

 

Of, in de notatie van de [[verzamelingenleer]]:

 

 

("P is een deelverzameling van Q. x is niet in Q. Dus, x is niet in P.")