CONSTANTE: 🔎

es un símbolo empleado siempre para representar la misma cosa (como los términos singulares "a", "b", ..., etc., o los operadores como "&", "⋀", "⋁", ..., etc.), en contraste con las variables (como "x", "y", "z", ..., etc.), que recorren un dominio de objetos.
(Haack, 1978).

En lógica, una constante lógica es una expresión que cuya presencia y posición determina la forma lógica de una proposición, y por extensión la validez o invalidez de los argumentos.

Dentro de un lenguaje formal con una semántica formal, una constante lógica es una expresión cuyo significado no varía con cada interpretación.
(Wikipedia).