En términos lógicos, la situación para "autológico" es: