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

Aus Wikiversity

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.