Wykaż, że dla dowolnych zbiorów zachodzi implikacja

[bllab]

Proszę o pomoc w rozwiązaniu:
1. Wykaż, że dla dowolnych zbiorów zachodzi implikacja
\(((A \subset B) \wedge (C \subset D)) \So ((A \bez D) \subset (B \bez C)\)

2. \((A \bez B) \cup (C \bez A)=(A \cap B) \cup C \So A \cap B= \emptyset \wedge A \subset C\)

[grdv10]

1. Niech \(x\in A\setminus D\). Więc \(x\in B\). Aby wykazać, że \(x\not\in C\) posłuż się inkluzją \(A\subset C\) oraz prawem kontrapozycji.

2. Narysuj schemat Venna.