P( {1,2,3} ) =
De conjunctie van A en B
A ∨ B
{2}
A│B
(A ⟹ B) ∧ (B ⟹ C) ⟺
A ⊂ B ⟺
(A ∨ B) ∧ ¬ A ⟹
Het singleton 2
¬ C ⟹ ¬ A
{{1}, {2}, {3}, {1,2}, {2,3}, {1,3}, {1,2,3}, ∅}
(A ↓ B) ↓ (A ↓ B)
B
A ⟹ (A ⨂ B)
∀ a ∈ A : a ∈ B
A ∧ B