Results 1 to 4 of 4

Thread: 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; Mar 17th 2009 at 11: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
    20,433
    Thanks
    2313
    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: Jul 13th 2010, 04:30 AM
  2. logic
    Posted in the Math Topics Forum
    Replies: 1
    Last Post: Dec 1st 2008, 09:49 AM
  3. logic
    Posted in the Math Topics Forum
    Replies: 2
    Last Post: Nov 3rd 2008, 11:30 PM
  4. logic
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: Nov 3rd 2008, 12:53 AM
  5. Logic
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: Sep 12th 2007, 06:05 PM

Search Tags


/mathhelpforum @mathhelpforum