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:
“There is no permanent class of hired laborers amongst us. Twenty five years ago, I was a hired laborer. The hired laborer of yesterday, labors on his own account today; and will hire others to labor for him tomorrow. Advancement—improvement in condition—is the order of things in a society of equals.”
—Abraham Lincoln (1809–1865)
“Like other cities created overnight in the Outlet, Woodward acquired between noon and sunset of September 16, 1893, a population of five thousand; and that night a voluntary committee on law and order sent around the warning, “if you must shoot, shoot straight up!””
—State of Oklahoma, U.S. public relief program (1935-1943)
“It is difficult to separate the tapestry
From the room or loom which takes precedence over it.”
—John Ashbery (b. 1927)