Quantoren und De Morgan

Kontraposition und logische Richtung · Abschnitt 11 von 64

Beweis

Der logische Abschluss

Kontraposition beweist die ursprüngliche Implikation, weil beide denselben Wahrheitswert besitzen. Die Umkehrung ist dagegen eine andere Aussage.