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.