Help getting started with formal notation

68 Views Asked by At

I have this question -

Rewrite the statement “there are integers m and n such that 1/m + 1/n is an integer” using the formal notation containing quantifier and universe notations so that it is in the form ∀n ∈ Z (n2 ≥ n)

Can I get some explanations on what its asking me to do/some resource suggestions etc... without giving me the answer. I am completely new to this and honestly don't understand the question at all so some info to start me off would be nice. Like what do I need to google/learn/research to learn how to answer these kinds of questions. Thank you.