Results 1 to 2 of 2

Math Help - Discrete (Negation)

  1. #1
    Member
    Joined
    Feb 2008
    Posts
    79

    Discrete (Negation)

    Let P(x,y), R(x,y) and T(x,y) be properties which involve reals x and y. Negate the following:

    (\forall x)(\exists y)[(P(x,y) \vee T(x,y)) \implies (\sim S(x,y) \wedge R(x,y))]

    Note: you are not allowed to have an implication in answer

    ------

    My answer:

    (\exists x)(\forall y) [(P(x,y) \vee T(x,y)) \wedge (S(x,y) \wedge \sim R(x,y))]
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,605
    Thanks
    1574
    Awards
    1
    Quote Originally Posted by DiscreteW View Post
    Let P(x,y), R(x,y) and T(x,y) be properties which involve reals x and y. Negate the following:

    (\forall x)(\exists y)[(P(x,y) \vee T(x,y)) \implies (\sim S(x,y) \wedge R(x,y))]

    Note: you are not allowed to have an implication in answer

    ------

    My answer:

    (\exists x)(\forall y) [(P(x,y) \vee T(x,y)) \wedge (S(x,y) \color{red}\vee \color{black} \sim R(x,y))]
    See the red above.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Negation
    Posted in the Discrete Math Forum
    Replies: 11
    Last Post: October 20th 2010, 12:10 PM
  2. Negation of x in A or B
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: October 13th 2010, 08:13 AM
  3. Negation help (2)
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: April 15th 2010, 07:49 AM
  4. Negation help
    Posted in the Discrete Math Forum
    Replies: 14
    Last Post: April 13th 2010, 09:20 AM
  5. The Negation
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: October 22nd 2009, 12:55 PM

Search Tags


/mathhelpforum @mathhelpforum