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.