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.