Ausdrucksmenge/Existenzaussage/Variablen/Keine Beispiele/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass es eine widerspruchsfreie, unter Ableitungen abgeschlossene Ausdrucksmenge geben kann, wobei die Variablenmenge aus , ,

besteht, derart, dass es einen Ausdruck mit und für alle gibt.
Eine Lösung erstellen