You are on page 1of 17




  


 


  



  


 

   


 


  

   
 








 



  

  


 

 

 
 
  
 



   
 
   

  !

 
 

∀ 

 ∀
 


  #    
∃∀  
   
∃ ∃ # ∃%#∀


&∋ ( )%∀%

  ∗ 


∋
 
 ∗

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

    ∀


  ∀
∀
∀

#/ 
  
  
 ∗  %

0)∗ 1∗
  ∃ 


∀− 

#   
∗ 

 
∗    

−   %
#      %
   
∀ 
 %

/
/∗
 
2

3)1∗4 +!
 (4
%1∗

5
 
#/ +   %
 %#%
+#  
∀
 
#/ 
  
  
 ∗  %

∗  %
  
#/ +#
%
 
∗
 
+%∗ ∀
  
 
∀
 
+  ∀
  %
  ∀
 %
#

    
 % 


64
4
+)


%## 

#  ∀ %7 % %

∀
%∗%
 ∗
 
∗ ∀%∃∗

 + 
∀ 
#/ 8 ∀
∀
 

∗ 


 ∀ ∀ 
 
+∗ 9 ∀+
∗
− 9 
:;
∗ 
∗#%#%#  

 
  
   
∗
∀
#  

8∗8  #
<
  %∀  =#
∀    ∀

>)∋ ∃∀ 
∀  4 


+%∀#

, 
∗ 

  

 ∀
 


  #    

?9 ( ∋(


≅
∗∋ 
Α

∃∀  
   
∃ ∃ # ∃%#∀

  ∗ 

  /  
 %∀%
  
∃∗%


 
% 
  
∗# %
  
1   % 
% ∗
 
 
∗


Β)  Χ )


%    

∆
 ∆,.7 
 %#
%∀ /
 






 


∀ /


 
 %#
∀  %

 #
−%%

∀  
∀  
∀#
∀

  ∀

%%#
%#
%
 
∗ ∀7∗ 

=∗

∀  
∗ # 

∗  
∗


 ∗  %
  ∗ 


∗ ∀

  
  ∀

 ∗  %
  ∗ 



 ∗  %
  ∗ 


∗ ∀

/     
  ∀

 ∗  %
 
∀ 
#


Ε1 +% 


 Φ 1
 

∗Γ %
 <

∃∗ ∗ 
∗
 # 

 
∋
 
 ∗

  ∀   + 


%


    

  +

∗%
  ∗
 #


 # 


%∀
 

∗ 

 ∀% 

 ∗



∀ ∗∗


 

  ∗ #


+
∀ #
∀

∗ ∀
 
∀ 
 # 

∗  
 
 
 

 

 
%
 %

 % +     

 
 
  ∗ % 
%
%
 ∗


∗  ∗ 
∗∗
  +
%  
∀+ 
∗
 +

    


  %− 
 +

 
 
∗  
  
− 


 %∗
 
+% ∗
 # 

∀


  

 % 
∀


     


 % 

 ;
∀    − %#% 
∀ 
 %

− #  +

∗
 

  %
 ∆% %7∆

∗ 

∆  %7∆
∗ #  


7 ∗

 7  ;
) # 

 


+   

   

 ∗∗
∀ 

#  < ∗∗<+< <ΒΒΒ<ΒΒΒ<03><<ΒΒ?<ΒΒΒ<#  


∗∗∆
∗
;< <
<∗
 <
<
%<>6?Ε<&<8∗<
<∗
;



 ∗∗ 
 ∗∗
∀    ∗∗
 ∗∗
 ∗∗
 ∗∗
∋ 
>Β?
∗
+
%  
   # #%    
%

#   +  
 
 +# 7  


 ∀  # 
∀ 
  ∗∗
 ∗ 
∗∗  ∗∗

%#
  

%
%
∗ 
+  ∗∗
∀ 
 +
∀∃ 
 

∗
+ % 7 
 #%;#


∗
 %, 
∗
 ∗∗
. 
∗∗# ∀ 
 

   ∗∗ 
+  

 ∀
 ∀   
  
∀    ∆∆# ∗ 
∗∗ ∗∗
 ∗∗      ∀   

 
∀∗∗  

 %∗  # ∀ 

 − 
##   #
∗ ∗∗∀
# +
 

 

 ∗∗ +
