Arithmetischer Ausdruck/Quantorenfrei/Eine Variable/Erfüllungsmenge ist entscheidbar/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein Ausdruck in der Sprache der Arithmetik (mit den Konstanten , den Funktionssymbolen und dem Relationssymbol ), der keine Quantoren enthält und nur eine einzige Variable .

Zeige: Die Menge aller die erfüllen, d.h.

ist entscheidbar.
Eine Lösung erstellen