Orden de evaluación

Orden de las operaciones

La prioridad de las operaciones (su precedencia o jerarquía) refiere al conjunto de convenciones que regulan el orden en que una calculadora o un sistema evaluará una operación en una expresión combinada, que contenga dos o más operadores.
Es precisa esta información para validar la coincidencia con el resultado pertinente acorde a las propiedades matemáticas y, sobre todo, para ingresar las expresiones de las operaciones con la notación algebraica adecuada.

Las convenciones para la ejecución de la mayoría de los sistemas, establecen que:

1. lo encerrado entre signos de agrupación (llaves, paréntesis o corchetes) tiene prioridad respecto de lo exterior. La línea horizontal que separa un numerador de un denominador o el signo de radicación cumplen el mismo rol que los paréntesis;
2. la exponenciación precede a la multiplicación, la división, la suma o la resta;
3. la multiplicación y la división tienen prioridad respecto de la suma y la resta;

En aplicaciones o sistemas informáticos el orden de operaciones aclara de forma precisa, la secuencia de procedimientos del cálculo en determinada expresión matemática con dos o más operadores.

Como en matemáticas y en la mayoría de los lenguajes de programación, la multiplicación tiene precedencia respecto de la adición, en expresiones como. por ejemplo, Template:Esd, la respuesta es 14 dado que 2 se suma al resultado de 3 x 4.
Los paréntesis o corchetes pueden emplearse para evitar confusiones, por lo que la expresión anterior también puede anotarse como Template:Esd.

Desde la introducción de la notación algebraica moderna la multiplicación tiene precedencia sobre la suma, cualquiera que sea el lado del número donde aparezca.
Por lo tanto Template:Esd.
Los exponentes tienen precedencia sobre las multiplicaciones y las sumas, y tendrán que ser colocados únicamente como superíndice a la derecha de su base. Para cambiar el orden de las operaciones, se utilizan paréntesis.
Por lo tanto, para forzar la precedencia de la adición respecto de la multiplicación, la expresión se anotaría como Template:Esd, y para la precedencia de la adición respecto de la exponenciación, así: Template:Esd.

El orden y las propiedades de las operaciones

Las propiedades conmutativa y asociativa de la suma y la multiplicación permiten a los términos ser sumados en cualquier orden y a los factores ser multiplicados en cualquier orden. En las operaciones mixtas es clave la separación en términos para distinguirlos previo a toda evaluación de precedencia.

Es útil tratar la división como la multiplicación por el recíproco (inverso multiplicativo) y la resta como la suma del opuesto (inverso aditivo). Así, Template:Esd, es decir el cociente entre 3 y 4 es igual al producto de 3 y ¼.
También Template:Esd, es decir la diferencia de 3 y 4 es igual a la suma de tres positivo y cuatro negativo. Con este razonamiento, se puede pensar Template:Esd como la suma de 1, 2 negativo, y 3, y sumarla en cualquier orden: Template:Esd y en orden inverso Template:Esd. Lo importante es mantener el signo negativo con el 2.

El símbolo de la radicación, √, debe extenderse a lo largo de todo el radicando. El símbolo habitual de la agrupación es una barra horizontal (llamada vinculum) sobre el radicando.

Los símbolos de agrupación se pueden utilizar para modificar el orden habitual de las operaciones.
Lo agrupado por los símbolos correspondientes, puede ser tratados como una única expresión.
Los símbolos de agrupación se pueden eliminar apelando a la propiedad distributiva.

Los exponentes sucesivos se aplican de arriba abajo.

Exponenciaciones sucesivas

Si la notación en una exponenciación presenta una sucesión apilada de superíndices, la regla usual es operar de arriba hacia abajo: Template:Nowrap que no es lo mismo que (a^b)^c.

Sin embargo, cuando el operador se expresa con una notación de un caret (^) o una flecha (↑), no hay una convención universalmente establecida.
Por ejemplo, en el lenguaje de programación MATLAB se evalúa a^b^c como (a^b)^c, pero para WolframAlpha sería a^(bc). Así, 4^3^2 se evaluaría dando por resultado 4096 en el primer caso y 262144 en el segundo.

Exponenciación de un negativo

Según las convenciones de anotaciones matemáticas, expresiones como −3² se interpretan como Template:Nowrap.

En algunas aplicaciones y lenguajes de programación, como las de las planillas de cálculo, y programas como el bc, el exponente se aplica incluyendo el signo negativo y −3² se interpreta como Template:Nowrap.
Sin embargo, cuando el signo menos separa una operación binaria en lugar de identificar un número como negativo, la interpretación cambia.
Así, en una planilla, fórmulas como =−2^2, =-(2)^2 y =0+−2^2 dan por resultado 4, mientras las fórmulas =0−2^2 o =−(2^2) dan −4.

Signos y Símbolos

Ejemplos

${\sqrt {1+3}}+5={\sqrt {4}}+5=2+5=7.\,$

Una línea horizontal que en las fracciones separa al numerador del denominador, también actúa como un símbolo de separación y agrupación:

${\frac {1+2}{3+4}}+5={\frac {3}{7}}+5.$

Para facilitar la lectura, otros símbolos de agrupación, tales como llaves {}, o corchetes [], suelen utilizarse junto con el paréntesis (). Por ejemplo,

$[(1+2)-3]-(4-5)=[3-3]-(-1)=1.$

