Konstante (Logik)

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.