#  ∀
 


4

%+∗ 
   
#  
 
∗%

#  %∀
∗  ∗∗ 
 
∗+∀ 
 ##
+  ∗∗:
 ∀#∀#
∀# 
∗

#
+  ∗∗

+  
∀# #

9∗    ∗∗∀  #  

 %

 ∗∗
+

 ∗)   Η  


 # 
    ∗∗
∗ #   
∗
 ∗  ∗∗∀   
 
∗∀ ∗# )
)

∗
# 

∗/%
+ ∗∗7
 ∗∗   

### 
 

 
 
# 
 
∗  ∗∗− 


∀
∗
 
∀ ∀ ## 
∀ %

∀ 
#  % ∗∗
%
∗# %
  
∗





∀
 
%
#   )
 
+ ∀#∗
+ ∀ 
 ∗∗
+ ∗∗,. +,


#
∗ 
∗
#
+  
 ∗∗
#
∀
  
−
  
#
 + )  
  %# 
  # # 

∗∗

+∀% 

    
∗ 
#/ 


∗∗ %
 ∗∗/;# %/+  

∗ 
   

∗ 
 
∗ ∀
 

 
 ∀%∀  
  
 
 ∗∗ ∗∗
∗∗ +  + ∀
 %∗  # 
   −  ∗∗
∗
 
∃ %
∀

   
∗
∋  

∋

 + 
∗ + ∗∗ 
 
  ∗%

  
∗ ∗∗ 
 ∗
 
∗
  


∀ 

∗
 + 2
+− ,  

∗#
%
∀  

∗    
  
∗ %
∀
 %∗
%
 
 
∀ 



 
∗  
  ∗∗   ∀

∗  ∗
∗   

.Ι
8∗ 


+
+ %
∀   
∗ ∗∗ 
  %
 %#  ++ %∗
 

+   
∀∀+∀  ∗ %
)9


  % ∗∗4∗
%∀
)9


  % ∗∗4∗
 )
9∗ % ∗∗ 

 ∗ +    % 
∀ 
 # 
%
∗ 
+  ∗∗
∃ #  
∀

∀# %
  

∃
 
∗ ∗∗7  ∀   
#  #%
∃ %  
∗  ∗∗4
 % 
∗
 
5
%∆9  

∗  ∗∗∃ %∀   

∗ 
   

∗ 
 

∀∗
 
+ 
#
+  ∗∗

+  

<∀  
∗∗
 

∀

#   ∀ ∗∗


# 
  
+
∗ % 

  %∀
  
 

