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

Es sei das arithmetische Alphabet ${}\{0,1,+,\cdot \}$ zusammen mit der Variablenmenge ${}\{x,y\}$ gegeben. Interpretiere den Ausdruck

$\forall x\exists y(x=y+y\vee x+1=y+y)$

unter den in Aufgabe angeführten Interpretationen und überprüfe die Gültigkeit.

Eine Lösung erstellen