Statements with nested quantifiers: English to logic, part 4. About A student club holds an election for officers. Before the voting, members can nominate each other. It is also possible for a member to

asked May 20, 2021 184k views

Statements with nested quantifiers: English to logic, part 4. About 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. O(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.
(b) One of the current officers did not nominate anyone.
(c) Everyone nominated someone.
(d) Someone nominated everyone.
(e) Everyone nominated someone other than themselves.
(f) Exactly one person nominated Sam.