Aussagenlogik/Viele Variablen/Aufgabe/Lösung
Erscheinungsbild
Die Aussage ist von der Form
Wenn wahr ist, so ist die linke Alternative wahr. Wenn falsch ist, so ist der Vordersatz der rechten Implikation falsch und damit diese Implikation wahr. In diesem Fall ist also auch die Gesamtaussage wahr.
Eine Wahrheitstabelle ist hier nicht sinnvoll, da dort
Kombinationen durchprobiert werden müssten, die entscheidende Fallunterscheidung aber nur von abhängt.