Translating Predicate Logic

30 Views Asked by At

Given the following three predicates:

$A(x)$: $x$ is Emily

$B(x)$: $x$ is student

$C(x,y)$: $x$ is a book of $y$.

Translate the following sentence into a predicate logic expression:

Emilies' books are books of students.

My ideas: I had trouble to translate "Emilies' books", since knowing that would be easy to construct given sentence. I think using two universal quantifiers would help, but unsure on how to construct "Emilies' books" part.