I wanted to know if what I did is even on the correct path for how this question is worded. How can you have two variables when it's dealing with a single unhappy person? I'm guessing the third way will just be using De Morgan’s Laws for quantifiers?
Translate each of these statements into logical expressions in three different ways by varying the domain and by using predicates with one and with two variables.
- There is a person in your school who is not happy.
My first solution:
S(x) statement “x is in my school” and H(x) statement “x is happy”
∃x(S(x) ∧ ¬H(x))