or
(answer 3)
(answer 1)
Prove the validity of
To quote our author from the solution manual: ``Both sides are true exactly when some x,y pair satisfies the property A(x,y).''