Konstante (Logik)

Allgemein ist eine Konstante (von lateinisch constans „feststehend“) ein Zeichen beziehungsweise ein Sprachausdruck mit einer „genau bestimmte[n] Bedeutung, die im Laufe der Überlegungen unverändert bleibt“. Die Konstante ist damit ein Gegenbegriff zur Variablen.

1. ↑ Tarski, Einführung in die mathematische Logik, 5. Aufl. (1977), S. 17