Logik/Modell/Maximal widerspruchsfrei/Beispiele/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet und eine -Interpretation auf einer Menge , wobei die Terminterpretation surjektiv sei.

Dann ist die Gültigkeitsmenge maximal widerspruchsfrei und enthält Beispiele.

Zum Beweis, Alternativen Beweis erstellen