# −    



!∀  −           #  

   ∀  #      ∀
&∀ !  # −   #   # 
#  / 
%∀ !  # − −   #  0 #

,∀   # #  # − −      
   ∋     #
∀ !  # − #     #  # 0  
 #     #

!  #  # 1     



  


 






























 

   


  

!∀ 21     # +# #   #


&∀ 3∋∗   # # 4 # +#  +#
#
%∀ ∗    # (+# )   #  
 #
,∀ 5     #  6  # 
# +#
∀   +#   #  #   
 

 ! ∀# ∃ ∃ %∃ &  ∋

!() ∗∃ +,(∗∃  −.#/ ! 0#∃(

7   # −8 #   #  .∋  #

+  1 #        ! 
# + 4 #    &     
 #  #        #  ## !
# #  # #   #     # 
 9       + #   
 #  # #  #8 # # #−∗  
 #    #    ##  # #
  #        1 −   
#  /      ∋   
#  %     #   #  ##
         #  ### 
   ## #  #  −  
   +  ## !  # +     #
 #        ∃ 8 #  
    −    # # ∋ 
∃ #    6   ##      
∃ # # # 1 #  #     − 
 #  #−# #     ∋  +    
   : #  61  ∃  +   
    #+#  +   # #  ∃ #
  # #  8
(1!  0 ! (2!∀

& (
 
   
    
  
 
      
 


)

!        ## −#    #

#  ##

!∀ !8 #    



  


 






























 

   


  
&∀     −    #−# # 
%∀ 7 #  8
,∀ ; # 
∀ %     ∃

3 <            #
  #  #     .

= (7   # −8 #   #  .∋  # +

 1) > 1 # + 4 #  
== (  # #  #8 # # #−∗   
#    #    ##  # # 
 #    ) >  #    + # 
   #
=== (       #+#) > 6   ##
   

! ?

!∀      =  ==  

&∀      =  ===  
%∀      ==  ===  
,∀      ==  
∀  #    

4 !      1 ## # ##

!∀ (7   # −8 #   #  .∋  # +

 1 #       )
&∀ (!  # + 4 #    &  
    #  #        #
 ##)
%∀ (! # #  # #   #     #
  9       + # 
   #)
,∀ (: #  61  ∃  +      
 #+#  +   # #  ∃ #   #
#  8)
∀ ( # #  #8 # # #−∗   
#    #    ##  # # 
 #    )

 (  

 
  
  
  
 ! 
    ∀
 

  
      

 
      
  

∀



 

 
    
 



  


 






























 

   


  
#        
  ∃
 
)

   #6  #       .#

   ## # . 

!∀ 4 ≅  #
&∀  ≅  ##
%∀  # ≅  9
,∀ 4 ≅  9
∀  ≅ +

∋  . (7+ 74 #    &) # 

−# 

!∀  61   6 ∃      

 # + 4 #  
&∀      1  # #  #
  + 4 #  
%∀
  #  − #  −   # 
#6 1  # + #   
,∀    .8  ∋   0  1 
    + 4 #  
∀  61    # .    # 
#1      ##   

 ! ∀# ∃ ∃ %∃ 5  

! 7+ 5 # 5 ; #   # − ΑΒΧΧ

            # .
∆  #    5∃# ΒΧΑΒ  1 #  1# Ε∀  
#  Φ∀     #   # 
∃
1     # #   8∗
!     ΑΓ∀ ##   − #
  #   # #  ΑΗΓ &  # 
 # % 
∃   ΦΧ  + #   
 −  .
#  6 1     
75  #   # #  # −   ! 75 1
     # #  #   # #  
 # . 1 #  #  # 1    #
8∗

5 !     # . ## >   >  #



!∀ #  −  # 8   #   # .

&∀   # #   #   + # 



  


 






























 

   


  
%∀ .   # #  # /   +  #
# 
,∀    # % 
∃  # # 
∀  #−  +  # #     #
−  

 (
  %

 % &
 ∋ 
 (∀)∗∗
∃  ∃      
 +
,
 + %−
 )∗()  ! 
  !
 ./0  

 .10∀ 2     

  
 ∀ 3−
∃!   
 
  4)

%  .  #−#   # # Ε #   

  #      . 61  # −#
     

!∀  # ≅  ≅ 

&∀   # ≅  ≅ 
%∀  # ≅  ≅ 
,∀  # ≅  ≅ 
∀   ≅  ≅ 

 !       # # .   

 # # #  

=   # # 

==  − # 
=== # # 
=3   # 8
3 1 #  #

!       #    #   

!∀   = ==  ===
&∀   ==  3
%∀   = ==  =3
,∀ = == === =3  3
∀   =  ==

 (
% ! ∃  

 

 


    

 )

!        # # ∗  
# .  ( #    #  

!∀ ! 75  1    # #  #   #

#    # .



  


 






























 

   


  
&∀    # #  #   # #    #
. 1   #  75
%∀ 1  #  75    # #  #   #
#    # .
,∀ ! 75 1   #   # #    #
.    # # 
∀  #    #   #  75 #  
# #    # .

 ! ∀# ∃ ∃ %∃ 6  &

!∃#/%∃ 7∃

7∗    # # # + ∃    ! +

1 #  #  # #     −  
 # # ∃ .         
−  −  ## # # ! ∗  #
#   #      # 
   # ## #   #  
#1   #  #   

6  ∃   + #    #   #  # 

 #  #  # # + 7    ∗
  ( ) ##  . # # #

!∀  #   ##   ## #  

&∀         #  # ##
%∀  ## #    #1
,∀   #    # 
∀  ## # #     

& (
 4 
 
   
  
  
   )Ι #
     # . ## #   
     ##  6 

!∀ 0 #     # #

&∀      #
%∀        #  
,∀ #   # ## #   #  
∀ #  ## #6  # #   

3 (
     

 ∃5 
     

          4  )
−!(!∀

!         1 !  

   #   



  


 






























 

   


  

!∀               #

 
&∀ !  ( #    )  #    
%∀ (! )  ( )   #  # 
,∀    () ∗     ()
∀ !  #   #∋  # 6


0
 
8

     

         

!∀ !  #   ∃  #     #   #

%
&∀ ! # ∋  #   () ∗  
# 
%∀ ! + #   #  ## +  #
,∀ !  #  #       # % 
−
∀    + #   #+# # 
#

: #    

! 4    ##        

  () ∋    ?    + 1  ()



  


 






























 

   


  
7  () ()  ()       


! # 8         .

;!&!ϑ=
? &

  − . −  #      ∋   

  

       # −    



!∀  −           #  

   ∀  #      ∀
&∀ !  # −   #   # 
#  / 
%∀ !  # − −   #  0 #

,∀   # #  # − −      
   ∋     #
∀ !  # − #     #  # 0  
 #     #

: #  

0     #            ∃

 



  


 






























 

   


  
     ∃ +   #    
1  #   ! + ∃    # ,=
8 ∀      7    #  !  −
 #  +   ∃

! # 8         .

;!&!ϑ=
? !

!  #  # 1     

!∀ 21     # +# #   #


&∀ 3∋∗   # # 4 # +#  +#
#
%∀ ∗    # (+# )   #  
 #
,∀ 5     #  6  # 
# +#
∀   +#   #  #   
 

: #  

36   ?

!∀     ∃   # ΒΧΧΒ  ΒΧΧΕ  

#     1   #  
&∀ ∆ 1  # # +#  # ΒΧΧΕ  ΒΧΧΦ
 ∗  4 
%∀ !     ,1    #    #
  #     # 4  #  
   ∃ +  # 



  


 






























 

   


  
,∀ %     #  6  ∃     # 
  #
∀ ,  1  +#   #  
        − ∃     #
        

;!&!ϑ=
? 

 ! ∀# ∃ ∃ %∃ &  ∋

!() ∗∃ +,(∗∃  −.#/ ! 0#∃(

7   # −8 #   #  .∋  #

+  1 #        ! 
# + 4 #    &     
 #  #        #  ## !
# #  # #   #     # 
 9       + #   
 #  # #  #8 # # #−∗  
 #    #    ##  # #
  #        1 −   
#  /      ∋   
#  %     #   #  ##
         #  ### 
   ## #  #  −  
   +  ## !  # +     #
 #        ∃ 8 #  
    −    # # ∋ 
∃ #    6   ##      
∃ # # # 1 #  #     − 
 #  #−# #     ∋  +    
   : #  61  ∃  +   
    #+#  +   # #  ∃ #
  # #  8
(1!  0 ! (2!∀

& (
 
   
    
  
 
      
 


)

!        ## −#    #

#  ##

!∀ !8 #    

&∀     −    #−# # 
%∀ 7 #  8
,∀ ; # 
∀ %     ∃



  


 






























 

   


  

: #  

7 −     #  #  ∃   

   # #?
 −
    ! 
.   #−   #    − #    #+# 
 #8 +    +    −   6
  #  #+#  #   

;!&!ϑ=
? %

3 <            #
  #  #     .

= (7   # −8 #   #  .∋  # +

 1) > 1 # + 4 #  
== (  # #  #8 # # #−∗   
#    #    ##  # # 
 #    ) >  #    + # 
   #
=== (       #+#) > 6   ##
   

! ?

!∀      =  ==  

&∀      =  ===  
%∀      ==  ===  
,∀      ==  
∀  #    

: # 

= >  #  #   0 ( )      

       +? (7+ 74 #  
 &)
== > ( #)   #  #  +#   ∃
#       − −   #  
  #     #   9  
    + #     #
      1  ===  −     6


          ∀ ∆
##    .     #  
#     6        

;!&!ϑ=
? !

4 !      1 ## # ##



  


 






























 

   


  

!∀ (7   # −8 #   #  .∋  # +

 1 #       )
&∀ (!  # + 4 #    &  
    #  #        #
 ##)
%∀ (! # #  # #   #     #
  9       + # 
   #)
,∀ (: #  61  ∃  +      
 #+#  +   # #  ∃ #   #
#  8)
∀ ( # #  #8 # # #−∗   
#    #    ##  # # 
 #    )

: # / 

  (+   # #  ∃ #   # #

 8) #1    #      #    
 # #  #+#   # #   #  ## 
 #   #  .  ? (  
∃ #   # #  8   #+# 
+   # # )

;!&!ϑ=
? ,

 (  

 
  
  
  
 ! 
    ∀
 

  
      

 
      
  

∀



 

 
    
 
#        
  ∃
 
)

   #6  #       .#

   ## # . 

!∀ 4 ≅  #
&∀  ≅  ##
%∀  # ≅  9
,∀ 4 ≅  9
∀  ≅ +

: #  

0 1 # #6   #  .∋  #   #



  


 






























 

   


  
 #6 ( #)  (   #) ∃ .#  #
  # . ( #        #
 ##) Κ1  #6 ( 9)  (
 9) ∃ .#     (  
   + #     #)

;!&!ϑ=
? %

∋  . (7+ 74 #    &) # 

−# 

!∀  61   6 ∃      

 # + 4 #  
&∀      1  # #  #
  + 4 #  
%∀
  #  − #  −   # 
#6 1  # + #   
,∀    .8  ∋   0  1 
    + 4 #  
∀  61    # .    # 
#1      ##   

: #  .

 .   1   .+  − 

#    #    # + 4 # 
8   !  #+  ∃ #    #
  #      #0 #  ∆  
#         # # # 
+      #  #   
 ∀

;!&!ϑ=
? &

 ! ∀# ∃ ∃ %∃ 5  

! 7+ 5 # 5 ; #   # − ΑΒΧΧ

            # .
∆  #    5∃# ΒΧΑΒ  1 #  1# Ε∀  
#  Φ∀     #   # 
∃
1     # #   8∗
!     ΑΓ∀ ##   − #
  #   # #  ΑΗΓ &  # 
 # % 
∃   ΦΧ  + #   
 −  .
#  6 1     
75  #   # #  # −   ! 75 1
     # #  #   # #  



  


 






























 

   


  
 # . 1 #  #  # 1    #
8∗

5 !     # . ## >   >  #



!∀ #  −  # 8   #   # .

&∀   # #   #   + # 
%∀ .   # #  # /   +  #
# 
,∀    # % 
∃  # # 
∀  #−  +  # #     #
−  

: #  

7      ##      

   #  # #  −#    61 # 
 ∀ % #      
#   8 ..  # #    #
  ##∀       ( ) !
  1     #  %
!  4   + ∃   !

;!&!ϑ=
? !

 (
  %

 % &
 ∋ 
 (∀)∗∗
∃  ∃      
 +
,
 + %−
 )∗()  ! 
  !
 ./0  

 .10∀ 2     

  
 ∀ 3−
∃!   
 
  4)

%  .  #−#   # # Ε #   

  #      . 61  # −#
     

!∀  # ≅  ≅ 

&∀   # ≅  ≅ 
%∀  # ≅  ≅ 
,∀  # ≅  ≅ 
∀   ≅  ≅ 

: #  #   #    #/ 

%   # #   #    ∋ #  # 

#  +# 0 #+    ∃  #
 # !  #  4  8  −  



  


 






























 

   


  
  #  !∀  ,∀ ∆    #∋  ∃  4
 %?

!∀ (
  %
 % &
 ∋ 
 (∀)∗∗
∃  ∃      
 +
,
 + %−
 )∗()   
  !
 ./0  

 .10∀ 2    

  
 ∀
3− ∃   
 
  4
)

,∀ (
  %
 % &
 ∋ 
 (∀)∗∗
∃  ∃      
 +
,
 + %−
 )∗()   
  !
 ./0  

 .10∀ 2    

  
 ∀
3− ∃   
 
  4
)

  −   , ∃   #/ 

#    
()   # # . ∃   6   
  ΕΛ  #   7  () ∃ 
 

;!&!ϑ=
? ,

 !       # # .   

 # # #  

=   # # 

==  − # 
=== # # 
=3   # 8
3 1 #  #

!       #    #   

!∀   = ==  ===
&∀   ==  3
%∀   = ==  =3
,∀ = == === =3  3
∀   =  ==

: #  .

=   # #  Μ (#    #) 

 ∀? ∗ #     
==  − #  Μ (    −#) 
 ∀? ∗ #     



  


 






























 

   


  
=== # #  Μ (   ##)   ∀? ∗
 #     

  #    #  #   

#  6   ## #    Ν
 Ι  − Ν  −Ι # Ν #∀

∆    # #−  (#) ∃      

6  # # /   .∀     (# ) 
#6  #   :  # ,  #  #
  0.   ∃       ?

=3   # 8 Μ ( 8   #)   ∀?

∗ #     

7       3    # ∃  #6 

# # #

;!&!ϑ=
? !

 (
% ! ∃  

 

 


    

 )

!        # # ∗  
# .  ( #    #  

!∀ ! 75  1    # #  #   #

#    # .
&∀    # #  #   # #    #
. 1   #  75
%∀ 1  #  75    # #  #   #
#    # .
,∀ ! 75 1   #   # #    #
.    # # 
∀  #    #   #  75 #  
# #    # .

: # ≅/ 

! 4    #   # ∃  4  #   #

  ∆  #   #  75    ( )  
(# )   #   #  

;!&!ϑ=
? 

 ! ∀# ∃ ∃ %∃ 6  &

!∃#/%∃ 7∃



  


 






























 

   


  

7∗    # # # + ∃    ! +

1 #  #  # #     −  
 # # ∃ .         
−  −  ## # # ! ∗  #
#   #      # 
   # ## #   #  
#1   #  #   

6  ∃   + #    #   #  # 

 #  #  # # + 7    ∗
  ( ) ##  . # # #

!∀  #   ##   ## #  

&∀         #  # ##
%∀  ## #    #1
,∀   #    # 
∀  ## # #     

: #  

Κ1   ΑΕ   #  #        

 #  .  # #  #     
 ## #  ## #  8∀    
#1 #   7  ∃  % ∆      #
# #    , #   .  
 
 
  −  #   ## #   
#1 Ο −   #  #1  4 #  
 #      #  


 8  #  #. 

;!&!ϑ=
? !

& (
 4 
 
   
  
  
   )Ι #
     # . ## #   
     ##  6 

!∀ 0 #     # #

&∀      #
%∀        #  
,∀ #   # ## #   #  
∀ #  ## #6  # #   

: #  



  


 






























 

   


  
<       (#)   ( )
 #− #∗  #           +
. # #  6     #

:  # Π;3 7     −     

;!&!ϑ=
? &

3 (
     

 ∃5 
     

          4  )
−!(!∀

!         1 !  

   #   

!∀               #

 
&∀ !  ( #    )  #    
%∀ (! )  ( )   #  # 
,∀    () ∗     ()
∀ !  #   #∋  # 6

: # 

!∀ 7
     

 ∃∀
&∀ 7 Θ      ∃      
 
%∀ 7 (<)     . ( )  () ∃  
(#)
,∀  ()    ()
∀
∗ #  +   6#1     
    

;!&!ϑ=
? ,
∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗

3 !∃  0.

∃ 

78∃∀∀