Wykaż prawdziwość wzorów

[raidmaster]

Witam, podczas studiowania materiału z algebry zbiorów natrafiłem na zadanie:
Wykaż prawdziwość następujących wzorów:

1)\(\displaystyle{ A'\cap B'=(A\cup B)'}\)
2)\(\displaystyle{ A'\cup B'=(A\cap B)'}\)
3)\(\displaystyle{ (A\cap B)\cap C=A\cap(B\cap C)}\)

Wiem, że dwa pierwsze są prawami de Morgana dla zbiorów, a ostatni to prawo łączności, ale nie wiem jak je "dobrze udowodnić". Wiem że można przedstawić to na rysunku i wtedy wszystko jest doskonale widoczne, ale to są studia i pewnie trzeba to robić w jakiś sposób z definicji.
Nie wiem jak zapisać przypadek 1 i 2. Czy ` (prim) oznacza negację? Czy A` to to samo co ~A?

1) \(\displaystyle{ L=x\in X\backslash A x\in X\backslash B}\)
\(\displaystyle{ P=\neg (x\in A x\in B)}\)?
Czy \(\displaystyle{ \neg (x\in A x\in B)}\) czyli \(\displaystyle{ x\not\in A x\not\in B}\) to to samo co \(\displaystyle{ (A\cup B)'}\)?

Prosiłbym o rozwiązanie chociaż jednego z tych zadań dla przykładu.

[kuma]

2.
\(\displaystyle{ x\in(A'\cup B')\iff}\)\(\displaystyle{ x A' \cup\ x\in B'\iff}\)\(\displaystyle{ x \not\in A \cup\ x\not\in B\iff}\)\(\displaystyle{ x\not\in\ (A\cap B)\iff}\)\(\displaystyle{ x\in\ (A\cap B)'}\)

[Tristan]

Ten ' nie oznacza negacji tylko dopełnienie do całej przestrzeni, tj. \(\displaystyle{ A'=X \setminus A}\).
W 1) mamy więc
\(\displaystyle{ x \in A' \cap B' \Longleftrightarrow x \in X \setminus A \wedge x \in X \setminus B \Longleftrightarrow (x \in X \wedge x \notin A) \wedge ( x \in X \wedge x \notin B) \Longleftrightarrow x \in X \wedge ( x \notin A \wedge x \notin B) \Longleftrightarrow x \in X \wedge x \notin (A \cup B) \Longleftrightarrow x \in X \setminus (A \cup B) \Longleftrightarrow x \in (A \cup B)'}\).
Z 2) jest analogicznie.

Co do diagramów Vienna, to jest to po prostu rysunkowa wersja tzw. "tabelki", więc też jest to dowód.

[invx]

od kiedy
\(\displaystyle{ x\in A\wedge x\in B = A \cup B}\)

chyba

\(\displaystyle{ x\in A\wedge x\in B = A \cap B}\)

[Jan Kraszewski]

...\(\displaystyle{ x A' \cup\ x\in B'\iff}\)\(\displaystyle{ x \not\in A \cup\ x\not\in B\iff}\)...

Tak nie wolno pisać! Ja daję za coś takiego zero punktów. Powinno być:
\(\displaystyle{ x A' \lor\ x\in B'\iff}\)\(\displaystyle{ x \not\in A \lor\ x\not\in B}\)
JK

[ Dodano: 14 Października 2007, 00:07 ]

Co do diagramów Vienna, to jest to po prostu rysunkowa wersja tzw. "tabelki", więc też jest to dowód.

No, to już zależy od prowadzącego. Ja np. nie dopuszczam takich dowodów...
JK

[ Dodano: 14 Października 2007, 00:10 ]

od kiedy
\(\displaystyle{ x\in A\wedge x\in B = A \cup B}\)
chyba
\(\displaystyle{ x\in A\wedge x\in B = A \cap B}\)

Cóż, invx, ani jeden, ani drugi zapis nie ma sensu z matematycznego punktu widzenia... A poza tym zauważ, że ani kuna, ani Tristan niczego takiego nie twierdzili...
JK