Term/Links und rechts/Möglichkeiten/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Grundtermmenge und ein -Term. Es sei das am weitesten links stehende Symbol von und das am weitesten rechts stehende Symbol von . Zeige die folgenden Eigenschaften.

  1. Wenn eine Variable oder eine Konstante ist, so ist .
  2. ist eine Variable oder eine Konstante.
  3. Wenn und Terme sind, so ist kein Term.
Eine Lösung erstellen