!
&
" # $%
&" ∈
&
$
'
&
&
& &
(
*
+ ∈ %
,* %
.∈
.∈
/∉
' -%
/∈
0∉
( %
" ∉ $)
&
∉
&
1 2
!
&" ⊂
&
&&
%
,3
4∀
4 &
•
{
•
+
!
&
,+8
&& %
+
{∈
'
&&
⊂
⊂
*
∅ &
*
•
%
$
*
#
+ ⊂
*
&&
⇔
%5
=
%
∅⊂
*
%
}
&
&&
. 6} = {. 6 } = { . . 6}
& & &'
& +*
' -%
7
& & "7
* ) +49
'
) +6%.
{∈ + } &
&
+
⊂
}
{
& *
*
*
∈
%
$ &'
%
%
&&
%
*
%
%
+
: 5 &
!
;
5
%
%
%
+
& *
∅∈ +
={
5
,+
={ ∈
∪
={ ∈
={ ∈
∩
<
&
!
⇔
⊂
}
(
= {∅ { } { } { } { } { } { } {
!
!
4
4
4
∈ +
∈ +
+ ∈
∈
+ ∈
+ ∈
∈
∉
''&
=
=<< >>
>>
=
=
⊂
<
,
&&
}}
%
%
}+&
} +
} + ''&
&
&
&
!
-
×
+
&&
%
+
3
:
%
'
&
=+ ? ? ⇔ = ?
= ?
&'
× × × %%%
& . +
× × %%% ×
7
×
&&
&
'
5
•
•
•
•
@
:
:
*
&&
⇔%
&
:
'
∀∃
.
A
•
!
4
4
,• 5
+∀
+∃
•
∀ ∈
∀ ∈
∃ ∈
∃ ∈
•
+
+
+
;
∀ ∈
E∃ ∈
+
!
+
*
(
%
&
&
&&
&
& & &'
& ∀ ∈
'
+
*& '
%
&∃ ∈
'
&&
+
* %
= { 6 / 0}
=B 7
B)
∃ ∈
+
& *
*
+ &
∈
+ ⇔∃ ∈
+ +
∈
+ ⇔∀ ∈
+ +
" $ " $
+ +
C+ ⇔ +∀ ∈
+
+∀ ∈ C+
+ +
C+ ⇐ +∀ ∈
+
+∀ ∈ C+
+ +
C+
+∃ ∈
+
+ ∃ ∈ C+
+ +
C + ⇔ +∃ ∈
+
+∃ ∈ C +
A
-&
&
%
⇔
+
+
⇔
+
+
⇔
+
'
&
@
&&
∀ ?∈ + +
+ ?
= ?
+ D E∀ ∈ ∀ ?∈ + +
+ ?
= ? D
&
&
& ∃F ∈
+ %
&
-&
& %5
& *
⇔+
+
+
&
G& &
*& '
%
+
%
&
&
4
4
4
+
&
:
:
&
*&
&&
%
%
&&
&
+
&
%
5
,•
→
+
→
&
& 2
6
%
∈
•
+
→
−
→
.
+
→
→
.
.
.
→
−
→
.
.
+H *
*&
+
*
''&
5
+
→
+
.
*
)
%
%
+
1
:&'
(
→
!
→ %
+ + %
+ = + +
&&
+
I& A
*
%,
&&
'
*
2
:&
•
& &
%
+
∈ +
•
H
∈ +
*&
∈
!
+
++
%5
+ = E+
+ =+
+
&&
% :&#(
=+
%
+
+
&' %
%
+
-
+
+ D= + + +
+ +
*
*
&
= + + +
%
∈ +
E + D
•
&
+
%:
% ,
&&
&
%
*%
''
%
,&
∈ +
:&#(
+ 2
2
+
2
= +2 +
+2
•
+
=2
!
+ +
*&
-
+
+
=
=
∀ ∈ <{
+
+
∀ ∈
=
=
<{
}
+
=
}
+
=
2 =2
%
∈ +
= +
= +
A
&&
=
+
%,
''
∈
&&
%
∈ +
%,
''
&&
%
&'
0
+
+
= + +
= +
=
+
+
= + +
= +
=
G& &
5
∈ +
:&
&&
+
*&B
+
% ,
+
2 # *&
+
&
→
%
&
# *
-& &
-& &
& & &
# *
&&
# *
5
5
&
• 5
? 4(4
• 5
+
∈ +
*&
# *&
!
•
∈ +
& & B
=+
-
∀ ∈
∀ ?∈
7
+ +
= + ?
= ?
&
#
∀ ∈
∃ ∈
(
'
+ = +
&&
# *
+
%
# *%
,+
+.
→
→
+
ϕ
+
# *
.
+
# *
.
→
→
# *
.
+
.
# *
+−
= +
+∃ ∈
.
= −0
# *%
# *%
# *%
/
+6
5
&
→
A
→
7
'
→
→
&*
→
∈ %;
@
'
%
# *%
# *%
J &
& &
!
!
*
# *%
# *
J &
J &%
&'
# *
A
→
A
# *%
# *
%
& &
& &
= +
&&
-
# *
# *
# *
%
&%
&&
&&
&&
& &
%
& &
%
& &
%
-
:&
# *&
# *% !
# *
⇐
≠ ?%
:
+
&
& &
%5
= ?% :
&&
= + ? %:
= +
& &
# *%
= + += + ?
&&
# *&
-
& &
''
7
# *&
?∈
-
-
% +5
- K&
+
& &
&
&
& &
%!
= + ? %
%
+ = + ?
%
& %
*
*
%
-&
&
- #
&
- #
:&
!
→
→
+ !
# * %H
∀ ?∈ ++
+ =+
+ ?
!
?∈ % !
+
5
+
+ =+
+ ?
#
+ = + ? %
+. !
# * %H
∀ ∈ ∃ ∈
=+
+
!
# *
∈ %
# *
∈
= + ? = + + =+
+
& &
#
#
%
%
% 2
7
%+ ?
= ?
+ =+
+ ? %H
+ + = + + ? %
*
= ?%
= ?%
# *
%+ ?
-
?∈
?= +
4(4
4(4
= + ? %
8
: 3&
#
→
!
5
# *%
(
& &
−
→
?
∀ ∈
∀ ∈
−
L
!
I& A
!
! −
−
&'
−
=
:&
!
=2
+
!
= +
+
=2
=2
*
= +
&'
+
−
∈
+
−
# *%
−
∈
+
−
&
+ =
&&
+ =
→
!
:&
L
!
&&
&
%
−
%
=
+
−
+
*
+
& &
%
%
−
=
+
−
+ *
→ %
→
=
+ +
+
→
=2
% !
-
?∈
+ + = + + ?
+. ,
# *
!
∈ %
=+
:
& &
:
# *
:
# *%
−
+6 H
=
5
=
2 =
+
+
=2
%
# *
=2
→
= + ? %
+ =
+ ? %
= ?%
= + +
*
+
+
(
# *
, 2
−
+
# '%
# *
&
& &
−
=+
−
%
−
−
=2
+
−
−
=
−
=
&
:&'
!
→
9
%
•
!
M+
%5
={ ∈
M+
∃ ∈
}= {
= +
&&
∈ }
+
?
4(4
∨
•
!
%5
&
+
&&
={ ∈
∨
+
?
}
∈
+
4(4
&2 +
→
!
N
%
−
+
∧
−
% :
∈ +
⊂
+
−
+ ?
= % 5
+
4(4
−
=
∈
-
= +
+
∈
−
+
∈ % :
+
%
+
&'
∨
∈ % :
∈ +
A
∨
+.
∈ +
!
%5
−
''
−
=+
+
−
=
+ +
=
&
&%
%: O
+
−
∨
−
−
%
−
*
∧
+
?
−
4(4
+
# * F%
∈
%
=
#
∨
−
+
%,
''
%
+
= +
+
⊂
+
∨
+
= +
*
∨
&
M+
+
∧
# *
& & &
&
∧
+
∈
+
→
!
−
∧
∈
:
∧
⊂
+
∨
−
+
∧
∨
%H
+
∧
+
O
=
∨
−
∈
−
+
⊂ +
+
∧
∈
# *%
# *
∧
!
&*
∨
→
!
→2 +
+
+
⊂
%+
4
'