Steply

Negate ∃x (2x + 1 = 7)

Step by step, with the reason for every step · Negating with quantifiers · Discrete Math

Step by step

The question

Question: write the opposite of ∃x (2x + 1 = 7).

∃x (2x + 1 = 7)

The backwards E means: there is some.

∀ = for every
∃ = there is some

1 Put not in front

The opposite of a statement: we put not in front of all of it.

Now we move the not inside, one piece at a time.

= ¬∃x (2x + 1 = 7)

2 Move the not inside

There is no x means: for every x, it fails.

So ¬∃ becomes ∀¬.

≡ ∀x ¬(2x + 1 = 7)
¬∃ = ∀¬

Careful!

There is none means every one fails, not just one.

Careful: not ∃x ¬(2x + 1 = 7) ✗

3 Turn the inside around

The opposite of 2x + 1 = 7 is 2x + 1 ≠ 7.

≡ ∀x (2x + 1 ≠ 7)
¬(a = b) is a ≠ b

4 Say it in words

In words: for every x, with 2x + 1 ≠ 7.

= for every x: 2x + 1 ≠ 7

5 Check

Let's check with x = 3.

The first inside: 7 = 7, that is true.

x = 3: 2x + 1 = 7 gives 7 = 7: T

The new inside: 7 ≠ 7, that is false.

One true, one false: opposite, as they must be.

Right!

x = 3: 2x + 1 ≠ 7 gives 7 ≠ 7: F

Let's look back.

First: put not in front.

Then: move the not inside.

Then: turn the inside around.

Then: say it in words.

Last: check.

Answer
¬(a = b) is a ≠ b

Your turn

Try this one yourself, then check:

Write the opposite of ∀x (2x + 1 < 10)
Show the answer
∃x (2x + 1 ≥ 10)

More from Negating with quantifiers

The whole lesson: Negating with quantifiers →