Results 1 to 2 of 2

Math Help - Quantifier Project

  1. #1
    Member
    Joined
    Nov 2010
    Posts
    86

    Quantifier Project

    Hey all, I would really appreciate some help with this problem. I'm not sure what they're asking:

    In each of the following cases explain what is meant by the statement and decide whether it is true or false.

    (i) For each x in the Integers there exists y in the Integers such that x+y=1

    (ii) There exists y in the Integers such that for each x in the Integers, x+y=1

    (iii) For each x in the Integers there exists y in the Integers such that xy=x

    (iv) There exists y in the Integers such that for each x in the Integers, xy=x


    Thanks in advance for the help!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,545
    Thanks
    780
    I'm not sure what they're asking
    Well, you have to decide if these four statements are true or false. Since the statements are in plain English, not understanding them presents a problem. I am not sure I can help since all I can do is use the same English.

    (ii) There exists y in the Integers such that for each x in the Integers, x+y=1
    This is false. Indeed, suppose that such y exists. Then x + y = 1 for all integer x, in particular, for x = 0 and x = 1. So, 0 + y = 1, from where y = 1. But then 1 + y = 1 is false since 1 + 1 = 2.

    (iii) For each x in the Integers there exists y in the Integers such that xy=x
    This is true. Given any x, take y = 1.

    Mathematics uses the same words and their meanings as regular language. The phrases "for all" and "there exists" don't cease to mean what they usually mean just because they are used to speak about numbers.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. for all quantifier
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: July 28th 2011, 06:23 PM
  2. Quantifier Help
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: April 12th 2010, 07:39 AM
  3. Quantifier Proofs
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: August 20th 2007, 09:48 AM
  4. quantifier
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: June 28th 2007, 03:14 PM
  5. Predicate and Quantifier
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: June 17th 2007, 05:49 PM

Search Tags


/mathhelpforum @mathhelpforum