Aussagenlogik/Einige Tautologien/1/Beispiel

Der Ausdruck

genannt Kontraposition, ist eine Tautologie (unabhängig davon, ob Aussagenvariablen oder Aussagen bezeichnen). Um dies nachzuweisen, muss man den Wahrheitswert dieses Ausdruckes bei jeder Wahrheitsbelegung berechnen, was wir mit einer Wahrheitstabelle durchführen.

Kontraposition
w w w f f w w
w f f f w f w
f w w w f w w
f f w w w w w

Dagegen ist der Ausdruck

keine Tautologie, da wir in Beispiel eine Wahrheitsbelegung mit dem Gesamtwert angegeben haben.