Category:Binding Priority

From ProofWiki
Jump to: navigation, search

This category contains results about 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.

Subcategories

This category has only the following subcategory.