∗(+
    
 ∗


∃    
7
 
 %

#   
∗  

/ 

 
∀  %

∗
 
∗∗
∗ 
.7  
 ∗ 
  

# + 

∗4
,
/. 
     
∀8  % 
∗ ∗∗∃∀

 
∀  ∗∗
   

 
 
 
 
 
9∗( 
  % ∗∗ 
Γ
    #
   ∗∗ 
 
 
Η 

  % 

∗   ∀ 
∗∗∀  ∗ )   
 
∗ 
  


Γ
   ∗
∃
  ∗

,∗  

∗ ∗∗.

(
∀     

 ∗∗ +
∗
 Ι  
   ∋
%

 


  
 ∗∗ +∆∗
∆∀
 
∀ +  
  
 

 ∗∗ +
∀ 
  
∗


  
  !%
  +    ∗∗ 

∗ ∗∗ΕΕ∗ 
   %
∗   
!  
∗  ∗∗
=1

∗## /
5
%∆ ∗∗# ∆
# 
;
+ ∗∗    %%
  =∃
∀

∗  ∗∗
∗ # ,#
 ∀ 

 # %



∗  ∗∗
+ #  


∗
   

 ∗∗
    
 
ϑ #
 ∗∗
+

#

 ∀ 



∀  ∗∗
   

 
 
 



#
+
 
 ∗∗

+

∗   ∗∗ %ΕΕΕ
 #
 # %
## #
## # 
∗∗/
  ∀%  
∗ 
%
∀ 
∀

∀  
∀


∗
8∗
 
∀%∗
8∗
+

+∗ 
∗    +∗ 
Κ∃Λ∃Κ2∃Λ −  


#%∃Κ1Λ
∀Κ
+
−  
# ∗∗
 ∗∗ #

   
∗


 ∀%∗ 
∗ ∗∗
 %  ∗∗#   
∗∗,. +,
 .,
# .,.,
# 
  
+
∗ % 

  %∀   
Χ  +/   Η   
  
 

 
∗∗∀
##
%

 
 ∗∗∗
  
 2
∗
  
∗ 
#

∗∗ ∗∗ ∀/ 

  
∗%
 
5

+  
!
 +

  +
 
;

∗ 
Α# 
−% # +∗

 ∗ 
 
 
∗

 
∗∗∗   %∀
 
 ∗
    ∗∗
#  
  ∗ % ∀
∀
 


∗ ∗∗   
 #  
∗∗ ∗ 
       ∗∗
∗∗  ∗∗ ∗ ∗

∗
 ∗ 
∆Η+ %
∆∆+% 
∆∀
 
# ∀
 7 +
 
/
 !
 



∀ #   
∗  
∃+  

∀∀# 
 
 

 
∀
∗
 
∗ΕΕΕ
 + %
 +

∗ 
   

 
  %# 
 
# 


   



  # 
 +
∗
∗ 
 ∗∗ +#%
#
 




  
+ 
  

∆∆
 
 ∗∗/  
%∆
∀#
%∆

 

∗ 
∗∗/  

/  %∀%
=∗

∀  
∗ # 

∗  
∗


  + %
#
+ ∗∗

+
 

   
%
#
∃ 
  
 ∀  
∋ 
 %
   
# ∗
#+    

+ ∗∗ 
 
  ∗%
 −
∗ 
2Μ:ΝΟ22ΜΝΟ2 ∆
 #
+ ∗∗ ∗∗
+∆

+∆2ΜΝΟ2
∗ #7
 
 ,∆4 
 ∆ 
 ∗

    


∗ ∗
  ∗∗  


# 
 #+
∗∗∀  ∗∗
∀
 

 %, 
∗
 ∗∗
.  

  %# %

∀ Γ

 ∗
 ∗  
 +
  ∗∗∃ 


%
∗ 
#  
∀
 

∀ 
,#  %



+Α
   



%
∀   


  %
∗
 
 
∗

∀
∗∗


 
 
 

 ∋
%

 

 
 




∗
− 
+ 

 ∗∗
+ 
+
7 ∀ 
+
∀ % 
 

+  ∃ ∗




∀ 
∀

∗ Γ     

7 ∀
∀+# ∗
∋ 1
%

∀  
%

∋
 ∗ 
∀
 
 
# #  


+
∀;; 
 ∗

−
5
+∀     ∗
 

# 


 ∗∗
 
  

 
∀
+      
∀ ∗∗  
∀ ∗
 1  ∗ 
>Β?  %=
Γ
∀ ∃:<<  
%  
 << ∗∗
# 

∀ 

 
  ∗∗   ∀
;%
 

 ∀   
∀∗
  ∗∗  ∀
∗
  ∗∗
    ∗∗
∗




∀ ∗ # 
 #


∗  ∗∗
9


  % ∗∗4∗
∗ .∋
 
∀#


∀#   
%

( 
   

 


∗ )

∗∗

+

 
 %
 
 − 

∗ #  +
∗∗ ∗∗

 %

∀ 
∀ 
  #
∗  ∗∗
  

%  
∀∀
 
Φ
∀+
∗∗    #
 ;


  =) ∗∗

 # 
%
#


∗
 %, 
∗
 ∗∗
.
  

∆
∀  

  + %∆2ΜΝΟ2∆
#
+ ∗∗

+∆


#  
∗  ∗∗%
 

∗∗   
 

#

+ 
   
∗%% 
∗  #% ∗∗

+ %
∗ 
+  ∗∗∀ ∀ +

 ,
/. 4
1
Φ 1

 %
∀
#
 ∗∗
 

∀
#
 ∗∗
 

 
 
+ ∗∗
∗∗ #
+∀ ∗  
∋ ∗ ∗
+  ∗∗
 
  ∀

∗  %  %




∀
∀
∀.
∀

 





ΜΝ #%∗  
∗#∗ 
 
∆
  # +%∀  ∗∗
  ∆



+/




+/



+/



+/


∗





+/



+/


∗



∗





+/


∗



∗



∗





+/

∗
+ %

∗
+ %

∗
+ %




+/



+/

∗
+ %

∗
+ %




+/



+/



+/

∗
+ %




+/


∗




+/
∗
+ %


  +


∗


∀  


∀    


 %  



 

 # #


+%   #
∀
 ##

 ##


 
   
 


∀
∀


∀


#
 
  

 ∀ 
 
# 


∀ 
 
  
 ∀ 
 
  

# 
 



  #
∀ % 
 %

# 
 

 +

 
;
 #  # 
−
 %#  
  
 #  
∗4
∀  ∗# 
∀  # ∗# 
∀

 
  %
∗∗
 

 #
+
 ∗

∗  %
∀# 
# ∗
 ∀

∗ 


 

    ∀


∀∀ %
%

  #  %
  
# ∀  ∀

4
∗ Ι    


 +#  #
   
∀

#/  





∗ 
 
 ∀%∀   %
  %∀#
 
#
 

∗

∗   %
 

−  ∀+    %
 
∗  ∗  
   
/ 
4
∗ 
:  

 
∀  
/ 


/ 
 ∀
 %

  %
+% %
 ∗  ∗4
∗ 
∗ 
%

∀   %
/ 
 
∀∀
#
  
∗
+% 
∗   
#%
    +%  # 


∀    ∗ 

 
∗  % ∀ 
 ∀ ∀ ∀
∗

∗#

+

∗

  

#
∀   ∀
 




∀
∆ ∗ ∀∗ 
∗#∆
 




  

  
   

 
 #  
#∀
 
−    
 
∗+
∗   ∗
−   
  
+
 ## 
∀
∗
+
 

∗#  #

∗#
  %
 
∗
 
#  

 %  ∀ ##
  %
  ∀%
 %+    %+%∀%



∗∗ %
 
+%∀
 

 
   
#
∗∗
 



+
∀  ∀    
∗ −   # 
   ∗ ∗
 ∀  

 
∀  
 

# :+  
 +%∗∗+%+
∗+#
 +∗

∗ 


 
: #

 1
 

 

  ∀ ∀ 

∀
 # %   

 +
 +


∀
∗
  
 

 
∗
  ∀ # 

/ 
 
 
 
   

%  

∗∀
− 
 +%%

  ∀

∀  ∀ +


∀  ∀ 
+ %∀
 
% 
+
 ∀∀
   
 
# 

 

 

+    ∀
  


  %

∀  ∗

 +∀
 ∗ #

 ∀+ #

 
%
 ∀∀
  %  

∗ ∀
∀+%∀ 
 ∀ #
∗

 %∀+#

  
 %#

  
∗

∀    
∗


   ∀
 
%+% 
∀
   ∀+ ∗ 

#
 
∀∀

   +∀
  
 %
∀∀∗
  ∀+
 


%
∀+

∀ 
  ∀       ∀
#/  +
∗ 
 ∀
   #
 ∀  
 +
∗ 
∀ ∀ +∀  ∀  
 ∀
  
 +∀ 
∀#

 
∀+ 

 ∀ )Π)∀ ∀+
  %
