>>49
集合に関する条件を、全て論理式に書き換える。

(p,q)∈{(X×Y)-(A×B)}
⇔ (p,q)∈{(X×Y)∩(A×B)^c}
⇔ (p,q)∈(X×Y)　∧　¬((p,q)∈(A×B))
⇔ (p∈X ∧ q∈Y) ∧ ¬(p∈A ∧ q∈Y)
⇔ (p∈X) ∧ (q∈Y) ∧ (¬(p∈A) ∨ ¬(q∈Y))
⇔ ‥‥

(p,q)∈右辺 の方からも同じようなことをやれば、
同じ論理式が出てくるはず。
多分、全部同値変形になるから、結局
(p,q)∈左辺 ⇔ (p,q)∈右辺
となって、右向きと左向きが同時に示せて証明終了。