Mnemotecnias en acrónimos de evaluación de las calculadoras

Se han desarrollado varios acrónimos para ayudar a recordar el orden en que la mayoría de las calculadoras evalúan las operaciones tal como se las ingresa.
Es crucial considerar que estas recomendaciones mnemotécnicas permiten analizar y comprender la correlación entre lo ingresado a una calculadora (u otra) con el resultado obtenido, máxime cuando la formulación evidencia cierto grado de ambigüedad.
Más allá de situaciones de notación ambigua y revisión de resultados de las calculadoras, para resolver operaciones combinadas lo crucial es la separación en términos siendo pertinentes todas las estrategias válidas concordantes con las propiedades de las operaciones.
Estas mnemotécnicas pueden ser engañosas: pueden promover creencias que llevan a eludir la separación en términos en una operación combinada y su énfasis en el "orden", dejar de lado estrategias y obviar las propiedades de las operaciones.
Si alguna mnemotécnica para las calculadoras refiere a operar de izquierda a derecha, cabe enfatizar el alcance de esta recomendación (evaluar cómo operan las calculadoras) para evitar que desdibuje tanto la propiedad conmutativa como las aseveraciones básicas como la popular que reza: "el orden de los factores no altera el producto".
Un ejemplo cobró reciente popularización viral: de una operación surgían dos resultados diferentes según la calculadora empleada: la ambigüedad de su notación, sin embargo, se suple apelando a las indiscutibles propiedades de las operaciones.
Cabe, entonces, ingresar la expresión en notación pertinente al modo en que la evaluará cada calculadora..
El ejemplo es 6÷2(2+1) u otra operación cuya estructura algebraica a÷b(c+d) parece poner en cuestión si el factor a distribuir en la suma englobada entre paréntesis es b dejando al cociente establecido como a÷(bc+bd) o a÷b en cuyo caso resultaría (a÷b)c+(a÷b)d.
El signo ÷ entre a (o el valor que fuese) y la subsiguiente expresión, parece ser el quid de la cuestión. Si en lugar de emplear el signo ÷ se planteara: ${\frac {a}{b}}(c+d)$ o ${\frac {a}{b(c+d)}}$ aparecería con claridad cuál es el factor a distribuir.
Mientras en ${\frac {a}{b}}(c+d)$ el factor a distribuir es claramente ${\frac {a}{b}}$ y en ${\frac {a}{b(c+d)}}$ es inequívocamente b, es preciso develar que es b en a÷b(c+d). Máxime que la aparente facilidad de sumar en primer lugar hace creer que está en juego una simple operación de aritmética elemental cuando de lo que se trata es de una cuestión de álgebra básica.
En síntesis, más allá de los dos resultados distintos en diferentes calculadoras y de los valores empleados, la expresión puede resolverse superando cierta eventual ambigüedad de notación, desde un análisis algebraico de la estructura de la expresión: en el caso en cuestión, siguiendo la propiedad distributiva del producto respecto de la suma para plantearla como 6÷(4+2) que resulta 6÷(6) con un indiscutible 1 final
Para subsanar el 9 que aparece en una de las calculadoras, basta con añadir paréntesis 6÷(2(2+1)) que la otra calculadora da "por sentados" o englobando el 6÷2 si este (6÷2)(2+1) fuese el orden en que se quiere realizar la operación.
Las propiedades matemáticas no son ambiguas y para subsanar la eventual ambigüedad de alguna notación, en este u otro ejemplo, conviene saber cómo la evaluará la calculadora a emplear.

Otras notaciones ambiguas

Divisiones sucesivas o cocientes anidados Al no contar con la línea horizontal que separa numerador de denominador, la notación con que se expresan de divisiones sucesivas presenta distintos resultados según como se evalúan:
Por ejemplo, la expresión Template:Nowrap puede interpretarse como

Template:Nowrap

o como

Template:Nowrap

La convención que regula "operar de izquierda a derecha" resuelve la ambigüedad en favor de la última expresión.
Es habitual, en matemática, subsanar toda posible ambigüedad expresando las divisiones empleando la línea horizontal o, en su defecto, como productos por el inverso del cociente:
El empleo de fracciones sucesivas se anotaría, por ejemplo, así:

${\frac {10}{\frac {5}{2}}}$

o, apelando al inverso, así

$10.{\frac {2}{5}}$

La alternativa es añadir paréntesis para evitar que las diferentes calculadoras evalúen de modo diferente al pretendido.

son las secuencias de evaluación de expresiones de las calculadoras

Cabe subrayar que las mnemotécnicas, lejos de ser parte del corpus matemático, son meros recursos para conocer el modo de ingresar una operación para que la calculadora opere y resuelva como corresponda.
Para tener en cuenta el modo de operar de las calculadoras, en español se utilizan papomudas («paréntesis, potencias, multiplicación, división, adición, sustracción») y papomudisure («paréntesis, potencias, multiplicación, división, suma, resta»), mientras que en inglés estadounidense se utiliza PEMDAS (cuya expansión en español es «paréntesis, exponentes, multiplicación, división, adición, sustracción»).

Véase también

• Notación de operandos más común
• Notación de prefijo
• Notación de postfijo

Enlaces externos

• Template:En Experiment investigating developer beliefs about operator precedence.
• Template:En Experiment investigating effect of variable names on operator precedence selection.