Munur á milli breytinga „Neikvæð neitunarregla“

 

Eða á táknmáli rökfræðinnar:

Þar sem ⊢ stendur fyrir rökfræðilega ályktun („Þess vegna er P ósönn“).

 

Eða með [[mengjafræði]]legri framsetningu:

 

 

(„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]].

 

 

* ''[[Modus ponendo ponens]]'' (jákvæð játunarregla)

* ''[[Modus tollendo ponens]]'' (neikvæð játunarregla)

[[en:Modus tollens]]

[[es:Modus tollendo tollens]]

[[he:מודוס טולנס]]

[[it:Modus tollens]]