Go to the latex subforum (you can click on the pictures I'll produce to see the codes)Would this be a correct representation of the 1. sentence?
(I couldnt find the mathematical symbols here in the forum ...)
Not really. In the 1st sentence, "x" remains the same (Juliet). In what you wrote, it can be different "x".there exists x. there exists y loves(x,y) AND there exists x loves (x, theFatherOf(x)) AND there exists x loves (x, theMotherOf(x))
In each coloured part, the x is a bound variable. So you can rename it like you want. Whereas it has to be the same. I'm sorry if it's not clear...
So keep quantifiers for the whole sentence !
This would rather be :
do you understand better ? :s
Same thing here.For the 2nd sentence:
there exists x there exists y loves(x,y) AND there exists x there exists y for all z loves(x,loves(y,z))
Am I on the right track?
thanks in advance.
But you defined the predicates well;