The barbers shave all those who do not shave themselves. Therefore, the barber shaves himself.
I need to write this in terms of quantifiers of mathematical logic. $(b,Sxy)$
So far I have done: $$ b\longrightarrow(\forall y(Sxy)) $$ I am not sure how to write the conclusion.