Signatur (Logik)

Eine Signatur $\sigma$ ist eine Menge von Symbolen:

• Relationssymbole (z.B. $R,<$) mit fester Stelligkeit.
• Funktionssymbole (z.B. $f,+$) mit fester Stelligkeit.
• Konstantensymbole (z.B. $c,0,1$).
  Sie legt das Vokabular fest, das in Formeln verwendet werden darf.

Links

• FoG-2526-FS_v5.pdf
• Logik_WiSe_25-26_folien.pdf