[Raúl Aparicio Bustillo]

Los lenguajes formales de primer orden, salvo descripciones, constantes y variables, no admiten como término otras expresiones. Sin embargo, no tengo muy claro (aunque se suelen considerar variables), ¿por qué las incógnitas de las ecuaciones son variables?

De hecho, las ecuaciones son verdaderas o falsas según el modelo y la valoración que hagamos de la variable

¿No es más lógico considerarlo el enunciado como una premisa, junto con los axiomas de la teoría, y los axiomas lógicos, y de ahí considerar las distintas soluciones de la misma, y los valores que se le puede dar a la constante, teniendo en cuenta los axiomas y las premisas?

[feriva]

¿por qué las incógnitas de las ecuaciones son variables?

Pero se puede decir, si pensemos en álgebra lineal, por ejemplo, que la palabra “incógnita” no es en sí un sinónimo de variable; piensa en un sistema compatible determinado; los valores “x,y,z...” sólo tienen una solución porque representan coordenadas de un solo punto. Así, son incógnitas que se pueden hallar pero a las que no se puede otorgar valores a partir de una cierta relación, luego son constantes en ese caso, pese a que en principio no se sepa su valor sin operar (en lógica no sé muy bien, respecto de esto, cómo se considera la palabra variable).

Saludos.