Precedence of Operations and Negating Compound Propositions

Learn about the precedence while applying logical operators in propositional logic and how to negate compound propositions.

Precedence

The precedence of the negation operation is the highest after the parenthesis, and it is resolved before any other operator. For example, in ¬pq\neg p \lor q, the disjunction operation will always take ¬p\neg p as an operand unless parenthesized otherwise. This means:

¬pq(¬p)q.\neg p \lor q \equiv \left(\neg p\right) \lor q.

This is clearer if we use p\overline p to denote the negation of pp. In this notation,

pq(p)q.{\overline p} \lor q \equiv ({\overline p}) \lor q.

It is important to observe that,

(pq)¬(pq)≢(¬p)q(p)q.\overline{ \left(p \lor q\right)} \equiv \neg \left(p \lor q\right) \not \equiv \left(\neg p\right) \lor q \equiv ({\overline p}) \lor q.

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 ¬\neg 2
Conjunction \land 3
Disjunction \lor 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:

  • pbp_b: Paul plays badminton.
  • php_h: Paul plays hockey.
  • qbq_b: Quincy plays badminton.
  • qhq_h: Quincy plays hockey.

Now let’s make some new propositions.

G1pbphqbqh.G_1 \equiv p_b \land p_h \lor q_b \land q_h.

Badminton and hockey

If we apply the operations in the correct order of precedence, we can write G1G_1 as:

(pbph)(qbqh).(p_b \land p_h) \lor (q_b \land q_h).

This can be translated into English as:

  • G1:G_1 : 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 php_h and qbq_b first, we must do that by explicitly enforcing it through parenthesis. Consider,

G2pb(phqb)qh.G_2 \equiv p_b \land \left(p_h \lor q_b \right) \land q_h.

This is different from G1G_1. Let’s use the commutativity of conjunction and write it as:

G2pbqh(phqb).G_2 \equiv p_b \land q_h \land \left(p_h \lor q_b \right).

Now, we can translate it into everyday language quite easily:

  • G2:G_2 : Paul plays badminton, Quincy plays hockey, and either Paul plays hockey, or Quincy plays badminton.

Why are G1G_1 and G2G_2 different? Consider the case when Paul plays both sports and Quincy plays none. In this case, G1G_1 is true. However, G2G_2 is false.

Q

Is the statement, “Paul plays both sports and Quincy plays hockey or Quincy plays both sports and Paul plays badminton” equivalent to G2G_2? Here both sports refer to hockey and badminton.

A)

No

B)

Yes

Negating a compound proposition

Let’s look at two propositions:

  • pp: Paul is an actor.

  • qq: Quentin is a director.

Consider the compound proposition:

C1:¬(pq).C_1:\neg (p \land q).

We can write it in everyday language as,

  • C1C_1: It is not the case that Paul is an actor and Quentin is a director.

Let’s also make another compound proposition:

C2:¬p¬q.C_2:\neg p \land \neg q .

Let’s carefully make a truth table of these two compound statements:

pp qq ¬p\neg p ¬q\neg q ¬(pq)\neg (p \land q) ¬p¬q\neg p \land \neg q
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 C2C_2 in everyday language:

  • C2:C_2: 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:

  • C2:C_2: Neither Paul is an actor nor Quentin is a director.

Consider the case when exactly one of the statements among pp and qq is true and the other false. In this case, C1C_1 is true. However, C2C_2 is false.

We realize that C1C_1 and C2C_2 are completely different statements.

Q

(Select all that apply.) Let pp and qq be arbitrary propositions. In which cases do ¬(pq)\neg \left( p \lor q \right) and ¬p¬q\neg p \lor \neg q have different truth values?

A)

pp is true and qq is true.

B)

pp is true and qq is false.

C)

pp is false and qq is true.

D)

pp is false and qq 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:

¬(pq)≢¬p¬q.\neg\left(p \land q\right) \not\equiv \neg p \land \neg q.

Similarly, the quiz must have convinced you that,

¬(pq)≢¬p¬q.\neg\left(p \lor q\right) \not\equiv \neg p \lor \neg q.

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.

1

(Select all that apply.) Select true statements.

A)

Negation has higher precedence as compared to conjunction and disjunction.

B)

Disjunction has higher precedence as compared to negation.

C)

Parenthesis has the highest precedence.

D)

Negation and disjunction have equal precedence.

Question 1 of 20 attempted