Signaturen, Algebren

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

Bsp: $\Sigma$ = {a₀, b₀, f₂, g₂}.

$\Sigma$-Algebra: Trägermenge D und zu jedem k-stelligen Symbol f eine k-stellige Funktion [f] : D^k$\to$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] = $\vee$ ,[g] = $\wedge$.