∀∀
∀
∀  ∀
+∗
 %   ∀ ∀+

  
++ ∀#∗
  %∀

∀∗ ∀ ∀
#

 ∀
    ∗ 
∗∗  ∀
 %
∀ #% ∀ ∀#% 

 +∀ 
∗∗ #
% 
∗

#
∀#  ∀# ∗  %∀ 

 ∀  +
∗∀ ∀ 
∀  ∗ ∀ 
 
∀  ∗ 
∗ ∀+
 
#∗
∀+



∗  
−
   
#/  
∀ 
∀+


   ∀         
 
     #%
∀#

 
  ∀#

 ∀∗
∀ 
  ∀+


∀ 
∀ 
 
∗ 
∀∗
∀ #+%∀∀ ∀
 #+%∀∀ ∀ ∀ ∀ 
  ∀ 
∀    ∀∀
∀# 

#
∀# 
 ∀
 ∀# 

  
∀# 
#

 ∀# 
−  ∀
# 

−  ∀# 

∀# 
 
# 
 ∀
 

∗ ∀
 

∗

 ∀#%2 ∀
 %
∗ ∀
  ∀
∀ 
 ∀ ∀
 

∀

 ∀#

 
 ∀ ∀%
 %
∀ ∀% % 

#  


   
∗#
 
