A common convention is: ¬ {\displaystyle \lnot } is evaluated first ∧ {\displaystyle \land } and ∨ {\displaystyle \lor } are evaluated next Quantifiers are evaluated next → {\displaystyle \to } is evaluated last.
Běžnou konvencí je: ¬ {\displaystyle \lnot } se vyhodnocuje jako první ∧ {\displaystyle \land } a ∨ {\displaystyle \lor } jsou vyhodnoceny následně Kvantifikátory následují ve vyhodnocení → {\displaystyle \to } je vyhodnocena jako poslední.