Logik/Modell/Maximal widerspruchsfrei/Beispiele/x und R/Aufgabe

Das Symbolalphabet $S$ bestehe aus einer einzigen Variablen $x$ und einem einzigen einstelligen Relationssymbol $P$ . Zeige, dass zu einer Interpretation $I$ die Gültigkeitsmenge $I^{⊨} \subseteq L^{S}$ keine Beispiele enthalten muss.