G sei eine beliebige Grundmenge.
(i) A∩B = { x ∈ G | ¬ ( x ∈ A ∧ x ∈ B } = { x ∈ G | ¬ x ∈ A ∨ ¬ x ∈ B }
= { x ∈ G | ¬ x ∈ A } ∪ { x ∈ G | ¬ x ∈ B } = A ∪ B
(ii) zeigt man am einfachsten mit einer Wahrheitstafel:
http://www.math.uni-bremen.de/~michaelh/Lehrveranstaltungen/Ana1_WS0…
(iii) (A ⊆ B) ∧ (B ⊆ C) ⇒ A ⊆ C
( x ∈ A → x ∈ B ) ∧ ( x ∈ B → x ∈ C ) ⇒ ( x ∈ A → x ∈ C )
Das ist ein Beispiel für die aussagenlogische Formel
[ ( a → b ) ∧ (b → c) ] → ( a → c)
die man mit einer Wahrheitstafel als allgemeingültig nachweisen kann.
Die Grundlagen findest du hier
Gruß Wolfgang