Q:

A student club holds a meeting. The predicate M(x) denotes whether person x came to the meeting on time. The predicate O(x) refers to whether person x is an officer of the club. The predicate D(x) indicates whether person x has paid his or her club dues. The domain is the set of all members of the club. Give a logical expression that is equivalent to each English statement below.(a) Someone is not an officer.b) All the officers came on time to the meeting.(c) Everyone was on time for the meeting.(d) Everyone paid their dues or came on time to the meeting.(e) At least one person paid their dues and came on time to the meeting.(f) There is an officer who did not come on time for the meeting.

Accepted Solution

A:
Answer:a) [tex]\exists \, x \in C : O(x) = 0[/tex]b) [tex]\{ x \in C : O(x) = 1 \} \subseteq \{ x \in C : M(x) = 1 \}[/tex]c) [tex]\{ x \in C: M(x) = 1 \} = C [/tex]d) [tex]\{ x \in C : D(x) = 1 \} \, \cup \, \{x \in C : M(x) = 1 \} = C[/tex]e) [tex]\exists \, x \in C : M(x) = 1 \, \wedge D(x) = 1[/tex]f) [tex]\exists \, x \in C : O(x) = 1 \, \wedge M(x) = 0[/tex]Step-by-step explanation:M(x) = 1 if the person x came to the meeting, and 0 otherwise.O(x) = 1 if the person is an officer of the club and 0 otherwise.D(x) = 1 if the person has paid hid/her club dues and 0 otherwise.Lets also call C the set given by the members of the club. C is the domain of the functions M, O and D.a) If someone is not an officer, the there should be at least one value x such that O(x) = 0. This can be expressed by logic expressions this way[tex]\exists \, x \in C : O(x) = 0[/tex]b) If all the officers came on time to the meeting, then for a value x such that O(x) = 1, we also have that M(x) = 1. Thus, the set of officers of the Club is contained on the set of persons which came to the meeting on time, this can be written mathematically this way:[tex]\{ x \in C : O(x) = 1 \} \subseteq \{ x \in C : M(x) = 1 \}[/tex]c) If everyone was in time for the meeting, then C is equal to the set of persons who came to the meeting on time, or, equivalently, the values x such that M(x) = 1. We can write that this way:[tex]\{ x \in C: M(x) = 1 \} = C [/tex]d) If everyone paid their dues or came on time to the meeting, then if we take the set of persons who came to the meeting on time and the set of the persons who paid their dues, then the union of the two sets should be the entire domain C, because otherwise there should be a person that didnt pay nor was it on time. This can be expressed logically this way:[tex]\{ x \in C : D(x) = 1 \} \, \cup \, \{x \in C : M(x) = 1 \} = C[/tex]e) If at least one person paid their dues on time and came on time to the meeting, then there should be a value x on C such that M(x) and D(x) are both equal to 1. Therefore[tex]\exists \, x \in C : M(x) = 1 \, \wedge D(x) = 1[/tex]f) If there is an officer who did not come on time for the meeting, then there should be a value x in C such that O(x) = 1 (x is an officer), and M(x) = 0. As a result, we have[tex]\exists \, x \in C : O(x) = 1 \, \wedge M(x) = 0[/tex]I hope that works for you!