El estudio de esta clase de constantes lógicas le corresponde a la lógica de predicados.