Problem Set 2

Assigned: Sept. 17
Due: Sept. 24

Let U be a universe containing the following kinds of entities:

Let L be the first-order language containing the following primitives

Express the following statements in L: