Results 1 to 6 of 6

Math Help - translation into predicate logic

  1. #1
    Newbie
    Joined
    Dec 2011
    Posts
    4

    translation into predicate logic

    Hello,

    I am in need of some help with translating the following sentences into predicate logic.

    1. Exept for Jean, all mathematicians travelled to Egypt.
    2. Some mathematicians don't take the conversations seriously when not everyone is present.
    3. At least one mathematician wants to speak with Jean and Jean alone.

    So I was thinking for 1) Ax (M(x) > (~(x=y)> E(x)) whereas M(x) means that x is a mathematician and E(x) x travelled to Egypt.

    2) Ex~Ay (M(x) & (P(y) > ~S(x)) whereas P(x) means that x is present and S(x) means that x takes the conversations seriously.

    3) Ex (M(x) & T(x,j)) whereas T(x,y) means that x wants to speak with y and with y alone.

    I am not realy sure about 3. Is there another way to tell that x wants to speak with y and y alone? I need to be sure these sentences are correct.

    Thanks!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member ILikeSerena's Avatar
    Joined
    Dec 2011
    Posts
    733
    Thanks
    121

    Re: translation into predicate logic

    Welcome to MHF, Sea90!

    I would interpret the statement "wants to speak with Jean and Jean alone" as "wants to speak with Jean and does not want to speak with anyone else".
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Dec 2011
    Posts
    4

    Re: translation into predicate logic

    Thanks for the welcome!

    I think you are rigtht about the third,
    will this be a better translation?

    Ex (M(x) & S(x,j) & Ay (~(y=j) > ~S(x,y))) Whereas S(x) means x wants to talk with y.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member ILikeSerena's Avatar
    Joined
    Dec 2011
    Posts
    733
    Thanks
    121

    Re: translation into predicate logic

    Quote Originally Posted by Sea90 View Post
    Thanks for the welcome!

    I think you are rigtht about the third,
    will this be a better translation?

    Ex (M(x) & S(x,j) & Ay (~(y=j) > ~S(x,y))) Whereas S(x) means x wants to talk with y.
    Looks fine to me.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Nov 2012
    From
    Sheffield
    Posts
    1

    Re: translation into predicate logic

    Hey Guys,

    I Am In Need Of Some Help With Translating The Following Sentences Into Predicate Logic.

    1. Jessica Cannot Outrun Any Man On The Team.
    2. Jessica Cannot Outrun Every Man On The Team.
    3. Everybody Knows Somebody Who Knows Alice.
    4. Somebody Knows Everybody Who Knows Bob.

    Cheers...
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,513
    Thanks
    769

    Re: translation into predicate logic

    Quote Originally Posted by jpatel3 View Post
    I Am In Need Of Some Help With Translating The Following Sentences Into Predicate Logic.

    1. Jessica Cannot Outrun Any Man On The Team.
    2. Jessica Cannot Outrun Every Man On The Team.
    3. Everybody Knows Somebody Who Knows Alice.
    4. Somebody Knows Everybody Who Knows Bob.
    You should start a new thread with this problem in the same subforum. Also, you should make an attempt to solve the problem and describe your difficulties. At least come up with predicate symbols and constants that should be used in the translation (hint: mnemonic names are preferable).
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. English to logic translation
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: December 20th 2011, 12:12 AM
  2. Predicate Logic
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: March 23rd 2011, 12:05 PM
  3. Predicate Logic
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: November 5th 2010, 07:53 AM
  4. Predicate Logic #2
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: February 21st 2010, 08:34 PM
  5. Logic translation
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 30th 2007, 12:41 PM

Search Tags


/mathhelpforum @mathhelpforum