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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Das Symbolalphabet bestehe aus einer einzigen Variablen und einem einzigen einstelligen Relationssymbol . Zeige, dass zu einer Interpretation die Gültigkeitsmenge keine Beispiele enthalten

muss.
Eine Lösung erstellen