Prädikatenlogik/Rang eines Ausdrucks/Definition

Aus Wikiversity
Rang (Ausdruck)

Es sei ein Alphabet einer Sprache erster Stufe gegeben. Dann definiert man für Ausdrücke den Rang von durch

  1. , falls atomar ist.
  2. , falls ist.
  3. , falls mit ist.
  4. , falls oder ist.