Ainda não temos significados para "ter denotação".
1Na lógica de predicados clássica só se admitem nomes que tenham denotação, isto é, que referem entidades reais.
2Assim, ao estudar a lógica de predicados clássica é necessário ter presente que só se pode usar nomes que tenham denotação.
3"Cérbero" não tem denotação, visto que é o nome deumacriatura da mitologia.