Prädikatenlogik/Substitution/Exists x x ist c/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien Variablen (mit der angegebenen Reihenfolge), eine Konstante und ein einstelliges Funktionssymbol.

  1. Bestimme
  2. Bestimme
  3. Bestimme
Zur Lösung, Alternative Lösung erstellen