Aussagenlogik/Interpretation/Maximal widerspruchsfrei/Fakt

Aus Wikiversity

Zur Navigation springen Zur Suche springen

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

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Aussagenlogik/Interpretation/Maximal_widerspruchsfrei/Fakt&oldid=837986“

Modelltheorie der Aussagenlogik/Fakten