N/Teilmengen/Endliche symmetrische Differenz/Entscheidbar/Aufgabe

Es seien ${}A,B\subseteq \mathbb {N}$ Teilmengen, deren symmetrische Differenz ${}A\mathop {\triangle } B$ endlich sei. Zeige, dass ${}A$ genau dann aufzählbar bzw. entscheidbar ist, wenn ${}B$ aufzählbar bzw. entscheidbar ist.

Eine Lösung erstellen