Steply

Negate ∀x (x < 0 ∨ x ≥ 1)

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 (x < 0 ∨ x ≥ 1).

∀x (x < 0 ∨ x ≥ 1)

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 (x < 0 ∨ x ≥ 1)

2 Move the not inside

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

So ¬∀ becomes ∃¬.

≡ ∃x ¬(x < 0 ∨ x ≥ 1)
¬∀ = ∃¬

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 ¬(x < 0 ∨ x ≥ 1) ✗

3 Turn the inside around

De Morgan: the not goes onto each part, and or turns into and.

≡ ∃x (¬(x < 0) ∧ ¬(x ≥ 1))
¬(A ∨ B) = ¬A ∧ ¬B

Now each part: x < 0 becomes x ≥ 0, and x ≥ 1 becomes x < 1.

≡ ∃x (x ≥ 0 ∧ x < 1)

4 Say it in words

In words: there is some x, with x ≥ 0 ∧ x < 1.

= there is some x: x ≥ 0 ∧ x < 1

5 Check

Let's check with x = 3.

The first inside: 3 < 0 ∨ 3 ≥ 1, that is true.

x = 3: x < 0 ∨ x ≥ 1 gives 3 < 0 ∨ 3 ≥ 1: T

The new inside: 3 ≥ 0 ∧ 3 < 1, that is false.

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

Right!

x = 3: x ≥ 0 ∧ x < 1 gives 3 ≥ 0 ∧ 3 < 1: 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
≡ ∃x (x ≥ 0 ∧ x < 1)

Your turn

Try this one yourself, then check:

Write the opposite of ∀x (x = 0 ∨ x = 1)
Show the answer
∃x (x ≠ 0 ∧ x ≠ 1)

More from Negating with quantifiers

The whole lesson: Negating with quantifiers →