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

Man gebe ein Beispiel für eine widerspruchsfreie, unter Ableitungen abgeschlossene Ausdrucksmenge ${}\Gamma \subseteq L^{S}$ derart, dass für die konstruierte Interpretation ${}I$ nicht ${}\Gamma \subseteq I^{\vDash }$ gilt.