Logik/Modell/Maximal widerspruchsfrei/Beispiele/Fakt/Beweis/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet und eine -Interpretation auf einer Menge , wobei die Terminterpretation surjektiv sei. Zeige, dass die Gültigkeitsmenge maximal widerspruchsfrei ist und Beispiele enthält.

Zur Lösung, Alternative Lösung erstellen