Domain of Discourse: People on vacation and their belongings
Vacationer(x): x is a person on vacation
Belonging(x): x is the belonging of some person
Packed(x, y): x is a vacationer that packed belonging y
Identical(x, y): true if and only if x and y are identical belongings
We can also assume "=" operator that is true when x and y are the same people or same object.
(a) Everything that was packed by someone is a belonging.
(b) Kim packed two identical things but nothing Kanye packed is identical to either of those. (Use the constants “Kim” and “Kanye” to refer to those two vacationers.)
(c) No two vacationers packed anything identical.
(d) Some vacationer packed only two things.
I am having trouble going about how to solve these four propositions. The goal is translate them into predicate logic, but I can't seem to see how to relate those predicates to solve the propositions. Like when it says "packed by someone, is a belonging" but the packed predicate defined also checks if that someone is a vacationer.