Results 1 to 8 of 8

Math Help - Translate the logical expression into good English

  1. #1
    Junior Member
    Joined
    Mar 2008
    Posts
    56

    Translate the logical expression into good English

    Hi all. Does anybody would help me with my question with predicates?

    Let p(x, y) denote the predicate "x <= y" and let q(x, y) with domain of de nition N x N.

    For all x For all y For all z ((p(x,y) ^ p(y,z) -> p(x,z))

    I need to translate this into good english and say if it's right or false. So thats what i did:

    For all x, y and z natural numbers if number y is bigger or equal to x and if number z is bigger than y than z is bigger than x.

    Please somebody help me I'm getting confused with this z and how can i state whether the proposition is true?

    Regards
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,617
    Thanks
    1581
    Awards
    1
    Quote Originally Posted by Snowboarder View Post
    For all x, y and z natural numbers if number y is bigger or equal to x and if number z is bigger than y than z is bigger than x.
    If a is natural number that is at least as large as the natural number b and b is at least as large as the natural number c then a at least a large as c.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Mar 2008
    Posts
    56
    Is "If a is natural number that is at least as large as the natural number b and b is at least as large as the natural number c then a at least a large as c." the same as"

    If x is natural number that is at least as large as the natural number y and y is at least as large as the natural number z then x is at least large as z.

    BTW thank you for fast respond.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,617
    Thanks
    1581
    Awards
    1
    Quote Originally Posted by Snowboarder View Post
    Is "If a is natural number that is at least as large as the natural number b and b is at least as large as the natural number c then a at least a large as c." the same as"

    If x is natural number that is at least as large as the natural number y and y is at least as large as the natural number z then x is at least large as z.
    What do you think? It asks for a translation.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Mar 2008
    Posts
    56
    i presume that is the same but presume is not enough for me . It is quite confusing topic or maybe I'm just dumb.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Junior Member
    Joined
    Mar 2008
    Posts
    56

    Another example

    Thank you plato for your respond. What about this example:
    For all x For all y [There exist an z(Q(x,z) ^ Q(z,y)) -> Q(x,y)]

    It exist natural number z that is bigger than all natural numbers x and it exist natural number z that is smaller than all natural numbers y then all natural numbers x are smaller than all natural numbers y.

    And that would be false right?
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Newbie
    Joined
    Aug 2009
    Posts
    16
    You wouldn't be doing compsci 225 at auckland uni would you snowboarder? ;D
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Junior Member
    Joined
    Mar 2008
    Posts
    56
    yes i'm doing . just wanna get ride off it and start doing another assignment. on this forum is a lot of smart people that can help you figure out some silly problems
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Logical expression for set
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 11th 2010, 12:49 PM
  2. Venn Diagram - Determining a logical expression.
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 26th 2010, 02:40 AM
  3. Replies: 5
    Last Post: September 8th 2009, 07:46 AM
  4. How to reduce simple logical expression?
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: February 13th 2008, 07:29 PM
  5. is this logical expression equivalent?
    Posted in the Discrete Math Forum
    Replies: 13
    Last Post: June 11th 2007, 10:12 AM

Search Tags


/mathhelpforum @mathhelpforum