Na lógica de predicados clássica só se admitem nomes que tenham denotação, isto é, que referem entidades reais.

Assim, ao estudar a lógica de predicados clássica é necessário ter presente que só se pode usar nomes que tenham denotação.

"Cérbero" não tem denotação, visto que é o nome deumacriatura da mitologia.