Results 1 to 4 of 4

Math Help - Logic - if and only iff

  1. #1
    Newbie
    Joined
    May 2008
    Posts
    4

    Logic - if and only iff

    Hi, could anyone tell me how I would write this sentence
    in first order logic:

    "Bob likes to chase any animal if and only if Tom doesn't like
    to chase that animal."

    Bob and Tom are constants. Use the predicate L(x,y) for
    "x likes to chase y".

    Any help appreciated,

    sabatier
    Last edited by sabatier; March 17th 2009 at 10:53 AM. Reason: Adding helpful info
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member
    Joined
    Jan 2009
    Posts
    108
    b <--> !t
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    May 2008
    Posts
    4
    Hi, thanks for your reply. I should have mentioned
    to use the predicate L(x,y) for "x likes to chase y".

    Regards,

    sabatier
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,678
    Thanks
    1618
    Awards
    1
    On the universe of animals: \left( {\forall x} \right)\left[ {L(B,x) \Leftrightarrow \neg L(T,x)} \right] .
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Can someone check my logic (sentential logic)
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: July 13th 2010, 03:30 AM
  2. logic
    Posted in the Math Topics Forum
    Replies: 1
    Last Post: December 1st 2008, 08:49 AM
  3. logic
    Posted in the Math Topics Forum
    Replies: 2
    Last Post: November 3rd 2008, 10:30 PM
  4. logic
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: November 2nd 2008, 11:53 PM
  5. Logic
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: September 12th 2007, 05:05 PM

Search Tags


/mathhelpforum @mathhelpforum