Signaturen, Algebren

• Signatur: Menge von Funktionssymbolen, jedes mit Stelligkeit (Argumentzahl).

  Bsp: Σ = {a₀, b₀, f₂, g₂}.

• Σ-Algebra: Trägermenge D und zu jedem k-stelligen Symbol f eine k-stellige Funktion [f] : D^k→D.

  Bsp: D = $\mathbb {N}$,[a] = 0,[b] = 1,[f](x, y) = x + y,[g](x, y) = xy.

  Bsp: D = {F, T},[a] = F,[b] = T,[f] = ∨,[g] = ∧.