Ausdrucksinterpretation/x oder x+1 gerade/Verschiedene Strukturen/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei das arithmetische Alphabet zusammen mit der Variablenmenge gegeben. Interpretiere den Ausdruck

unter den in Aufgabe

angeführten Interpretationen und überprüfe die Gültigkeit.
Eine Lösung erstellen