Results 1 to 2 of 2

Math Help - statement logic, negation

  1. #1
    Newbie
    Joined
    Jan 2009
    Posts
    3

    Post 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:
    \forallx \inR \existsy \inR, x+y=0
    (for all real valued x, there's some real valued y, where x+y=0)

    Any help is appreciated
    Thank you
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,383
    Thanks
    1474
    Awards
    1
    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)
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. iff statement logic
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: October 14th 2009, 08:59 AM
  2. negation of statement
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: March 29th 2009, 06:37 AM
  3. Negation Logic
    Posted in the Math Topics Forum
    Replies: 2
    Last Post: January 11th 2009, 03:47 PM
  4. logic statement
    Posted in the Math Topics Forum
    Replies: 4
    Last Post: September 16th 2008, 05:36 AM
  5. negation of statement.
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: January 31st 2008, 01:49 AM

Search Tags


/mathhelpforum @mathhelpforum