Widerspruchsfreie Ausdrucksmenge/Nicht in Gültigkeitsmenge des kanonischen Modells/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Man gebe ein Beispiel für eine widerspruchsfreie, unter Ableitungen abgeschlossene Ausdrucksmenge derart, dass für die konstruierte Interpretation

nicht gilt.
Eine Lösung erstellen