A ∪ B=B ∪ A

A ∩ B∩ C=( A ∩ B ) ∩C= A ∩ ( B ∩C )
A ∪ ( B ∩C )= ( A ∪ B ) ∩( A ∪ C)

A × B= { ( a , b )|a ∈ A ∧ b ∈ B } (himpunan pasangan (a,b) secara terurut)

p ∧q=q ∧ p
p ∨q ∨ r=( p ∨q ) ∨ r= p ∨(q ∨r )
p ∧ ( q ∨ r )=( p ∧q ) ∨ ( p ∧ r )
∼ ( ∼ p ∨∼ q )= p∧ q
X ⊈ Y ⇒Y ⊂ X ?

2. X ⊂Y ' ⇔ X ∩Y =∅

Pembuktian ⇒: Karena X ⊂ Y ' , semua anggota X termasuk anggota Y’. Karena Y ' ∩Y =∅ , maka tidak
ada anggota X yang merupakan anggota Y. Kita peroleh: X ∩Y =∅

Pembuktian ⇐: ?? (Karena X ∩Y =∅ , berarti semua anggota X bukan anggota Y, atau X ⊆ Y ' .

Apakah Y ' ⊆ X ? Andaikan iya, padahal terdapat kemungkinan dimana s ∈ S sehingga
'
s ∈Y ∧ s ∉ X ≡ s ∉(Y ∪ X )
Akibatnya pengandaian gagal. Kita peroleh Y ' ⊈ X . Alhasil X ⊂Y ' . (Y ' ≡ s ∈ S , s ∉Y )

3. X ∪ Y =S ⇔ X ' ⊂ Y

Pembuktian ⇒: ?? ( X ' ≡ s ∈ S , s ∉ X . Karena X ∪ Y =S , semua anggota X’ pasti termasuk ke dalam

himpunan Y, atau X ' ⊆Y . Apakah Y ⊆ X ' ? Andaikan iya, padahal terdapat anggota Y yang juga
merupakan anggota himpunan X atau s ∈ S , s ∈( X ∩Y ) , akibatnya pengandaian ditolak. Alhasil
Y ⊈ X ' , sehingga X ' ⊂ Y
Pembuktian ⇐: X’ menyatakan semua elemen s ∈ S yang tidak termasuk himpunan X. Karena
'
X ' ⊂ Y ,berarti Y = X ∪(Y ∩ X) . Jadi,
X ∪Y = X ∪ ( X ' ∪ ( Y ∩ X )) =( X ∪ X ' ) ∪ ( Y ∩ X )=S ∪ ( Y ∩ X )=S . (Karena X ∩Y ⊆S )

4. X ∖ ( X ∖ Y )=X ∩Y ?

Bukti: X ∖ Y =x ∈ X ∧ x ∉Y

5. ( X ∩ Y ) ∪ ( Z ∩ X ) =X ∩(Y ∪ Z)
'
( X ' ∪ Y ' ) =( X ∩Y )
6. H × H=K × K ⇒ H =K ?

H × H=( hi , h j ) hi , h j ∈ H dan 1≤ i , j≤∨H∨¿

 K × K =( k m , k n ) k m , k n ∈ K dan1 ≤ m, n ≤∨K ∨¿

Karena H × H=K × K , maka diketahui kalau |H|=|K|, karena

H={h1 , h2 , … , h|H|} dan K={k 1 , k 2 , … , k|K |} (asumsikan H dan K himpunan terbatas) ??

7. Contoh penyangkal untuk:

( H × K ) ∪ M =( H ∪M ) × ( K ∪ M )
Pakai: H= { h } ; K ={ k } ; M ={m}

( ( h , k ) , h ∈ H ∧k ∈ K ) ∨ m∈ M ={ ( h , k ) , m }
( x , y ) , x ∈ ( H ∪ M ) ∧ y ∈ ( K ∪ M ) =( x , y ) , ( x ∈ H ∨ x ∈ M ) ∧( y ∈ K ∨ y ∈ M ) ??