Logical Connectives - Order of Precedence

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:

    “This is one of the worst speeches I’ve ever seen. No one will listen except the Mobil P.R. man. List what we want to say M arrange items in order of priority M then say them plainly and bluntly.... Hit hard and early. Don’t apologize or evade tough issues.”
    —Jimmy Carter (James Earl Carter, Jr.)

    “Revolution is like the daughters of Pelias: it cuts humanity to pieces in order to rejuvenate it.”
    —Georg Büchner (1813–1837)

    “Let not England forget her precedence of teaching nations how to live.”
    —John Milton (1608–1674)