1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Difference between two statements

  1. Apr 9, 2016 #1
    1. The problem statement, all variables and given/known data
    Write each of the following as an English sentence and state whether it is true or false:
    a) ∀x ∈ R, ∃y ∈ R, y^3 = x.
    b) ∃y ∈ R, ∀x ∈ R, y^3 = x.

    2. Relevant equations


    3. The attempt at a solution
    I think both say every real number has at least one cubic root. Maybe the second one says, there exist a least one cubic root for every real number?
     
    Last edited: Apr 9, 2016
  2. jcsd
  3. Apr 9, 2016 #2

    FactChecker

    User Avatar
    Science Advisor
    Gold Member

    I think that statement b) is poorly stated and that a better math statement would be:
    ∃y ∈ R such that ∀x ∈ R, y^3 = x.

    With that change, you should be able to make clear English statements from both a) and b) and say which are true.
     
  4. Apr 9, 2016 #3
    I think I got it.
    The first one says Every real number has at least one cubic root
    The second one says There is a real number that is the cubic root of every real number

    So the first one is true and the second one is false.
    right?
     
  5. Apr 10, 2016 #4

    FactChecker

    User Avatar
    Science Advisor
    Gold Member

    Exactly. As long as that is really what the original b) statement had in mind. I think that is what the original b) intended to say.
     
  6. Apr 10, 2016 #5

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Statement (b) is stated according to the usual rules of logic though. The comma between the quantifiers usually are read as "such that".
     
  7. Apr 10, 2016 #6

    FactChecker

    User Avatar
    Science Advisor
    Gold Member

    I admit that formal logic was not my field but it is not normal to interpret the coma that way in pure math. Statement a) should not be read that way.

    EDIT: I have to backtrack here. It appears that if the only way to make sense of consecutive quantifiers is to interpret the comma as "such that", then it can be interpreted that way. But I think it is much better and more common to use 's.t.'. The reason is that you only know if 'such that' is the correct meaning of a coma after you have read and understood the entire statement, and have ruled out 'and', and the usual English use of the coma as a separator. But then you are giving the writer the benefit of the doubt, which might not be deserved.
     
    Last edited: Apr 10, 2016
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted