Modus tollens

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.

Siehe auch

• Modus ponens