Negation
Learn about negating a proposition.
We'll cover the following
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 to denote the negation of a proposition . Negation is also called the NOT operator.
Examples
Consider the following propositions:
- : Sara is taking a history course.
- : Sara is not taking a history course.
is true only if Sara is taking a history course. is true only when Sara is not taking a history course. Therefore, .
We also denote the negation of a statement by .
Therefore,
Let’s look at another example.
Consider the following propositions:
- : Charlotte is taller than Emma.
- : Charlotte is not taller than Emma.
We must be cautious while interpreting the meaning of a statement with a “not” in it. The proposition 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 , we put the phrase “it is not the case” before the translation of .
- : 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:
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, .
In -notation, is defined by the following table:
In this notation, .
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:
When is true, the electromagnet switch is down. This disconnects the electric supply to the bulb. Therefore, the bulb is off, and the value of is false.
When the 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 is true.
Quiz
Test your understanding of negation.
Let,
: Tom is flying a kite.
What statement is ?
Tom is playing hockey.
Sara is not flying a kite.
Tom is not flying a kite.
Tom is driving a car.