Aussagenlogik/Interpretation/Maximal widerspruchsfrei/Fakt

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$.

Dann ist ${}I^{\vDash }$ maximal widerspruchsfrei.

Zum Beweis, Alternativen Beweis erstellen