Opna aðalvalmynd

Breytingar

m
robot Bæti við: fa:نفی تالی; kosmetiske ændringer
 
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]]
58.067

breytingar