Recent content by hbails

Could I make the y in number 4. x-dependent? There is somebody whom everybody loves, where yx∈{x's mum} (Ǝ yx) (∀ x) F(x,yx)

Sorry for posting in the wrong section and thank you for your comments! I should've clarified my function, yes F(x,y) means "x loves y" and Gottlob Frege is one and the same person, I should also use the same name in the sentence and the expression. If I wanted to write "there is somebody...

I'm working on a project on Logic and as part of it I want to write a selection of sentences in mathematical/logical syntax. I've consulted a mathemagician for the the first sentence but need confirmation on the other five, would someone be able to tell me if my maths lingo is correct? What I...