Results 1 to 2 of 2

Math Help - basic predicate logic question

  1. #1
    Newbie
    Joined
    Apr 2009
    Posts
    1

    basic predicate logic question

    I am working thru Schaums Logic and one of the questions is:

    Formalize the following:

    Beth likes everyone except Al.

    (Given a = Al, b = Beth and Lxy = x likes y)

    My attempt is


    \forall x((x \neq a) \Rightarrow Lbx)

    does this look right? Any/all help gratefully received!!!

    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,610
    Thanks
    1576
    Awards
    1
    Yes that does work.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Basic predicate logic exercises
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: October 7th 2011, 08:46 AM
  2. Monadic Predicate Logic - Hard Question
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: October 3rd 2011, 12:08 PM
  3. Predicate Logic #2
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: February 21st 2010, 08:34 PM
  4. Predicate Logic
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: February 6th 2010, 06:23 AM
  5. predicate logic
    Posted in the Discrete Math Forum
    Replies: 10
    Last Post: March 6th 2009, 06:04 AM

Search Tags


/mathhelpforum @mathhelpforum