Podpis (matematická logika)

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 10. června 2013; kontroly vyžadují 3 úpravy .

Podpis v matematické logice a univerzální algebře je soubor symbolů specifických pro konkrétní systém a definujících jeho formální jazyk . Formálně je podpis souborem sad, ve kterých: $\Sigma =(R,F,C,\rho )$

$R$ - sada symbolů pro vztahy (predikáty),
$F$ - sada funkčních symbolů,
$C$ — sada konstantních symbolů
Funkce , která se shoduje s prvky a jejich aritou . $\rho$ $R$ $F$

Podpis charakterizuje algebraický systém ( algebru nebo model ) tím, že definuje, z jakých symbolů se mohou jeho výrazy skládat a jak je lze konstruovat.