Modus tollens

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 19. helmikuuta 2021 tarkistetusta versiosta . tarkastukset vaativat 2 muokkausta .

Modus tollens - päättely päinvastaisesta (latinaksi "modus tollendo tollens" tarkoittaa "poikkeuksellisen poissulkemisen tapaa").

Tallennusmuoto: . ${\frac {P\to Q~,~~\neg Q}{\neg P))$

Esimerkiksi — "kultakolikko", - "kolikkoa ei voi murskata hampailla" [1] , niin modus tollens antaa mahdollisuuden päätellä ominaisuudesta: "kultakolikoita ei voi murskata hampailla", että jos kolikkoa ei voi murskata hampaiden murskaama ( ), silloin se ei ole kultaa ( ). $P$ $K$ $\neg Q$ $\neg P$

Muistiinpanot

↑ Aidot kultakolikot valmistettiin kuparin seoksesta, mikä varmisti niiden kovuuden ja vähäisen kulumisen. Rypistyminen osoitti lyijyväärennösten, katso Mitä kolikon pureminen todistaa? // John Lloyd, John Mitchinson. QI: Yleisen tietämättömyyden toinen kirja. Faber & Faber, 2010, s. 73 .

Modus tollens

Muistiinpanot

Katso myös