#4 La lógica de predicados se debe usar sobre expresiones lógicas que contienen símbolos. De ahí que también se habla de lógica simbólica.

Pero esos símbolos, para que tengan un significado, deben estar asociados a algún concepto. Esto es lo que un LLM no puede hacer.