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.)
“In order to get to East Russet you take the Vermont Central as far as Twitchell’s Falls and change there for Torpid River Junction, where a spur line takes you right into Gormley. At Gormley you are met by a buckboard which takes you back to Torpid River Junction again.”
—Robert Benchley (1889–1945)
“Let not England forget her precedence of teaching nations how to live.”
—John Milton (1608–1674)