Modus tollens
Aus Wiki.sah
Eigentlich Modus tollendo tollens "Modus des Aufhebens". Modus tollens ist eine logische Schlussregel, die besagt, dass aus einer Voraussetzung nicht B und wenn A, dann B auf nicht A geschlossen werden kann.
Beispiel
Wenn die Sonne scheint, ist es hell
beweist nicht, dass
wenn es hell ist, die Sonne scheint.