Aussagenlogik/Viele Variablen/Aufgabe/Lösung

Die Aussage ist von der Form

$p\vee (p\to \alpha ).$

Wenn $p$ wahr ist, so ist die linke Alternative wahr. Wenn $p$ 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  $2^6=64$ 

Kombinationen durchprobiert werden müssten, die entscheidende Fallunterscheidung aber nur von $p$ abhängt.

Zur gelösten Aufgabe