Diagramy Venna-Prawa rachunku zbiorów

[Przemko95]

Proszę o pomoc w następującym zadaniu.
"Sprawdź przy pomocy diagramów Venna, czy następujące wyrażenia są prawami rachunku zbiorów:"

Przykład 1:\([(A\B)= \emptyset) \wedge (B \cap C \neq \emptyset )] \to [A \cap C \neq \emptyset ]\)
Przykład 2:\([A)(B \wedge C \subset B] \to [A \cap C = \emptyset ]\)
Przykład 3:\([C\B \neq \emptyset \wedge A)(C] \to [C\A \neq \emptyset ]\)


Tak to sobie nakreśliłem. I wychodzi, że w pierwszym nie jest to rachunek zbiorów, a w drugim ,że wyrażenie jest rachunkiem zbiorów. Nie jestem pewny czy dobrze się za to zabieram. Prosiłbym o pomoc w tych przykładach.
https://imageshack.com/i/eyDQdjfxp
https://imageshack.com/i/id7qP7e8p

Pozdrawiam Przemek

[radagast]

pierwsze nieprawda, drugie i trzecie źle zapisane. Twojego komentarza ("nie jest to rachunek zbiorów ") nie rozumiem.
Mój obrazek do przykładu 1 jest taki :

ScreenHunter_1186.jpg (8.69 KiB) Przejrzano 1917 razy