Expresión frente a Ecuación
Una expresión es una frase matemática sin signo de igual que se puede evaluar; una ecuación es un enunciado que dice que dos expresiones son iguales y se puede resolver.
Definition
Una expresión es una frase matemática sin signo de igual, mientras que una ecuación es un enunciado con signo de igual que dice que dos cosas son iguales; las expresiones se simplifican, pero las ecuaciones se resuelven, ya que el signo de igual es la línea divisoria. Una expresión es una combinación de números, variables y operaciones sin símbolo relacional, mientras que una ecuación afirma que dos expresiones son iguales, y la diferencia crítica permanece: las expresiones se evalúan o se simplifican, las ecuaciones se resuelven para un valor de la variable. En lógica formal, una expresión (o término) es un objeto sintáctico construido a partir de variables, constantes y símbolos de función, mientras que una ecuación es una fórmula $P = Q$ que afirma la igualdad entre dos términos y tiene un valor de verdad relativo a una interpretación; las expresiones se interpretan (se asignan a valores) mientras que las ecuaciones se verifican (se demuestran verdaderas o falsas), una distinción fundamental para el álgebra universal y la teoría de modelos.
Example
$3x + 7$ es una expresión; $3x + 7 = 16$ es una ecuación. No puedes "resolver" la expresión ya que no hay nada que despejar, pero puedes evaluarla o simplificarla. Expresión: $2(x + 3) - x$ se simplifica a $x + 6$; ecuación: $2(x + 3) - x = 10$ se resuelve obteniendo $x + 6 = 10$, luego $x = 4$. En el álgebra universal, un término $t(x_1, \ldots, x_n)$ es una expresión, y una identidad es una ecuación $t_1 = t_2$ satisfecha por todos los elementos de una estructura algebraica; la conmutatividad, $x + y = y + x$, es una identidad verdadera en todos los grupos abelianos.
Key Insight
El signo de igual es la línea divisoria: sin signo de igual significa expresión, con signo de igual significa ecuación, una se simplifica y la otra se resuelve. Un error común es agregar un signo de igual para "simplificar" una expresión, creando por accidente una ecuación falsa, así que nunca encadenes signos de igual a través de pasos de simplificación separados. El teorema de Birkhoff establece que una clase de álgebras es definible mediante un conjunto de identidades (ecuaciones) si y solo si es cerrada bajo imágenes homomórficas, subálgebras y productos directos, una piedra angular de la lógica ecuacional.