Results 1 to 2 of 2

Math Help - quantifier problem

  1. #1
    Junior Member
    Joined
    Apr 2009
    Posts
    50

    quantifier problem

    \exists t \geq 0 \forall s \geq 0, we have s \geq t

    t = 0 works.

    \exists s \geq 0 \forall t \geq 0, we have s \geq t

    Why does s = t+1 not work? The book said
    \exists s \geq 0 \forall t \geq 0, we have s \geq t is false since its negation is true. But I would like to know why could s = t+1 not be used?

    Thanks
    Last edited by mr fantastic; June 13th 2009 at 04:16 AM. Reason: The question may still be useful for others
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,617
    Thanks
    1585
    Awards
    1
    Quote Originally Posted by armeros View Post
    [tex]
    \exists s \geq 0 \forall t \geq 0, we have s \geq t
    Why does s = t+1 not work? The book said
    \exists s \geq 0 \forall t \geq 0, we have s \geq t is false since its negation is true. But I would like to know why could s = t+1 not be used?
    The answer may appear to be too subtle: it is a matter of order.
    Let’s translate the sentence into standard English.
    It would be: “Some non-negative number is greater than or equal to every non-negative number.”
    Surely put that way the expression is clearly false.

    Do you see why order makes a different?
    In a word, you are saying that ‘s is fixed’, it comes first, and it has a certain relation to every other t.
    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