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:
“My ideas are a curse.
They spring from a radical discontent
with the awful order of things.
I play clown. I play carpenter. I play nurse.
I play witch.”
—Anne Sexton (1928–1974)
“I have been in the editorial business going on fourteen years, and it is the first time I ever heard of a man’s having to know anything in order to edit a newspaper.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)
“Let not England forget her precedence of teaching nations how to live.”
—John Milton (1608–1674)