Prädikatenlogik/Freie Variablen/Ausdrücke/1/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Bestimme die freien Variablen in den folgenden Ausdrücken, wobei Variablen seien und ein einstelliges Funktionssymbol und ein zweistelliges Relationssymbol sei.

  1. ,
  2. ,
  3. ,
  4. .