Order of Precedence
As a way of reducing the number of necessary parentheses, one may introduce precedence rules: ¬ has higher precedence than, higher than, and higher than →. So for example, P Q ¬R → S is short for (P (Q (¬R))) → S.
Here is a table that shows a commonly used precedence of logical operators.
-
Operator Precedence ¬ 1 2 3 → 4 5
The order of precedence determines which connective is the "main connective" when interpreting a non-atomic formula.
Read more about this topic: Logical Connectives
Famous quotes containing the words order of, order and/or precedence:
““New order of the ages” did we say?
If it looks none too orderly today,
‘Tis a confusion it was ours to start
So in it have to take courageous part.”
—Robert Frost (1874–1963)
“Humility is often merely feigned submissiveness assumed in order to subject others, an artifice of pride which stoops to conquer, and although pride has a thousand ways of transforming itself it is never so well disguised and able to take people in as when masquerading as humility.”
—François, Duc De La Rochefoucauld (1613–1680)
“Let not England forget her precedence of teaching nations how to live.”
—John Milton (1608–1674)