Signatur

Einfache Sprache

Eine Signatur beschreibt, welche Symbole man verwenden darf.

Def. Signatur

Sei $\mathcal{C,F,R}$ paarweise disjunkt Mengen nichtlogischer (also noch nicht verwendete) Zeichen. Die Menge $\mathcal S = \mathcal{C\cup F\cup R}$ wird Symbolmenge genannt, wenn eine Funktion $\Sigma:\mathcal S\to\mathbb N_0$ existiert für die gilt:

• $\Sigma(c) = 0$ für alle Konstantensymbole $c\in\mathcal C$
• $\Sigma(f)\in\mathbb N$ für alle Funktionssymbole $f\in\mathcal F$
• $\Sigma(R)\in\mathbb N$ für alle Relationssymbole $R\in\mathcal R$

$S= (\mathcal S,\sigma)$ heitßt dann Signatur.