Aussagenlogik/Viele Variablen/Aufgabe/Lösung


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.