The problem states:
Express this statement in the terms of a quantifier: There is a major such that there is a student in the class in every year of study with that major.
My response was:
∃x∃y∀z [x=major y=student z=year]
The graders response was that I needed a predicate function and that my logic was incorrect.
If i changed it to:
∃x∃y∀z(InClass(xyz)) [x=major y=student z=year]
would that satisfy the need for a predicate function? Or do I need to be more explicit?
I still dont see that my logic is incorrect. What am I missing?