Category:Examples of Binding Priority

From ProofWiki
Jump to: navigation, 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 priorities.

Pages in category "Examples of Binding Priority"

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