Prove:
A × B = ∅ if and only if A = ∅ or B = ∅.
i would do this by proving the forward direction using the contrapositive, and the converse via a direct proof.
at some point in your text you should have it written thatfor every set
. this should help you prove the converse directly.
for the forward direction, assume NOTor
. then by DeMorgan's laws, we have that
AND
. now if both
and
are nonempty, what can you say about
?