Translating quantified statements from English to logic, part 3. In the following question, the domain is a set of employees who work at a company. Ingrid is one of the employees at the company. Define the following predicates:
S(x): x was sick yesterday
W(x): x went to work yesterday
V(x): x was on vacation yesterday
Translate the following English statements into a logical expression with the same meaning.
(d) Yesterday someone was sick and went to work.
(e) Everyone who did not go to work yesterday was sick.
(f) Everyone who missed work was sick or on vacation (or both).