2.3 Prioritato de la operatoroj

Vidante esprimon, vi devas kompreni kio ĝi estas. Ekzemple: $A\vee B\Rightarrow C$ estas implikacio (sed ne estas aŭo!), ĉar $\Rightarrow$ estas kalkulota laste (ĝi havas malpli prioritato ol la $\vee$).

Jen la operatoroj, malkreske orditaj laŭ prioritato.

• $\Longleftrightarrow$
• $\Rightarrow$
• $\vee$ kaj $\wedge$ (sama prioritato)
• $\neg$

Ĉi tio signifas ke $\neg$ estas la plej ``kunliganta'' al la proksimaj simboloj. Jen ekzemplo pri kiam kaj kie metu krampojn:

$P\vee\neg Q\Rightarrow R\wedge P\Longleftrightarrow\neg(R\vee S)\wedge A\Rightarrow B$ estas tute ekvivalenta al $(\ (P\vee(\neg Q))\ \Rightarrow\ (R\wedge P)\ )\Longleftrightarrow(\ ((\neg(R\vee S))\wedge A)\Rightarrow B\ )$

Trankvilu, mi ne plu uzos tiel longajn esprimojn.