Needing help with #1, please explain.

1. For all integers m, if m > 2 then m^2-4 is composite.

2. If m and n are positive integers and mn is a perfect square then m and n are perfect squares.

3. The difference of the squares of any two consecutive integers is odd.

Write statements 1,2 and 3 below as quantified logical statements, using the universal and existential quantifiers, and defining predicates as needed.

1. mZ ...

P(x) is the predicate x is a perfect square

2. mZ₊nZ₊(p(mn) (p(m)p(n))

P(x) is the predicate k=(n+1)²n², where k is odd

3. xZ(p(x))

Second, write the negations of each of these statements in the same way.

1. ...

2. mZ₊nZ₊(p(mn)(~p(m)(~p(m))

3. xZ(~p(x))