Category:Examples of Binding Priority

From ProofWiki
Jump to navigation Jump to search

This category contains examples of Binding Priority.

The binding priority is the convention defining the order of binding strength of the individual connectives in a logical formula.


Binding priorities can be overridden by using parenthesis in appropriate places.

Parenthesis always takes priority over conventional binding priority.

Pages in category "Examples of Binding Priority"

The following 3 pages are in this category, out of 3 total.