Aussagenlogik/Interpretation/Maximal widerspruchsfrei/Fakt/Beweis/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei die Sprache der Aussagenlogik zu einer Aussagenvariablenmenge und es sei eine Wahrheitsbelegung der Variablen mit zugehöriger Interpretation . Zeige, dass maximal widerspruchsfrei ist.

Zur Lösung, Alternative Lösung erstellen