∗
 + 
∀%



 + ∀#

 

 +

#

 
 
∀%

∀
  
∀%


∀ %

 +∀ ∀% %

 +,∀ 
∀ 
.

∋  =2 

∋  =

( %
;

( %

;

  
) ∀%∃∀ %
 
( %   
( %
   
  
) ∀%∃ %
 
∃

 % 
( %#
%
(  #
%
∗%#
%
(  ;

 %
∗ +
(  
( %  ∗
 

( %
  ∗
 
  
( %∗
 %#
  
∗ 
%#

( %∗%∗%+∗
( +%∗
(  %
∗  +
( 
 %
∗ 
+
%
+
#
%
+

) ∀%∃
) ∀%∃+

(  
 
∗
(  / 

+ 
( 
+ ∗ 
 
∗  ∗
( 
+ ∗ 
 
∗  ∗
( 

 
∗

 ∗ 
(   +
#/   
∗
(   

( #
#
(  
 
∗  

  
 
 

 
( %
 %
−


( % %−


  
( +  

(   
∗  





  ∀


4 ∀
  
( + 
 
   
( ∗

 # + 
(   
∗ 
( % 
% %
 

( 


%



%%
 

(  
∗

% 
∗

%
( %
 
( % 


%
(  

%
∗ :∀ % 
% % 
4
%
:∀%
%%
%%

% 
  
( ∀ #
     ∆#
 ∆
( ∀ Ε#
     ∆#
 ∆
( #
#
( ;
 

( %#
(     
∗:  %:  %
(  
∋ + 
9∗ +
9∗Ε +
9∗% +
( 
 % 
∃∗   
 ∗  
 % 

∋ 2

 =

( 

%

;

( 

%


;





 


 
) ∀%
∃
∀ 
%

 
( 

%
  
 
( 

%

  
 





 

 
) ∀%
∃
 
%

 
∃




 
%
 
( 

%
#
%
( 

 
#
%

∗
%
#
%
( 

 
;


 
%

∗
 

+
( 

 
( 

%
  
∗
 

( 

%

  
∗
 




 

 
( 

%
∗


 
%#



 
 

∗
 
%#

( 

%
∗


%
∗



%
+
∗
( 
+
%
∗
( 


 
%

∗
 
 +
( 




 
%

∗
 



+


%


+


#
%


+


) ∀%
∃


) ∀%
∃
+


( 

 

 

∗

( 

 
/ 


+ 
( 


+ 
∗ 

 

∗
  ∗
( 


+ 
∗ 

 

∗
  ∗
( 





 
∗





 ∗

 
( 

 
 +

#/ 
  





( 


 
 


( 
#
#
( 

 

 

∗
 
 



 
 

 

 

 
( 

%

 

%

−


( 

%
 

%
−







 

 
( 
+
  

( 

 
 

∗
  








 
 
∀
4


 
∀





 

 
( 

+ 


 

   
( 

∗



 # 
+ 
( 

 
 

∗
 
( 


% 






% 
%



 

 
( 





%









%
%



 
 
( 

 


∗


%

 



∗


%
( 
%


 
( 
%
 





%
( 

 


%

∗
 
:∀


%
 
%

 
% 
4

%

:∀
%

%
%


%

%

% 







 
( 

∀ 


#
 

 


  

 

∆#
 ∆
( 

∀ 
Ε

#
 

 


  

 

∆#
 ∆
( 


#




#
( 

;


 



( 

%
#

( 

 
   

∗
:  %


:  %
( 

 
∋ +

 


9∗

 

+

9∗
Ε
 

+

9∗
%
 

+

( 




 


%


∃∗
 


 
 




 

∗
 


  


%
 

#/   


#/   


∋   ==  2

  
% %

∗


∀ 

%
 
#  


+
 
+
∗
% ∗
 
#%
 


 

 
∀ 


∀

∀
 
 

 

∀

  

%

∗

+
+
  

   


/ 
 /

 / 
 
#
   
 

#
 
 
#
 




∀



∀ 
 




%


∀∀
 

∗%


∗%
%




  
  
 

+  


+
   
+ 
+