Alphabet erster Stufe/Symbole für Relationen und Funktionen/Grunddaten/Definition
Erscheinungsbild
Alphabet einer Sprache erster Stufe
Ein Alphabet einer Sprache erster Stufe umfasst die folgenden Daten.
- Eine Grundtermmenge, also eine Menge aus Variablen, Konstanten und Funktionssymbolen.
- Zu jeder natürlichen Zahl eine Menge von -stelligen Relationssymbolen.
- Die aussagenlogischen Junktoren
- Das Gleichheitszeichen .
- Die Quantoren und .
- Klammern, also und .