Let x, y, z, be real numbers and let n be an integer. Negate this statement:

For all of x, For all of y [(x > 0 and y > 0) --> there exists n(nx > y)]

AND...

Use the properties of logical equivalence to show that:

~((~p and Q) or (~p and ~q)) or (p and q) logically equivalent p

maybe its because i have been up all night but these are killing me.