Los lenguajes de primer orden son, por sí mismos, no interpretados: los símbolos constantes, los símbolos de función y los símbolos predicados no tienen un significado específico asociado a ellos. Los...Los lenguajes de primer orden son, por sí mismos, no interpretados: los símbolos constantes, los símbolos de función y los símbolos predicados no tienen un significado específico asociado a ellos. Los significados se dan especificando la estructura.
