2.3 Precedencia de los operadores

Al ver una expresión, tienes que saber decir qué es. Por ejemplo: $A\vee B\Rightarrow C$ es una implicación (¡no una disyunción!), porque el $\Rightarrow$ es el último en evaluarse (tiene menor prioridad que el $\vee$).

Aquí pongo los operadores, ordenados inversamente por prioridad.

• $\Longleftrightarrow$
• $\Rightarrow$
• $\vee$ y $\wedge$ (tienen la misma prioridad)
• $\neg$

Esto quiere decir que $\neg$ es el que más ``se agarra'' al símbolo que acompaña. Un ejemplo de cuándo y dónde hacen falta los paréntesis:

$P\vee\neg Q\Rightarrow R\wedge P\Longleftrightarrow\neg(R\vee S)\wedge A\Rightarrow B$ es lo mismo que $(\ (P\vee(\neg Q))\ \Rightarrow\ (R\wedge P)\ )\Longleftrightarrow(\ ((\neg(R\vee S))\wedge A)\Rightarrow B\ )$

Tranquilo, no volveré a usar expresiones tan largas.