Quantorenlogik/Eine einstellige Funktion/Endliche Ordnung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Das Symbolalphabet bestehe neben Variablen aus dem einzigen einstelligen Funktionssymbol . Finde für die folgenden Ausdrücke aus jeweils Interpretationen, in denen der Ausdruck gilt, und Interpretationen, in denen er nicht gilt.

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