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

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

nicht gilt.