Konstantensymbol

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein nicht-variables Symbol, das in Interpretationen einer formalen Sprache ein festes Element der Domäne bezeichnet.