Results 1 to 3 of 3

Math Help - How would one make this statement false?

  1. #1
    Newbie
    Joined
    Aug 2013
    From
    Canada
    Posts
    4

    How would one make this statement false?

    [ \forallx \inD, A(x)] \Rightarrow [ \existsx \inD, A(x)]

    If you were to define your own domain D and predicate A, how would you make this statement false?

    My interpretation of this is:
    Let D be the set of humans and A(x): "x is alive".
    If all humans are alive, then there is a human that is alive.

    I have no idea how to make this statement false.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,537
    Thanks
    778

    Re: How would one make this statement false?

    If a statement is true for all objects, then there exists an object for which it is true. This holds as long as there exists at least one object. If there are no objects, then the conclusion of the implication cannot be true regardless of the statement.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Nov 2010
    Posts
    1,880
    Thanks
    742

    Re: How would one make this statement false?

    Let D be the set of all humans who are 100 feet tall.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Limit statement; True or False
    Posted in the Pre-Calculus Forum
    Replies: 2
    Last Post: October 14th 2010, 09:32 PM
  2. Is this statement true or false?
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: April 23rd 2010, 11:55 PM
  3. False statement about the existence of a number
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 13th 2010, 03:41 PM
  4. True or False Statement?
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 11th 2009, 08:04 AM
  5. Surjections and a true/false statement.
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: December 17th 2008, 04:43 AM

Search Tags


/mathhelpforum @mathhelpforum