For each real number a consider the proposition p(a) given by

∃x ∀y (square root of|x| > and = a|y|) ⇒ (|x| > and = y^2),

where the universal set U is the set of real numbers.

(i ) Apply the negation rule to the quantifiers to write ∼p(a) without using the implication

sign ⇒.

(ii ) Find all values of a for which p(a) is true. Justify your answer.

A little confused as to what the answer is, because there is no answers in the back.... :\

Can you show me your way and if you can also include working out thanks