Konstante (Logik)
Konstante [zu lateinisch constans, constantis »feststehend«] die, -/-n, Logik und Mathematik:
Symbol mit einer festen, unveränderlichen Bedeutung (im Gegensatz zur Variablen); z. B. 5, π. – In der Prädikatenlogik unterscheidet man zwischen Gegenstandkonstanten, die für feste Elemente des betrachteten Grundbereiches stehen, und Prädikatkonstanten, die für wohl bestimmte Prädikate (z. B. »... ist eine gerade Zahl«) stehen.
Quellenangabe