# statement logic, negation

• January 29th 2009, 01:53 AM
chtslip
statement logic, negation
Hi there, I need help with this one
Please provide the solution and explain
(I can only do simple statements myself, so I'm stumped here)

Negate the following statement:
$\forall$x $\in$R $\exists$y $\in$R, x+y=0
(for all real valued x, there's some real valued y, where x+y=0)

Any help is appreciated
Thank you
• January 29th 2009, 03:16 AM
Plato
Here is the general rule: $\neg \left( {\forall x} \right)\left( {\exists y} \right)P(x,y) \equiv \left( {\exists x} \right)\left( {\forall y} \right)\neg P(x,y)$