Steply

Negate ∀x (3x - 1 ≠ 5)

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 (3x − 1 ≠ 5).

∀x (3x − 1 ≠ 5)

The upside-down A means: for every.

∀ = 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 (3x − 1 ≠ 5)

2 Move the not inside

Not true for every x means: there is some x where it fails.

So ¬∀ becomes ∃¬.

≡ ∃x ¬(3x − 1 ≠ 5)
¬∀ = ∃¬

Careful!

Not every does not mean none.

If not every student is here, some student is missing.

It does not mean every student is missing.

Careful: not ∀x ¬(3x − 1 ≠ 5) ✗

3 Turn the inside around

The opposite of 3x − 1 ≠ 5 is 3x − 1 = 5.

≡ ∃x (3x − 1 = 5)
¬(a ≠ b) is a = b

4 Say it in words

In words: there is some x, with 3x − 1 = 5.

= there is some x: 3x − 1 = 5

5 Check

Let's check with x = 3.

The first inside: 8 ≠ 5, that is true.

x = 3: 3x − 1 ≠ 5 gives 8 ≠ 5: T

The new inside: 8 = 5, that is false.

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

Right!

x = 3: 3x − 1 = 5 gives 8 = 5: 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 (3x − 1 = 8)
Show the answer
∃x (3x − 1 ≠ 8)

More from Negating with quantifiers

The whole lesson: Negating with quantifiers →