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,915
    Thanks
    1762
    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, 09:46 AM
  2. Monadic Predicate Logic - Hard Question
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: October 3rd 2011, 01:08 PM
  3. Predicate Logic #2
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: February 21st 2010, 09:34 PM
  4. Predicate Logic
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: February 6th 2010, 07:23 AM
  5. predicate logic
    Posted in the Discrete Math Forum
    Replies: 10
    Last Post: March 6th 2009, 07:04 AM

Search Tags


/mathhelpforum @mathhelpforum