Mostra la font per a Modus tollendo tollens

En lògica proposicional. forma d'[[argumentació]] vàlida que raona que donat un condicional, negant un cas del conseqüent  (''tollo'' vol dir negar) es pot negar vàlidament que sigui un cas l'antecedent. Vegeu-ne l'esquema: 

*A → B
*¬ B
*¬ A

*Si A, llavors B
*No B,
*Per tant, no A

Exemple: Si engego l'ordinador, em distrec; no estic distret, per tant, no he engegat l'ordinador.