# Math Help - basic predicate logic question

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!!!

2. Yes that does work.