Let A1 be X and Y sets. Furthermore, let p(x, y) and q (x, y) be properties that are valid for all

x € X and for all y € Y are defined and may or may not be fulfilled.

Negate the statements and give the result in such a way that negations (if

available) are only directly in front of the properties p(x, y) and q(x, y).

(a) Vx € X 3y € Y: -p(x, y)

(b) Vx € X 3y € Y : p(x, y) Aq(x, y)

(c) Vx € X:-(3y € Y : p(x, y))