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