4
$\begingroup$

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.

  • 0
    Wikipedia says $(\exists x ) (\text{man}(x) \wedge (\forall y) (\text{man}(y) \rightarrow (\text{shaves}(x, y) \leftrightarrow \neg \text{shaves}(y, y))))$2016-11-18

2 Answers 2