Eða á táknmáli rökfræðinnar:
:P →→ Q
:¬¬Q
:⊢ ¬P
:⊢ ¬P
Þar sem ⊢ stendur fyrir rökfræðilega ályktun („Þess vegna er P ósönn“).
Eða með [[mengjafræði]]legri framsetningu:
:P ⊆⊆ Q
:x ∉∉ Q
:∴x∉x∉ P
(„P er hlutmengi Q. x er ekki í Q. Þess vegna er x ekki í P.“)
''Modus tollens'' röksemdafærslur urðu alræmdar þegar austurríski vísindaheimspekingurinn [[Karl Popper]] notaði slíka röksemdafærslu í tillögu sinni að svari við [[Tilleiðsluvandinn|tilleiðsluvandanum]].
== Heimild ==
* {{wpheimild | tungumál = en | titill = Modus tollens | mánuðurskoðað = 27. apríl | árskoðað = 2006}}
== Tengt efni ==
* ''[[Modus ponendo ponens]]'' (jákvæð játunarregla)
* ''[[Modus tollendo ponens]]'' (neikvæð játunarregla)
[[en:Modus tollens]]
[[es:Modus tollendo tollens]]
[[fa:نفی تالی]]
[[he:מודוס טולנס]]
[[it:Modus tollens]]