Originally Posted by

**sanv** Hi,

I have to represent the following sentences in logic.

1. Juliet loves Romeo, her father and her mother.

2. Romeo loves Juliet and also everybody loved by Juliet.

Lets say we have the predicate .loves.

and the function theFatherOf. and theMotherOf.

Would this be a correct representation of the 1. sentence?

(I couldnt find the mathematical symbols here in the forum ...)

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))

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.