Binding Priority/Examples
Jump to navigation
Jump to search
Examples of Binding Priority
Conjunction over Conditional
The convention for binding priority states that:
- $\paren {x < y \land y < z} \implies x < z$
can be written as:
- $x < y \land y < z \implies x < z$
as $\land$ has a higher binding priority than $\implies$.
Disjunction over Biconditional
The convention for binding priority states that:
- $x + y \ne 0 \iff \paren {x \ne 0 \lor y \ne 0}$
can be written as:
- $x + y \ne 0 \iff x \ne 0 \lor y \ne 0$
as $\lor$ has a higher binding priority than $\iff$.