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

Es sei ${}L^{V}$ die Sprache der Aussagenlogik zu einer Aussagenvariablenmenge ${}V$ und es sei ${}\lambda$ eine Wahrheitsbelegung der Variablen mit zugehöriger Interpretation ${}I$. Zeige, dass ${}I^{\vDash }$ maximal widerspruchsfrei ist.

Zur Lösung, Alternative Lösung erstellen