# 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$.