Precedence of Operations and Negating Compound Propositions
Learn about the precedence while applying logical operators in propositional logic and how to negate compound propositions.
We'll cover the following
Precedence
The precedence of the negation operation is the highest after the parenthesis, and it is resolved before any other operator. For example, in , the disjunction operation will always take as an operand unless parenthesized otherwise. This means:
This is clearer if we use to denote the negation of . In this notation,
It is important to observe that,
The table below gives the order of precedence among conjunction, disjunction, negation, and parenthesization. Note that the higher the number, the lower its precedence.
Operation | Symbol | Precedence (Order of application) |
---|---|---|
Parenthesis | 1 | |
Negation | 2 | |
Conjunction | 3 | |
Disjunction | 4 |
Just like BODMAS helps us remember the precedences of arithmetic operators, we can use the acronym PNCD to remember the precedences of logical operators. PNCD stands for parentheses, negation, conjunction, and disjunction.
Examples
Take the following propositions:
- : Paul plays badminton.
- : Paul plays hockey.
- : Quincy plays badminton.
- : Quincy plays hockey.
Now let’s make some new propositions.
If we apply the operations in the correct order of precedence, we can write as:
This can be translated into English as:
- Paul plays badminton and hockey or Quincy plays badminton and hockey.
A clearer way of saying this in everyday language is:
Either Paul or Quincy play both sports, hockey and badminton.
If we insist on applying the disjunction between and first, we must do that by explicitly enforcing it through parenthesis. Consider,
This is different from . Let’s use the commutativity of conjunction and write it as:
Now, we can translate it into everyday language quite easily:
- Paul plays badminton, Quincy plays hockey, and either Paul plays hockey, or Quincy plays badminton.
Why are and different? Consider the case when Paul plays both sports and Quincy plays none. In this case, is true. However, is false.
Is the statement, “Paul plays both sports and Quincy plays hockey or Quincy plays both sports and Paul plays badminton” equivalent to ? Here both sports refer to hockey and badminton.
No
Yes
Negating a compound proposition
Let’s look at two propositions:
-
: Paul is an actor.
-
: Quentin is a director.
Consider the compound proposition:
We can write it in everyday language as,
- : It is not the case that Paul is an actor and Quentin is a director.
Let’s also make another compound proposition:
Let’s carefully make a truth table of these two compound statements:
T | T | F | F | F | F |
T | F | F | T | T | F |
F | T | T | F | T | F |
F | F | T | T | T | T |
Voilà! We realize that the truth table of these two propositions is entirely different.
Let’s write in everyday language:
- It is not the case that Paul is an actor, and it is not the case that Quentin is a director.
We simplify this as follows:
- Neither Paul is an actor nor Quentin is a director.
Consider the case when exactly one of the statements among and is true and the other false. In this case, is true. However, is false.
We realize that and are completely different statements.
(Select all that apply.) Let and be arbitrary propositions. In which cases do and have different truth values?
is true and is true.
is true and is false.
is false and is true.
is false and is false.
Let’s see the situation when we negate a disjunction.
We must be cautious while dealing with the negation operator; it is not an innocent operator. It is clear from the example above that:
Similarly, the quiz must have convinced you that,
The topic of the next lesson is how to negate a compound statement that is a conjunction or a disjunction of two statements.
Quiz
Test your understanding of the negation operation.
(Select all that apply.) Select true statements.
Negation has higher precedence as compared to conjunction and disjunction.
Disjunction has higher precedence as compared to negation.
Parenthesis has the highest precedence.
Negation and disjunction have equal precedence.