Allgemeine Gleichheitssubstitution/Relation und Gleichheit/Ableitbar/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien Terme einer prädikatenlogischen Sprache und seien verschiedene Variablen.

  1. Es sei ein -stelliges Relationssymbol und seien Terme. Zeige die Ableitbarkeit
  2. Es seien und Terme. Zeige die Ableitbarkeit
Eine Lösung erstellen