Definition:Binding Priority (Propositional Logic)/Also defined as
Jump to navigation
Jump to search
Binding Priority for Propositional Logic: Also defined as
When defining binding priority for propositional logic, some sources do impose a priority of $\land$ over $\lor$.
Similarly, some sources also impose a priority of $\implies$ over $\iff$.
However, these are not a universal convention, and such a binding priority is artificial.
Some sources express the binding priority rules by saying that $\iff$ and $\implies$ dominate $\land$ and $\lor$.
Sources
- 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 4.2$: The Construction of an Axiom System
- 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $2$: The Propositional Calculus $2$: $1$ Formation Rules
- 1993: M. Ben-Ari: Mathematical Logic for Computer Science ... (previous) ... (next): Chapter $2$: Propositional Calculus: $\S 2.2$: Propositional formulas
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.4$: Main Connective
- 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.) ... (previous) ... (next): $\S 2.1.3$