# In my Discrete Math course, I encounter a question such as ∃x forallyx<y\ where\ x,y in Z

In my Discrete Math course, I encounter a question such as
,
and I explain it like this: "Let $x=1$ and $y=-2$. For an x in the universe not all y values make the statement $x true so the case is 1 is not equal -2" and I think this is sufficient for explaining but I wonder whether there is a way to indicate proof with symbols or mathematically. Thanks in advance.
You can still ask an expert for help

## Want to know more about Discrete math?

• Live experts 24/7
• Questions are typically answered in as fast as 30 minutes
• Personalized clear answers

Solve your problem for the price of one coffee

• Math expert for every subject
• Pay only if we can solve it

escobamesmo
Step 1
With quantifiers, you can't choose the specific values in all cases. In particular:
- You can choose a specific value for an $\mathrm{\exists }$-quantified variable to prove a statement true, but not to prove it false.
- You can choose a specific value for a $\mathrm{\forall }$-quantified variable to prove a statement false, but not to prove it true.
Step 2
What you've done is proved that there is a particular x that the statement doesn't hold for. But that doesn't mean that there isn't another value that it does hold for! (Or at least, it doesn't inherently mean that). If you're showing there doesn't exist an x, you need to show that the statement $\mathrm{\forall }y.x is false for every single x, not just a specific x.
###### Not exactly what you’re looking for?

• Live experts 24/7
• Questions are typically answered in as fast as 30 minutes
• Personalized clear answers

Solve your problem for the price of one coffee