Results 1 to 5 of 5

Math Help - Logic Proofs

  1. #1
    Junior Member
    Joined
    Sep 2008
    Posts
    37

    Logic Proofs

    Recall that the floor of a real number x, i.e. [x], is defined to be the largest integer d such that d <= x

    Proposition. For any real numbers x and y, [x + y] >= [x] + [y]

    (a) Explain briefly why it's not true if you replace >= with =
    (b) Prove that this claim is true.

    Notice that the definition of floor folds together two properties. If t is the floor of z, then (i) t <= z and (ii) for any integer d, if d <= z, then t >= d.

    It may help to give short names (e.g. like d) to expressions like [x + y].
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member vincisonfire's Avatar
    Joined
    Oct 2008
    From
    Sainte-Flavie
    Posts
    469
    Thanks
    2
    Awards
    1
    x could be 1.5 and y could be 1.5 and
    [1.5 + 1.5] = [3] = 3 is not equal to [1.5] + [1.5] = 3
    I don't know how you work in logic so I can't write a formal proof for you.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Apr 2008
    Posts
    17
    Quote Originally Posted by captainjapan View Post
    Recall that the floor of a real number x, i.e. [x], is defined to be the largest integer d such that d <= x

    Proposition. For any real numbers x and y, [x + y] >= [x] + [y]

    (a) Explain briefly why it's not true if you replace >= with =
    (b) Prove that this claim is true.

    Notice that the definition of floor folds together two properties. If t is the floor of z, then (i) t <= z and (ii) for any integer d, if d <= z, then t >= d.

    It may help to give short names (e.g. like d) to expressions like [x + y].
    For your part (b), just use the two properties. By property (i), [x] + [y] <= x + [y] <= x + y. Then, since [x] + [y] <= x + y, property (ii) says [x + y] >= [x] + [y].
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Junior Member
    Joined
    Sep 2008
    Posts
    37
    Could you write a formal proof please.

    Thanks
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Apr 2008
    Posts
    17
    Quote Originally Posted by captainjapan View Post
    Could you write a formal proof please.

    Thanks
    I'm not sure how much more "formal" I can get with what I already said. The only missing part is the statement of assumptions, which you should be able to figure out without cognition (just restate them as they are laid out in the proposition).
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Logic proofs
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: March 21st 2011, 05:39 PM
  2. Logic Proofs
    Posted in the Discrete Math Forum
    Replies: 11
    Last Post: February 11th 2011, 02:42 AM
  3. Symbolic Logic Proofs
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: May 13th 2009, 08:56 PM
  4. predicate logic proofs
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: October 7th 2008, 01:18 AM
  5. Logic & Propositions & Proofs
    Posted in the Discrete Math Forum
    Replies: 13
    Last Post: September 9th 2008, 10:45 AM

Search Tags


/mathhelpforum @mathhelpforum