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

Printable View

- Jul 28th 2014, 06:26 PMOdailNegation 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

- Jul 29th 2014, 05:13 AMemakarovRe: Negation of ∀x ∃y such that "x+y = z and if x then y"
- Jul 29th 2014, 06:49 AMHallsofIvyRe: Negation of ∀x ∃y such that "x+y = z and if x then y"