b and f

A student club holds an election for officers. Before the voting, members can nominate each other. It is also possible for a member to nominate himself or herself. Some of the members are new members. Some of the members are currently officers. The domain is the set of members of the club. One of the members of the club is named Sam. Define the following predicates. N(x, y): person x nominated person y for a position . W(x): person x is a new member . 0(x): person x is currently an officer. Give a quantified expression that is logically equivalent to each of the following statements. (a) All the new members nominated all the officers, Solution One of the current officers did not nominate anyone (c) Everyone nominated someone. Solution (d) Someone nominated everyone. (e) Everyone nominated someone other than themselves. Solution Exactly one person nominated Sam