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.