Homework Statement
Write the following statements in predicate form, using logical operators ^,∨, (NOT - negation but don't know where the symbol is :/) , and quantifiers ∀,∃. Below ℤ+ denotes all positive integers {1,2,3,...}.
I need help with this first statement:
For any x, y ∈ ℤ+ the...