6. Use quantified predicates to express the following sentences:
a. āx, y ā Z, x < 0 ā§ y < 0 ā x + y < 0
b. āx ā Zāŗ, ¬āy ā Z, y = -x
c. āx, y ā Z, āz ā Z, z = x * y
7. Negate each predicate you created in question 6, then simplify them to remove the negation operators:
a. āx, y ā Z, x < 0 ā§ y < 0 ā§ x + y ā„ 0
b. āx ā Zāŗ, āy ā Z, y ā -x
c. āx, y ā Z, āz ā Z, z ā x * y