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.