Need help with this homework problem. I need to negate the statement and then re-express it as a positive statement. I've searched online and haven't been able to find an answer. I'm having trouble grasping quantificational logic so thanks in advance to whoever helps.
Original statement:
Everyone is happy sometimes, but no one is happy all the time.
My attempt at symbolizing the statement: let x = be happy sometimes and y = to be happy all the time. ∀(x) ∧ ∃(¬y)
Any help is appreciated.