Aussagenlogik/Allgemeingültig/1/Aufgabe/Lösung
Wir müssen zeigen, dass für jede Wahrheitsbelegung der Variablen der Wahrheitswert der Gesamtaussage gleich ist. Bei ist und damit ist der Nachsatz und die Gesamtaussage wahr. Es sei also im Folgenden . Dann ist . Bei ist der Vordersatz falsch und somit die Gesamtaussage wahr. Es sei also . Dann ist der Vordersatz wahr und wir müssen zeigen, dass auch der Nachsatz wahr ist. Es ist dann und ,
also ist auch in diesem Fall der Nachsatz und die Gesamtaussage wahr.