Widerspruchsfreie entscheidbare Ausdrucksmenge/Repräsentierbare Relationen und Funktionen sind entscheidbar bzw. berechenbar/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine widerspruchsfreie und -entscheidbare Ausdrucksmenge.

a) Zeige, dass jede in repräsentierbare Relation -entscheidbar ist.

b) Zeige, dass jede in repräsentierbare Abbildung

-berechenbar

ist.
Eine Lösung erstellen