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

Es sei ${}S$ ein Symbolalphabet und ${}I$ eine ${}S$-Interpretation auf einer Menge ${}M$, wobei die Terminterpretation surjektiv sei. Zeige, dass die Gültigkeitsmenge ${}\Gamma =I^{\vDash }$ maximal widerspruchsfrei ist und Beispiele enthält.

Zur Lösung, Alternative Lösung erstellen