Translate each of these statements into logical expressions

Translate each of these following statements into logical expressions using the following two domains

Domains 1: All books is U of C library

Domain 2: All books

A) Every book in u of c library has a title.

A(X) = x is in u of c library

B(x) = x has a title.

Domain 1: ∀x B(X)

DOMAIN 2: ∀x ( A(x) b(x) )

b) some books in u of c library has more than 500 pages

C(x) = 500 pages

∃(x) C(x)

∃(x) (A(x) ^ C(x) )