Definition:Binding Priority (Propositional Logic)/Also defined as

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$