Binding Priority/Examples/Conjunction over Conditional
Jump to navigation
Jump to search
Example of Binding Priority
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$.
Sources
- 1972: Patrick Suppes: Axiomatic Set Theory (2nd ed.) ... (previous) ... (next): $\S 1.2$ Logic and Notation: $(3)$