¿Qué es?
Es la representación de un elemento de un Dominio de una variable. Las constantes se representan mediante letras minúsculas del alfabeto latino. Se eligen, preferentemente, a partir de la letra a, para evitar confusiones con las letras que representan las variables.
Cuando todas las variables de un Predicado son sustituidas por constantes, entonces éste se convierte en un enunciado.