# Thread: Negation of ∀x ∃y such that "x+y = z and if x then y"

1. ## Negation of ∀x ∃y such that "x+y = z and if x then y"

I have ∃y ∀x such that x+y=z and if x and not y

2. ## Re: Negation of ∀x ∃y such that "x+y = z and if x then y"

Originally Posted by Odail
I have ∃y ∀x such that x+y=z
Please write your complete problem statement in the body of the message, not in the header. What do you need to do with this statement?

Originally Posted by Odail
and if x and not y
Then what? Please use complete sentences.

3. ## Re: Negation of ∀x ∃y such that "x+y = z and if x then y"

Originally Posted by Odail
I have ∃y ∀x such that x+y=z and if x and not y
The second could be construed to be "if x then not y" or "x and not y". Which do you mean?