Negation

Learn about negating a proposition.

What is negation?

Negation is a unary operator; it only requires one operand. Negation of a proposition is another proposition with the opposite truth value. We use the symbol ¬p\neg p to denote the negation of a proposition pp. Negation is also called the NOT operator.

Examples


Consider the following propositions:

  • HH: Sara is taking a history course.
  • NN: Sara is not taking a history course.

HH is true only if Sara is taking a history course. NN is true only when Sara is not taking a history course. Therefore, N¬HN \equiv \neg H.

We also denote the negation of a statement pp by p\overline{p}.

Therefore,

¬pp.\neg p \equiv \overline{ p}.

Let’s look at another example.


Consider the following propositions:

  • CC: Charlotte is taller than Emma.
  • ¬C\neg C: Charlotte is not taller than Emma.

We must be cautious while interpreting the meaning of a statement with a “not” in it. The proposition ¬C\neg C says that Charlotte is either shorter than Emma or both have the same height. These subtle differences are significant to notice.

Usually, while translating the negation of a proposition pp, we put the phrase “it is not the case” before the translation of pp.

  • ¬C\neg C: It is not the case that Charlotte is taller than Emma.

Typically, we can clarify the meaning of negation by reading the statement carefully in this form.

Truth table

The truth table for the negation operator is given below:

pp ¬pp\neg p \equiv \overline{p}
T F
F T

As flipping the side of a coin twice brings the same side up. Similarly, applying negation twice does not alter the proposition; that is, ¬(¬p)p\neg (\neg p) \equiv p.

In 0/10/1-notation, ¬p\neg p is defined by the following table:

pp ¬pp\neg p \equiv \overline{p}
11 00
00 11

In this notation, ¬p=1p\neg p = 1 - p.

Circuit diagram

We can illustrate the concept of negation through circuit diagrams with electromagnetic switches. Here is the key that will aid you in understanding them:

Press + to interact
Description of truth values of the elements used in the diagrams
Description of truth values of the elements used in the diagrams

When pp is true, the electromagnet switch is down. This disconnects the electric supply to the bulb. Therefore, the bulb is off, and the value of ¬p\neg p is false.

Press + to interact
Truth value after applying negation is false
Truth value after applying negation is false

When the pp is false, the electromagnetic switch does not get any electric supply. This causes it to go up, and that causes the electric supply to reach the bulb. As the bulb is on, the value of ¬p\neg p is true.

Press + to interact
Truth value after applying negation is true
Truth value after applying negation is true

Quiz

Test your understanding of negation.

1

Let,

tt: Tom is flying a kite.

What statement is ¬t\neg t?

A)

Tom is playing hockey.

B)

Sara is not flying a kite.

C)

Tom is not flying a kite.

D)

Tom is driving a car.

Question 1 of 20 attempted