Professional Documents
Culture Documents
-set belonging : ∈ ∨ 3
-set inclusion : ⊂ ∨ ⊃
-set belonging : ∈ ∨ 3
-set inclusion : ⊂ ∨ ⊃
-⊂ is always reflexive and A ⊂ B is always True
-but
-if is A ∈ B ever True ?
Logical Operators
and : ∧
or : ∨
not : ¬
if then : →
if and only if (if f ) : ↔
f or all : ∀
f or some(there exists) : ∃
∃ y(x ∈ A) is means x ∈ A
x = x → x2 = x2
a>b ∧ b>c → a>c
1
-elements can repet more then once
A = {1, 1, 2, 2, 3} = A = {1, 2, 3}
-membership
for A = {1, 2, 3}
1∈A
∨
A31
∨
{x | x = 1 ∧ x = 2 ∧ x = 3}
∨
{x | xisanaturalnumber}
-examples
{1, 2} ∪ {1, 2} = {1, 2}
{1, 2} ∪ {2, 3} = {1, 2, 3}
{1, 2, 3} ∪ {3, 4, 5} = {1, 2, 3, 4, 5}
-properties
A∪B =A∪B
A∪B =B∪A
A ∪ (B ∪ C) = (A ∪ B) ∪ C
A ⊆ (A ∪ B)
A∪A=A
A∪ = A