Allekirjoitus (matemaattinen logiikka)

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 10. kesäkuuta 2013 tarkistetusta versiosta . tarkastukset vaativat 3 muokkausta .

Allekirjoitus matemaattisessa logiikassa ja universaalissa algebrassa on joukko symboleja, jotka ovat ominaisia tietylle järjestelmälle ja määrittelevät sen muodollisen kielen . Muodollisesti allekirjoitus on joukko joukkoja, joissa: $\Sigma =(R,F,C,\rho )$

$R$ - joukko symboleja suhteille (predikaatit),
$F$ - joukko toiminnallisia symboleja,
$C$ — vakiosymbolien joukko
Funktio , joka vastaa elementtejä ja niiden ariteettia . $\rho$ $R$ $F$

Allekirjoitus luonnehtii algebrallista järjestelmää ( algebraa tai mallia ) määrittelemällä, mistä symboleista sen lausekkeet voivat koostua ja miten ne voidaan rakentaa.