We were asked to express some functions using quantifiers then find the negation of the statement, so that no negation is left of a quantifier then express it in simple english.
we were given this statement: "Everyone is rich, but unhappy" and i'm not sure how to express it i thought of these:
∀x(R(x) ∧ F(x)) or ∀x(R(x) → F(x))
You can reword the sentence as "Everyone is unhappy, but rich." Unlike implication, conjunction is a commutative operator.