background image
background image

     

               

                              

           

!  ∀                 #  

       

   ∃  ∀ %

!

          

 

    !!

∀ #∃ % #& ∋  ( )∗+

∀ #∃ ∃# ,  − . /0+

.#     1

∀∃#2( . ,3(( 

, 4

451 678987: 87;8:

  ∃   %#( <(

=   .  8, < > 5< ?  #

5 ∃ .  8, < 

4  < ,<( < ∃  ≅    

# Α  :

;;8!! Β<(

,,,

<<<  

Χ.4/

  ∆ 2

∃    !

&    ∋!

background image

()#( ∗+,−.#

∃

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! /

+  #0
1       2

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 33

+  ##0
∃ ) 

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 34

+  ###0
56   ∃ ) 

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 78

+  #90
   ) 

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 83

+  90
:       

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! //

+  9#0
(  

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ;/

+  9##0
5     

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! <;

+  9###0
=      

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 43

+  #>0
∀   ?

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 4≅

+  >0
5   

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ≅;

+  >#0
1    

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! Α7

+  >##0
#      Β

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 33;

background image

5?     Β Χ    1

, ∋

Ε

  ;

∃

∃

<   2#  ∋∃2 ∋  ( #∋  # (> 3 < #8
(  <∃ 2  )( 1∃   >  2  (<8
> ) # 2 ∃ #<∗> ) <∃≅   <∃  ( 8
  #  > 3 # ∃2  < <#  < )(

#∋ <∗> ) <   2# ∃2 #( 2 %(<≅8
(  2  <∃>   2Φ  2> 3  2 
  >  <∗   <∋> )   ∃2 < 
Φ   > ( 2 )  ∋ ∃  2  <∗ 8
∃2  #Φ(Φ (∋> (∃ 2 # )( Γ  22 
∃ <Φ < ≅(> 2 < 2 2 <∃2  #> )
∃2 #( 2 ∀ > (  ∃2> ∃  ∃2 8
 ∋(2  Γ  2  > ( <∋ ((∃2 < 2  ∗
4 <)>   2∃ <    ∃ ∃  > 3 2  8
  <∃2>  < ∃#2(∗ <∃  # (#>   8
 <∃2   <∋> )  <2 ( <∗ <∋(> 
Γ  < 3 # < ( ∗ ∋  2Φ  Φ %(<≅( <
 # <∃2   #  <≅(  2# Η  < Α8
(# #<∃ 2 ∋  &∗>  ∃2 <   #<∗ <
<∃ (∋≅(  < Γ   ∃2 ∋    8
<∗>  <≅∗  <) #     < ∋  2  8
( # ∃  #2<Φ(>  < ∃2  ( ∗  
 ≅∗ Φ ,<∃ ∋ (2   ((∃2    8
∃∋ ∗ ∋ < ( (>   #∗ # # (  ∋(+ Η8
         (   Γ   <    <2   (   Γ    ∃   <(Φ)      
2  ( <  Η#) <   ∃2 ∋ <  ∗  2 (
∃  3<  #) <∃ 2 ∋> ) ∋ #<∃ >   <8
∃2>   )    (Φ   2   (       <∋(   )    ((

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

, ∋

Ε

  :

. ∃3<  <3>  3   #∃2 ∋   <#
Φ& <≅# #  3<  ( #> ∃  > )    
3 <∃2> ∃2    ∋      ∋ <∃2

ϑ < ≅∗>   Φ < <∃2 <  > 3     8
∃ < ) 2 )<  2> # ∃ 2>  (> 3  8
Φ #<)∃2     >  ∃  (#∃2>  #<2
∋   (  ≅2∃ ≅(> 3  (( 2 ∋ <∃

    <∃2  ∋ < ≅2 #∃ # ,∃2> ( ((∋
 ∗> ∃2  <   2  < # Γ    8
∃2  Η#)  ( <∃2  ()>  (2#  ∋    ≅<∋(∗ < 
)( Γ ∃  4   (∋∃2> < #Φ( < 
,∋  ≅∗ (> 3 # Α(∃2>  ∃ ∋  2 ∋8
(2 Η    ∃2 ∋  (∗  3> < 8
# #   ∃  #> ∃ ∋  >  2 2∃
∋ < ∃ #∃2 ∋>  2  2 ∃   (Φ∗

%(<≅(  2#∋ 23<∗> ) ∃2 (∋≅<  )∃ ≅
 ≅ (∋≅<>  ∋Φ(  <    < # <∃
2 ( = <∃ ∋> ) ) <∃ < # # 
 < <3( ≅(  (       < > 8
∋∃2 ∋  <2 .  ∋   ∃2> ∃2 ∋
#((>   3<> (  3<   >  <≅∗  2 
 ∃   ∃2>  ( ∃2  2≅∃2>  2 <∃2 ∋> 3 <8
∃2 ) < 3< >     ∋  (#∗ , ∃∃
    (< <     ∃2    ∗   ∋   <    Φ( <   (>      
∃#) )  Α # < ,   ∃  ∋ Α8
(∃>    <Φ( 2   (#    Φ>   )2
2 ∃2 (   (∋( 

4 < >  >  2#   2# ∋> <∃2   2∃> 3
2 # <∃ ∀2 2  ≅< 2   # ∃2> 8

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

, ∋

Ε

  Κ

∃2 ∋  (2≅ (∃ <( 22 .  ∋∃2 ∋  <8
  < Φ)(> 3Φ <∃≅ ( ∃2  Γ Λ/#   < ≅∗Μ
#  < ?,Ν  Γ 3 ∃  2  2 <2>
) ∃ )∃2 Φ) ∋>  23(  <∗     <
  < <Φ  ∋ =   < 2 ∋∋∃2  Φ) >
∃2 #) (∃ 2 Φ  Φ

=)  2  )(> ) ( <> ) <Φ ∃
2   (Φ < > 2 ∋  <∗>  <∃2    8
 < ,∃2 >   Φ(Φ    Α < ≅(Φ>
) < Α(# ∃2 2 (<∃Φ(  <  2>
<∃ ≅(  (∋(#> 3 < Α(# ∃∃  2 ∃
< (Φ(+ ∃2 ∋(   ∃ (>  <∋(  ∃ (#
    (∋ ∃ 2 ∋ (2 Φ∗  2>  < 3 8
2 (  ∃2 ( ≅> ( <(≅ <<∃  2 ∋  2
∋<∋(2 Η ∋ 23< Λ∀  2   +Μ 8
<Φ <  ∃2 )< Φ) > 3   < ((∃2 8
∗  3(    #∃ <  >  ∃∋∃   > 
∃ <  >  ∃   ∋( ,(Φ) <∃2
 <>    (( ∃ #   < 2 2 23#  <(≅ 8
 <∃ ∋   Φ≅ Φ

. < > ( ∃2 <   ∗  <≅(  > 8
2     ∃2   2 Φ   ( #∋   Γ       ∃ >    3   ∃2
 <∃ 2>   2         (Α <    Φ∃2   #2
< 2   (> 2    (  Φ  ∋#Φ( 2≅(
 <Α>   <≅(   (    Φ) >   3∃    #     #∃3<   
 >  3    <≅(>  #(  <  (
  Ο < # <   (+

.    2 ( Φ∋∗ < <    2 2 ≅<(# 
Φ)  Π< < Γ < (Φ#  # Γ  < <  

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

, ∋

Ε

  7

 )  ∃ # ( < < 2  Θ> <≅( (   8
#∃> (   <> 2Φ < < ∃>    
 ∋  Φ)   (   ≅∗  3<     ∃( 
(∃2 #

.   #     < 2  ( # = 
 ∃2>  << 2 Φ 2 (  >   <∃2 ∋>
(  2 )  2 #(∗>  (∋∃2 3 <∗   <∗ Φ
3<)   <   (    (   2     )(>   <    3(            
2∃2 ∃   1 < ≅(    ≅2∃ ≅∗>  3 # ≅8
∃ 2 < <#  ( 2  )(>  ∋∃ ,<> <8
∃> ∋(> < 3 ∋ ) <∃2  < < <∃   #>
∃   2∃2    ≅<(2      #         #
   <( #)∗ Γ < ) <  # (2 #(# Γ 
3  < ∃2   < 2 2( #>   ∋∃

,    Α(#    ∃2   <    (    # (      2Φ    Φ>   #)   ∋   
∃2>  ∋(∃2   ≅  <∃2>  3< (≅ 
 <∃2     #∋>  2∋(

2 ) 2  ( # 2∃  ≅<Φ(  # >  <8
∃2   (2 ( ∃ 2 =#Φ( ∋ (∃ 2  8
(2  22> 3 Γ  2 ∋ <  Γ ∋  66  8
( 2   2 (    2(>   #<)∃2   23          
< < 2  # )   <(≅  ∃ <     8
 # ( ≅(  )   ∃  <      <  ∗ 
( #  <   2 % (#  (#  Γ   >  #)
 )∃2 <   ∋)> 3 (∃ 2 ≅Φ  < 
<∋   Γ <∃2 #  2 < 3< > ) ≅ 
2 <∃ <  )(>    ≅ 2 <∃2 <  . 28
∃2 (∋≅(> )   <∃2>  <∋( 23<∃2> ) 3<) 
    <> (<≅( <  <2 (  2

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

, ∋

Ε

  

 Φ∃> ) ∋∋ # (   <∗  2> 3  8
 2  23∃ , (< ≅( 2 ∃2  <∗   <>
) < <∋ 2  Φ&  22   #  <∋  ≅∗   ∃(  3
)   <  <  <( (    < #

.   2∋( 2#     2 <∃  < ∃# 
# ∋>  2 2∃ 2∗ Λ∀# ≅( <   # 8
2Μ , <  < Φ)(  ≅∗  ∃  <∃2
< # ≅(>  2∃2 <∋( (  ( ∗  ∃#  #) <8
 Φ) > (3 # ( ≅(> 3 (∃  < 2 <∋ Φ
∋ #) Φ ( ∗  <#Φ( ∋  < ∃#>  ∃2
<   <2≅∗ ( <∋( Γ > ( 2 ∃2  ∗> (
 <∗> )  #2 2    <8
(∋) <∃ 2 ) ≅(  (3  < ∀ <∋(> < <> )
23  < ∃  ∋  2∃    &<∋    Λ ≅<(   (#3<Μ  <   #
  2 (    Α>   (∋∃2    <∗   ∋       2 2>    
 <∗ 2 Φ 2 <∋

,  >   (  ∃2> #Φ ∋ <  Φ)( ) 8
≅2 2 ,   < Ρ ) )   #<)2>
#22  <  ( 3<Ρ )   3 >   8
2# (<∃∗> 3  2( #   ,∃ ∃2 <3
< ∃ ∀ > ( ∃  2 <Φ(>  3 > <     ∃ 
    2  (∋∃  ∋           >   2≅∃2>  )    3 >
<   2#≅ #∃ ∋ <(∋)∗ <∃ 2 > 2 ) ≅8
   <∗ # ( ≅∗>   23(  <32 Φ& 2
∃#(( 2> 3  #  < ∋ <    #  #8
(

.   <∃    ∋>   )   2    # ( ≅∗>   <   (             >
 <∃ ∋ <  > 3 <∃≅ <∃2> ) <( #8
  2 (>  23( ∋ <  ∗    <  #( #8

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

, ∋

Ε

  6

∃2  < 3∗ < ∃ ( <   Γ  <  ∃ <  
2   <    2   < 2 ≅(2>    2       ≅ 2
<<   <  ∃  (> 3  ∃ 
2 < (Φ# <3(   ∀( 2 ( ∃#((   (8
∃  ∃  < <  Φ&  <∃ > ) (8
#  ∃ < ( < #>   # < <∃ Φ < )(
Η  ∃  ∃  <≅∗> 3 ≅ <∃ Φ 
 >  <(≅ <<∃  ∋   Λ<(Μ>  2 ∃  8
 ∋ <∗ Η 2∋)( <3(∃   2#    <∃ ∋
< #( <   > 3  <  <∃>  <3(∃    ∃#8
 < (> 3Φ #(∃   2 <Φ =#  <#   >
 < Α(#  #2∃> )  ((  ∗ #) # ≅ > #8
∃ ∋  ∃# #  #Φ(  (    ∃ ∋ (∋≅8
< )  (( ∀(     ∃#     8
>  #  < ∃<∗>   <#  < 3<    (
< ( 2 ∃ 2   >  3( 2 
( # ∃  # (>  )  (>  2  > ∃
<  ( ≅    <#  ≅  < 3<

,( )2    ) ( )( <( 2 )< ≅(>
)  < Α(#  ≅2 <   # #Α> 3 <  <8
∃ 2   (  (∃ <  2(> < ∋> ) (∃ <( ∋
2≅2    )        3<∗      <2>   ∃2   <
3 2 )(2> 32 )2>    2 )( < ∋
 #∃2 < (2≅ (∃ 2   #2 Η≅ #<8
)2>       ∃ <      ∗>   )   <(   2∋)(&      <      
)Φ(  <> (   (>    <>  ≅(> ( # 8
#>  Φ> (2 (∃ 2 ≅< 2>  2    <
 < <# <  (> 3 ( 2 (∋≅< 
2#Φ  # <∗ Φ& #2∗>     < 2>
  #Φ    #  > < (   8
 ∋>   ∋ Φ& (  <  #   4  

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

, ∋

Ε

  !

  > 22 ) <(Φ) (# ∋ ∃ >  <  < 
>       (∋            (3<   <∃(>    <(
Φ& (> 3  < #Φ   <    . (> 38
  2Φ <   #2∋  ≅( << ∃<  #  <
(> (> 3  #(Φ ∋    >   2∋ ∗ (#>
 (    > Φ& (> 3   (≅  < 3< 
2 Φ &∗  < >  <    ∃   >  8
(<∃∗ <∃ ∃ ≅(> 2 Φ <(Φ) ∋  #(∗  
≅< 2 <∃ >  )∗  ∃ Η≅  #(Φ> <
( (> 3     ∃  (  Φ>   ∋ 8
2 .  Φ)     Φ    , 2#
2 ∗  (  ∋(  (> 3 ∋  #(( 
 ≅(>  (Φ∗ (∋≅<    )(

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

Σ ∃ 4 ( 2 ∋  #Τ

Ε

  

+  #0

+  #0

1       2

1       2

  ∋> 3 2 <2   ) > 2  ≅2  8
 (∗  Φ∋( # (#

. #Τ  Τ  Γ  (∋≅( &<>  ( <8
>  3       ∃     (   #≅∗2>   )  <  (∃ <   2
    2  3∃ (  <   2#  ) ≅ 2  8
  (>  Α( <  )( ∋ (∃ ∋  <2>
(∋≅(2  ( <2  < (Φ( #) (#  > 
2  (∗ ,#>   <> ) ∋ #)  <> ≅
  < <≅( ∋∗ 2   ∃#> ) ≅ 2∃ 
<(∗  <(≅

)           #Τ+   <)Τ   1      2       2   (
<3 Ρ (  2 )( (> <    3   
<  Ρ          3<       3∃ (>              ∃#Ρ
 < Α(#               (∃          Η≅        
(∃ <  <∃  2> ) 22 <   ∃ 2# ∋ 
))    <   ∃2    # #>   )   <   <2      <∃    2#
<∋ Φ   2 ≅∗   (       (#   )    2    2#
 > ) Φ(   ∃#>  ∃ <#Φ( < 2
<  2# Γ (  <≅2  (<∗   (  <8
2   2   ( <  Τ

+  <≅2 #<)∗> ) ( <∃ ∋   Α(    8
< ≅   (∃   >  <)  ∃  2 2 28
2>   <≅2  #<∗ . ≅ (∃ 

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

Σ ∃ 4 ( 2 ∋  #Τ

Ε

   

 3&   >  <) # ∃ ∋>  23∃ <∗ <(≅8
  ∋    2>   # Φ∗> 2  ≅2 2# <3∃8
(#∗>   <≅2 &  Φ∗

Η≅  2  3<2 ∋    2   2 Φ∋8
(2> ( <#2 ∋  ∃  2 >    
∃# (  2 < ∃2 # #   2  ) ∋ 2>
   2  ≅2    ≅∗   # (>    (Φ(       2   (       ∋   2Φ
∋

 )  < #  > )     ∃  < <∃≅8
(< ∃            

Η ( ≅> (  # 2 ∋  #   (  <) 8
<( 2≅2  )(  <( 2 (<Α <
# (#> 22 (∋  ( ∃<(      
 (Φ(( # (#   )  5# (   Φ(> (>
)<<Ρ         )     <  ( <     ≅>        3∃    ) ∋    
 > ( ≅∗>  ( )Φ( , (Φ( << Γ 
   <>   )      #)<   ∋   )      (     <
(      <   2>           #    ∃   (∃ < >    
23(  <∗ 3 #   ∗  (   2 <   ∃2 )(
 #(2>  23(    ∗ <   ( ≅(> 2  < 
#2(< ∋  <     22  )(> ) 
<  ≅2  ≅< 2 ?( ( ≅∗   < )8
2   < #     Φ>   )   )( <  ∃   ∋   <∃   <    <∃ Α
#)< >  ≅

=  )   ∋  ( ((    (2  8
∗ ( #2 ∋(2> 2 )2   (> )  <∃
  < ∃# Η Φ )       (#>

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

Σ ∃ 4 ( 2 ∋  #Τ

Ε

  9

3 <(  <Φ <)> ) ∋  <  . < (∃8
2 (<> 2 Φ ∋ <<∗ ≅< 22  (∋) 2 ∋(8
2> 3 <(  < #Φ  <∋ Φ   ( (∋   < #Φ
 (<∃     < 3<>  <  << ∃#Φ 2  < 8
 .  < >  2 ∋ 2# )>  2> ) 
∋(  <Φ    Φ> )  2∋(Φ   Φ 2   8
(> )     ∃  ≅<∋(   ( ≅> (  < 
  ) 

. (  2 ∗Τ ( >   #)<Φ( ∋ 2Φ ∋>
2  ≅2 ≅∗ # (Τ (   <2 )(>
 2 2≅2     <≅2Τ (  2∃ Φ8
2  (  2≅    2Τ ( > 
(2   3&  Α( 2 ∋   #<∋>
  #<)2   ≅  #   < > ≅2  <>
2≅2>   )    ≅2    <2     2>    < 2       <8
23< >  #<<∗   #  ) Τ   <∋
∋   (> 23<Φ(> )  <3  < ≅( )  ∃Φ  8
(#> )   3) <∗  2∗ ∋> )  (∗  (#> ) 8
 2∗ 3∃ (  (  ) ( ∀   < Φ ((Φ
 (Φ  ≅<(>   2Φ ( <3  <<2
)(2            # #2>      22            2 2 <
<23<  Φ  ( <  (  2(>  3  8
2  2 22 <3 # ∃ < # (# ∋ ∃#(∃   8
  <2   <2>  <Φ(> )  ≅<8
(  <     <∃  <3  > )  
< Φ(     <  ∃ ≅( ≅(Φ (Φ(
 #  # (  ) > )  (< > 2    <8
(∋ <  <  (∃ 3 2Α

< ≅   22 ∋  2   Φ  ) ∋> &
∋ (#2 ∀ <∋  <2 Γ 22 )  < <8

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

Σ ∃ 4 ( 2 ∋  #Τ

Ε

  ;

(    ( <  (  Γ ) ) < ∗  8
2∋  # (2     2  )(2   ,2>   ) (>  3   Φ
# (> ΦΦ  2 (3 ∃ Α(> (Φ 2 22  8
< 2> (Φ  Φ (  2 ) (> ( (Φ  ) 
.   < 2Φ ( ≅ <∋( <∋> ) <   ∋ < # #
)(   < # 2 <   ≅2∗  #   <
≅2 23<> <2> ) Χ2  2∃ (∋> <Φ( Λ5# (
     #(Ρ  )           (  23#   (∃>  
2 ( (>  <Μ

( <∋( (2  ) Τ . < (3 ≅(> (   
 
  ) ∋Τ

 <)        2>   )    ≅2    2    ∃2   ,    Υ(   
,   (>  ≅2 (        < >  2 8
<( , ∋  )  Φ& Ο2(

Η  <∋  ≅(    ≅∗  <  % ,  Υ(  , 
 ( ∃≅2 #)   Ρ  (      
#)  ( (Φ  2 ,   )   (2≅  8
2(2>    #2        < <   2#        
<  2>  2   3 < >    < <#(  8
 3<   ) ∋ Γ  ) ∋    <Φ   # (2 Γ  < 
(  (( 3< ∀ <∋(    (  . 2
2   ∋>   )    ≅2       <(       2≅
 )(   (# Φ& <2 )  (< ≅(> 3Φ
2 )  ∗  3   ∋  <∗ ( ∃    8
)

   <> ) < 2 )(#   ,   )  Φ&
Γ # Φ(   2  Γ ,  Ο2(> )   <   8

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

Σ ∃ 4 ( 2 ∋  #Τ

Ε

  :

Φ)Φ(>     Φ(   <  ≅∗      # #Φ(   ∃>       <2
 2  ≅(   ∋ # (#  2 )2 (Φ∗   8
 <     >   )   2 )   ∋        3(∗   (<    2   <
2#2 2#  <∗ ( ∃>   #)  2 Γ <3(∗ ∋ 
 

 )2  ∗ ∋> 3Φ  (2   ) >  #)∗ 
  <( (3< 5Φ <   Γ   > #<> ( 8
 ( < Γ 3> ≅     )2>   <Φ 
   ((  #    < <(  # 2 )2
 2#∃ <∗ ( #∋> 3Φ  <≅2 < )∗ < )( Η 8
      (   (#> 3  <       
 Η  (#> 3Φ> ≅< 2 Φ& ≅< 2>  #
) (∃ < # (#

 (#    >  <   Φ  ∃ <> ) (> 3 28
Φ (∋  2  <> 2 Φ  #<∗> ) ( ≅  2∃
 2 < > 2 ) 2  23(  #   >   2#
2∃ (#   ≅∗     >  #   Φ <(
#2<Φ(> < 3 <∗ 1   )(>  (>  8
≅<( # (#    ( Λ)<Μ #   Φ <Φ <
<  <3 < ( #

Η  ∋ ∋ < &  (∋∗ ( <  8
(( < (2   <(> (∋∗ ∃ <  <  8
3  ∃# >  2 ) ∃  Α(∗     ∃# ≅∗
 #    (<≅(  )     #  >  3  22  
< >     > (   <  )   >
( ) 2#2 ∗   #<∋ ) ≅∗  ( # , )8
2  Γ  <  (2 #     2 #
<( <   Φ  #2<Φ(> ) <2 (
#    2 ∃    ∗    &<    2≅Φ((   (  3<   5∃#(

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

Σ ∃ 4 ( 2 ∋  #Τ

Ε

  Κ

(> 2 ≅ 2  (  >  (2 ∃#(  8
<≅( (#(   < ≅∗  2# 2 ∃  ≅∗  < 8
∋( <Φ < ≅(> 3(   ≅2 <   ∋ < ∗

∀ <∋(  ( 22 ) #   Φ 2 < > 2  8
(       2 < ,  3 <∗>  <)
 23∃   2 #  )  23( )2# (∃ < <> 38
  (    ≅<∋(   )( ) )(#

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

Σ ∃ 44 ,   ) 

Ε

  7

+  ##0

+  ##0

∃ ) 

∃ ) 

 #(3< 5( #  ?#>  (  .>  ≅2
∋ <( <(2  ( < >  ,  Υ(  ,   (
%< <   #Φ Γ (2  <∋  < Γ ∋
2#  ∃  <  #   <Φ <  ≅<8
(> 3 )    ∃ ,≅2 ( 2Φ( ∋>
  (  (  < ≅∗Ρ  2∃  # <(≅2 2 )8
< ≅∗  <3 <   (   <#Φ((  ∋   2 (Ρ      ∃#
(     (#≅2   ∃<   ∃   , 2 >   )   (∋    (∃ <
   Φ((    ( ≅((    ∋    ∃   ∋       ∋>
(> # >  <# > 3  <∋  8
<  #∃      ≅2(>  )  < >  <(Φ)
)∗> 2 ) <≅∗ < <∃ ≅∗>   Φ (∃ < <  ( ( ≅8
(( 2 ∋ #( < <  (   

 <∋(> <  ≅<(2>   2 2   <∋>
)  ∃ ∋ <   ( <<∋  <  # ∃ < 8
(       (Α <   <   <     <>      < #    <
< <  ∃ Γ   )2  (  3< 2   <∋>
) ∋(    < 2  #   ∃  Φ   8
<2  #  <# 2    <    ≅<(>
< (< ≅(      <2 <22    8
< 2 2 ≅(  3 ( Φ( #> 3 8
 ΦΦ   

.    ∋(      < >   (< <   < >   ,     ) >   , 
Ο2(>    (∋  #<  <  ∃ 

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

Σ ∃ 44 ,   ) 

Ε

  

2  ∃3<( ∃ )Α (  Γ   ∃> ) )
   2 )  Φ∗ > )  

< (∋∗ ≅2(   &  2 3( ∃∋ (  <( 8
( 3< ∃ #   <  ∃Φ(#  Φ 2  8
)∃ ∃#2(∗ 2> ) ( 2≅∃     # 8
< (2>  ∋Φ(2 <   < #∗ <#  #2  )
 <  <       ≅2(Φ   #    3 >    3  Γ     #<)∃  Γ  &   
 <∃

4 < ( 2 ?#> #Φ( ( 3< <  < 2  #>
∃ 2  ∋> < 3  <∃> )  (  ∃ 
 < #Φ(  << (Φ (∋∗ ≅2( %< 2  
∃       <≅2 (   # < (    #(      #        ∋
 2 ( ( ≅( <  #( (  ( > ) 2 8
) <  ∃Φ∗ Φ  ∃Φ(  # ≅2(>  >    8
      <  

1Φ& ( Φ& ≅2∗  ( < Φ  >    
( <   4    #  <#   )  <   )8
(> 2 Φ( <   <Φ(  <    > 
   #  #2∗> ) <  ≅2     2≅Φ
< # (   > (   >  )<(>   8
(  2 <(  ∋  < >  #( <∃ #>  Φ
 Α  2 (> ∋  22 ( <2  8
2#> 3   ∃   <     <∃ )(

∀ <∃≅    ≅2 # <)   <) ,   )8
  ( ≅ (<  

∀> ≅ <∃ ≅∗> ∋ > ∃  ∋(> #(  8
(   ∃       ( )(   ≅2  Φ8
)  (  ∋ Φ& <∃ > ≅   # ≅∃  < 8

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

Σ ∃ 44 ,   ) 

Ε

  6

>   <≅2 ∗ < ∃ ( ∃ < (>  8
<∋  ∃   < #>  3 <   <∗ ∋ , ∋
 )  (2 <  #2  Π22 ) 2  Θ . 
 < ∋  < 2∃  ≅( Φ& < ∃ < #  ∃ > 
 2 22 ( ≅ ∃ Γ (∃ 2 <<∋  ∃ Γ < 8
2 )(#>   <( ∃ ≅∗  2 22 (  
(∃

        ≅2         (>             ∋   ∃ >    
 <  < (> 2 )   Φ <(∗ Η 2 < 8
<   ∋ (#2    <∃<2>  ≅  (∋ 
 <2> )  <   >  ∗  <  Η ≅2
         <(        2<        ) (>   # 8
((>   ≅2∃ ≅(           (2≅    <2>   )       ( 
2 <(∗ 2 2  ) >  >  ≅2 <(  < 8
2

, 2∃  ≅(  # 2 ∋   ∗ 2 2 ∀∃#2(8
2 Φ (∋∗  ∃  #Φ ≅2∃ ≅(Φ 3  (Φ 8
#Φ(( Η 3<)  2 (# ∃ ≅∗     
2> ( <  2#>  2 #2 ∋  )2> ) ( ≅> (
≅ ∃ (#Φ(Φ (   Φ 2∃  ≅(>   (2≅ (∃8
2   2>   ( 2       #(Φ(2   .( <       #     
2 ) #∗ 2 ∋ <( <∗   Φ  #(∋  Φ>  3  8
<  2 ∃ ∗ (∋) <23< > )   ( <≅2  8
<)  2 )2 ()   <∗  # 2  <
  2  > (∃ 2     Η < 
    >   ∋  2   2 2 ∃  ∋8
(>  32#   ∃∋   ∋  ≅2>     2   ≅
 >  2  ≅2 (   ) Φ  < #  <
 #( ( 3<

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

Σ ∃ 44 ,   ) 

Ε

   !

  ) 22    < 3<>  ∃∗    8
2 ,∋  ≅∗      < 2 Λ(  Μ> 
<∋(   (>    3Φ   #∃    2   ∋   &∗   <    #(     2(
  2 <>   (Φ>  3  ≅2  < 

=    2#   ∋   (∋   ∃ )    >            8
∋Φ < ≅(Φ 4 2 ) (( ≅2 Γ    2 8
 (#( Γ  ( ∗    > <   2∃ ∗  (∋  >
   (>    2   > <2 #) <∋(
 2#  <> )  ≅2 <      < ∗

Β∃3<  < 5 (  ( (>    2∃)Α <    2∃ ≅( Φ
< 2 >   <∋  ≅∗   2∃ (   #   <(        <Φ    ∋   )(
  ∃2  <> 2∃  ≅(   ( Η ≅2 <(8
    #<)   #      (       ∋ ∋      #  
<  (2 ≅(  ((< ≅( Η   (  <Φ
< ∋> 3Φ 2 ) <  ∗  ∃ )  <    <
 2 <   Γ                  (   .    >   )   <   5 (>    
<∃   =    )< ≅(>      22         <(#>
∃#2(>   (         <           2∋)(   <   < #   ≅2
(∋) # < (> 3   2 )  ≅(>  ∃ ≅∗
<  < 2 ) 2   <∗  2  ∋>  2
<  2 < # ∋

∀    #( ∋  <Φ (∋> 3Φ # 2 ∋ 8
&∗>  < (Φ(>  < ∃#2(∗> (  <#  
 <    <∗ <∃  <(  (Φ < 22
2  (∗  (#  ∃3< (#   ∗   8
<Φ         (Φ         # 2   #2   2∗   
#<  2 (> ( <∗  2>   Φ( < ≅ 8
(   <(Φ( #<  ( Γ   ∃#> < > < 8
( . (  #  (  2∋(Φ(     #Φ(  8

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

Σ ∃ 44 ,   ) 

Ε

   

  < ∋  <2 < ∃ ∃ ( #> (38
 ≅  22 )(  < 3<>  Φ∗> ) 2  ≅
# ( 4 <   3 >  Φ(     <>  < #8
2> ) ∃ <   #2Α ,   )  ,(Φ) ∃2> ∃8
2>   <2> )   Φ

,∋  ≅∗    < Φ  ) ∋  2>  ( 
<(    2   # <         2   22   ,(       
#   <∗ > )  2 #) 2> ) 2  ≅2> 8
 2∃   > (  <≅2   ∗> 2 Φ2 8
< < >  #)  < (   > (2 2≅2 Η2
  < 3<>  3(  ∃ < 2 ∋ # <∗>  <∃≅ >
) < 2 ∋> )  ∋#2  2   #2  8
2 (3∃2   22 Λ < 2 2 2   )8
(Μ Γ ∃2 < 2(# Γ Λ    <<∋> )   
 > ( 23∃ 2 ∋    <∗Μ

%<  < 2(     < < 2∃  ≅( Φ&
  (Φ # < # ≅    (# ∃ )   ∋#Φ8
( < ) (<  ≅2 <   <Φ∗ ∋  Φ   ∋
   <        (>         2(       #<< 
4 <     ∋#   2 2 >          2#     ∋   #≅2(Φ∗
 ∗> ) 2> 3 2≅2 ∃   <3 <   
  <> (3   ≅ ( ∃Α % ∃ ∋∗8
Φ  Γ  (2 <   ∋ <(≅ Γ  #) < (Φ(
(>  23(    < ∗    Φ(  3∃) <
< (    3     (   3<≅ 3<   2 Φ  2    <8
∗ Λ(     2 ) 3 <∗ΤΜ 4 < (< ≅(
 3 <∃   Φ  ∃ ≅< <   ∃  <  
    2∋)( <  < #

   ,<( <

∃  ≅

Ι    1

background image

5?     Β Χ    1

Σ ∃ 44 ,   ) 

Ε

    

∀ <∋( ≅&2 ∋  ≅< > (  < Φ(>   <8
  > ( ∃   (>  <  < ) 28
   ≅(> <   Φ&    Η≅ # 2 ∋ )∗  ≅∗
< >  ∗ < (#   <> 2 <∗ Λ 3 
<∃Μ  2∃ ≅(> 2≅2> )  ≅2 ∃  > 2 8
<  ,   )  Η ≅2 < #2     ≅(> 
 <Φ(>  #   #  > )  ≅2 ∋  8
2 ∋ ≅2(>     ∋ )(

∀  2 < > < 3Φ 2   Φ 22   2> 8
  2 Α( Γ   2 2 2 #>  2  
<∋> )  <∋ ∃   ,   )  ∋ 
 <∗  3 >  3    (2 #   3  2
(∋( (<# .  2Φ   > ) < ( <2 2 8
2(   ∋   #Φ>      <     <2   ∋>   (     <2   ∋
< ( < >     )(    )∃ > (  ∃
∋  2 2>  (   ≅2 Φ& ≅2   ∋(
< (> 3  <∃ 2 (   ( 2

2  2 2 2      ∃#  2>  (∋
< 3   2   22 Η  3   8
    2Φ Η≅  ##2 ∋>   ∋  8
22>  >  ∋   #∗   <3(∗  (< ≅(>
# ∋ 2 ∃3<2 2 <2 2 2 
∋  <∗ (   Ρ 3 #2 <  2∗ #8
 >   ∃   <  ≅∗>  <(Φ)  <(2  /# 8
 % # .(>   (Φ(  ∃ <  2  (Φ 8
#

Η 2 )2 #((  Γ   <#>   .(> 3 #Φ( <3(∗ 
 ( ∃  Φ(> ) ,   )  <∋    ) 2 8
) ≅2  Φ

   ,<( <

∃  ≅

Ι    1