Thread: 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




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

Yes that does work.