Let $been(x,y)$ denote "person x has been to place y."
Express “Every person has been to 2 or more places” using quantifiers and $been(x, y)$.
This one is completely stumping me. I'm sure that I haven't come across this kind of concept before, and can't wrap my head around how I would approach it. I suspect the quantifiers should be $∀x$, $∀y$, and that it may involve negating the statement "every person has been to one or zero places," but that's as far as I can manage to go. Any help greatly appreciated.
Try this one: $$ \forall x \in \text{Persons}(\exists y_1, y_2\in \text{Places}(y_1 \neq y_2 \land \text{been}(x, y_1)\land \text{been}(x, y_2)) $$