Download as pdf or txt
Download as pdf or txt
You are on page 1of 26




 






 
   

•
     
•
   


 
        


 
   
  
 
     !  
     
  
   
 

   
  
 
       
 
 
 


∀  #   ∃ 



  

     !  ∀   #
  ∃ 
       
 !∀  
 

    %

     
∀  
%



% &∋∀&

&  

 
&  ∋ 


(  ) 

∗+
    

 %
  ∀, ∋& −) 

∗
 
   
 

       
   


    
         
 

  
(    
   %.   
  %

 
    
 
!    ∀     
  # !  ∃  
 ∃!
%  !
 
   #∃     ! ∃
 


      !  ∀      !  (   )    

   %     + 


% ! ∀∀    %

 −  ∋
  
−  /   
−  0  
−  1 

  
−  2    

  
  ! 
∗    
 +,  ∃ −!    
  ! +%



 
        
 
   
 
   

% &∋∀∀∋

&
 .(
     

 +.. 

 ,.. 


&
 .(0   
  
   & ∋   (     
 .,  ∋
/   
  

 +.. 

 ,.. 


&/
   . ( /      ∃     ! 

!    



   . 3      
     ∃ 
  ! 

!
  
 +.. 

 ,.. 


 
 )
 & ∗    + 
∃ ∃!  ! 
  

  
∃
 & ,
 ∃!
 & ,  ∃!

&0
 .(   # −  
  
 
  




  .    

   . (    # −   
    
    
  
  

 +.. 

 ,.. 


&1
 .(∀    

 +.. 

 ,.. 


 
 )
 & ∗    + 
∃ ∃!  ! 
  

  
∃
 & ,
 ∃!
 & ,  ∃!


∀∀∋∗2323∗2


/% 42&2∗435.  
)
   
 ∗

 
        
 
   
 
   
 


  

   


 
   
 
   
  
   
     
   
     !
 ∀ 



!  ∀   # ∃∃ 
#  ∃         %       !
 &  ∋
 (  ∃ ∃  )( 

∃∀ ∃   ∗%
+∃, 
 

−  ! ∃ ∃ ∃  ∃(∃ 
&  . /  ∃ 
0∃∃
   
1 2 ∃ ∃
2  3 
4    (2 

51∋6(6%78  

!  ∀
 #∃ 
  %& ∋(  




%  
): : ; <

 1  

 ∀     


         
 )
∗+  ,
 ∀−




%  
 )= : = ; <

0∃ ∃9 22 
. −










 
        
   
   

%  & )9 : = ; <
 > ∋∋7

      6

         

)     ∗ ∃
 ?   ?   

 ?    ?  %  


 ?    ?   6  6%




)9≅ 2 : ; <





%  ∋ )Α : = ; <

  2 ,    


>7




%  (
 )Β : ; <
#    2% 



 
  



)     ∗ ∃
 ?   ?   

 ?    ?  %  

 ?    ?   6  6%


)Β≅ 2 : ; <

 
        
   
   
/
 
   
  
 
        
     
  
   
 

    
 
       
 
 
 


!∀  
   


  

     !  ∀   #
  ∃ 
       
 !∀  
 

    %

     
∀  
%


#∃ %&∋%

&  

 
&  ∋ 


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

  ∀  ∋ 


 
(   & )∗
(    
   %0   
 1 %

, 
+   
     ∀ ∀) ,   ∀% ∃ 
        )
 ∀
   ( %   
  )∗


      !  ∀        (   )    

   %     + 


% ! ∀∀    %

 /  ∋
  
/  .   
/  2  
/  3 

  
/  4    


  
   
∗    
  +,  − .     
    +∃



 
        
        
   
 

∃ %&∋∋&

%/
 #0( 

 
 #    
 .# ∗
 .∗ 

 # &∋
  
 & )
  
    
#)
 0−  


   

 +00 

 ,00 


%1
 #0(
∀ 

  
 +00 

 ,00 


%2
 #0(  ∋  (∗ 

 +00 

 ,00 


 
 /
 0        ∀ ∗ 
1  
1(  

%+
 #0(   ∋∗ 
 #    
 

 2 ∗
 0−    ∋∗ 

 +00 

 ,00 


%#,
 #0(  5. 

 +00 

 ,00 


 
 /
 0        ∀ ∗ 
1  
1(  


∋∋&∗3434∗3



5∃ 63%3∗6470  )     ∗

 
        
        
   
 −



  

   


 
   
 
   
  
   
    
     
!∀∀  
 # 



!  
   

∃     ∀  %&        %    
  
 ∋ &    &            %

()        !      ∗ 
 +     !  ∗
 %∀),∗  #∀  %

      −    %    
 + # − & & 
 & &  % % !    
!
∃.& ∀ %#∀&  /0!)
1 !,∗ !
2
!  ∀
  #     




∀  # 45 6 7 8 9


+    )         ∗  
 
  ∀3 


∃  %    & ∋
     
   
(
 &     %   
   
 %)∗



+  ∗ %∗  


 + %  %




0  ∀1








 
        
    
  


4; 6 8 9
∀  

 % 



+!    ∃   %


       %  !  


+ %    ∀  % & ∗  


+      ∋!,∗ !





∀  (
 4< 6 8 9

) ∃  )!1

   ! 

   



    %

    %

   ∀ 




)     ∗ ∋
 :∀   :∀ !  

 :∀    :∀ ! ∗ ∀

 :∀    :∀   −∀ ! −∗


 4<= % 6 8 9








 
        
    
 + 



∀  +
 48 6 7 8 9
0 ∗  ∗ ∀1


 

 


    &∀1








∀  , 469 6 8 9

(  ∗∀


 − %&    %




   −    %&     #


 ?  % 
    >%


 − %&   !  %


#∀   > ∀     %∀






)     ∗ ∋

 :∀   :∀ !  



 :∀    :∀ ! ∗ ∀

 :∀    :∀   −∀ ! −∗


 469= % 6 8 9



 
        
    
 , 

 
   
  
 
     !  
     
  
   
 

    

 
      
 
 
 

∀ #   ∃#% &        


  

     !  ∀   #
  ∃ 
       
 !∀  
 

    %

     
∀  
%


∋( )∗+)

&  

 
&  ∋ 


  (     

      )  ∗



  ∀     
 %
+  ∀, −& .(     !
+ 
∀# ∃    % &        ∃∋(  
∋    
  

  %  ) 


 
   ( ∗!
     
   %/   
 0 %

+ 
∀+   
     % %∗ ,   %∋  
    ∃    ∗
 %
    ∋  ∃ 
  ∗!


      !  ∀      !  ,   −    

   %     ∗ 


% ! ∀∀    %

 .  ∋
  
.  1   
.  −  
.  2 

  
.  3    

  
  ! 
.    
 /0  1 #!    
  ! /(



 
        
        
     

( )∗++∗

)∋∋
 ∋%
   )  



 
 /%/ 

 0%/ 


 
 −
∀.        % ! 
/  
/  

)∋
 ∋%−


∋  ∋  
  

 %,  ∋
1

  

 /%/ 

 0%/ 


)∋
 ∋%
   /)&0
/
∃ 1


  / 4

/5
6 #    
 


 
 


 

  
 %, 
    

 /%/ 

 0%/ 


 
 −
∀.    (   % ! ∀.  
  &   (! 
  ∀.    (   % ! 
/  
/  

)∋2
 ∋% )  
 #    
 

  

 
 %,  )  

 /%/ 

 0%/ 


)∋3
 ∋%   2 
    

 /%/ 

 0%/ 


 
 −
∀.    (   % ! 
/  
/  


++∗.4∀4∀.4

( 54)4.5∀6%  (     !

 
        
        
     

 
    
   
 


 
   
 
  
  
   
    
    !∀
∀##  #∃
  % 



! ∀ # ∃∀



  
  

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

 3 /∀/∀ 

  
 !     ∀ #


%  &
 7 88 8 9 :
415



∋     ( #

 &#   &#∀  


 &#   &#∀2#  
 &#   &#)#∀)2 

7 88;/ 8 9 :


%   7 8 8  9 :

6∀∗ ∗ /    ∃ %





 
        
      


%   7 8 8  9 :

1#5


>  # 5





∋     ( #

 &#   &#∀  


 &#   &#∀2#  
 &#   &#)#∀)2 

 7 8;/ 8  9 :


%  )
 .#∃# 6∀∃
 7 8< 8  9 :

 


/3  


>  # 5





%  ∗ 7 8? 8 9 :
.2# 

 


∀   ()∀

 


=%∀ ∀/  −/



∋     ( #

 &#   &#∀  


 &#   &#∀2#  
 &#   &#)#∀)2 

 7 8?;/ 8 9 :

 
        
      
<
 
   
  
 
     !  
     
  
   
 

    

 
       
 
 
  


∀ ##  !  ∃  


!
  ∀
#
     ∃     %
  & 
 ∀      
 ∃  
 

     ∋
!
      
  
∋


%& ∋()∋

(  

 
(  ∀) 


   ∗ 
       +        ,  ∋  −  
 

% 
 
  ∋
   
%  
 ∋      . 

∋

/  ∀0 −( 1 ∗
    +

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

 
   #∀



)     ∀
 . 
            

   & 1 . 1



 #∀
/  ∀
2   3
+
 )  4   )     ∃   5.#∀


     ∀
 . 
              1 . 1    

∃1∀
/  ∀
2   3
+
 )  4   )     ∃   5#∀



 
        
   
    
     
 


4     ∀
.
  
      1 7 1.1 
  1∀
/  ∀
2   3
+
 )  4   )     ∃   58#∀

−     ∀
.
         1 1.1 1∀
/  ∀
2   3
+
 )  4   )     ∃   5#∀

,     ∀
 
∋



& ∋())(

∋%∗
 %+  

 
 
 ,+  

  
 
 #+5 


∋%−
 %+  

 
 
 ,+  

  
 
 #+5 


  ∋%.
 %+  

 
 
 ,+  

  
 
 #+5 


  ∋%,
 %+  

 
 
 ,+  

  
 
 #+5 


  

/& 01∋120∀∃+  ∗
    ∀

 
        
   
    
     
6 

 
  

  

   
     
 

    
;
   


   
 !∀  

#

#∃% 
  
 !&∋ (# 
 

)!∗  ∋  ∋
#

%
∗   
( #   
+,


−.
,
/# ∋

 , #!
.
% ∀
 # %0 ∋∋
 !
  # 
  #
!

∋


#
 
)
 !1# ∃
!#%
 
  
 ∋ 
#  
#

 

!2222222222222222

 

2222222222∗
 ,,


%− 3!1#
 ##%
  #
 
% #
!∀
 
##−
#!
4 # ∋#  

∗  ∃%


)

5−!∋ 


6   
7
, 

 #8− 3!1 #

#∃−

 
/#
!
#  # %∋
()

 # 

,+
  
 !
# ,#   22222222222

 

2222#  , 

8− 3!
     
 !
#  

#
 
4!∀ 7    #  

,
 ,∋ !9 
 
!


−
!
 
 

  
: 
;
   

+





4!5
#!
<
   #
 ∋

!

∋
)!/(

! 7=9 
 
!>;+

#
 7

/
!
 
 (% ! #!
;  # ,!

   

  

 
  ,
 
# 
# 
#

∋

  

 =∗
 >#
  


? !   ,!
3 


  !  
.

  
 222222

 

222222    
 


   
   

#
   ∋ !  
  
 
       
     

# ∋
∋
6 7
) 
(  
#
 ∋
 !4
!6 

#7

  #

,


1 
!&#
 
!
4
 

≅ #  !1#    
 
!
∋

  # 
#
! ∃    
!1#%

(!

    

4
   ,#   −

 
    

## #  .



   

#
#  , # ∃%
( 
5 
 ∋!;∋ 

#  !



   Α 



   +


 
 
 

4
 

#%7
 
 
;

3!.
# 
! #+   
  !

 
 ,< 
)  +
!3 
 
+
#!
)  

∗   ∋ 
7
 !
%!? !? !&#
 
!∗ #



,
%
∋   
 ! Α  ∋    ∋  
:
  ,     

  
 
!


3   !



 
#
 
 4
     
 ! /  
∋
  %  ∋ Β%  ∋ , % 

 
!4  %
!∗ ∃
   
#

−
# ∋,
# !3  
 ? !? !
∗    
 7  
∗ 
 2222222222

! 

2222222222222  #% +
∋
.
   ,  
 !3
7
 
 
             ,  
%   #  
 4
  

     



 

∋

 ∃%  
3
!

  ∀#∃%

Β

−  % 
 #
 

  
Β%∋#  73 

  !


)!;
 
 !
1 <
 ,

!4!
.#



∃
1
 8,∋!
;(   Χ
 
!
  ,


 
 ∗       #       
 

  ∆ 
0∆ 
/  
!≅

+
 
 

  

5 !  ∋ 
∆ 0∆ 

.
∋

  

/  < ∋# ∋!
4 <   
# 
−
 
:# 
  0 ∋∋ 



 
       
     
Ε !≅
!
 8


Β , !4− ,,
!
  ,Φ  


   Χ



∋!6 ∃

# 
#∋ 

∋  


4!  
 
 
 
∋
# 
 
)
 3 
! #−
  #:71  
!
 

!



  , ∋
3
 3 
!   % 8


)  
∋#
∋
 
  
∀!3!6   !1 
  )!
4 !
 ;
Χ
∗

   
 
3 
!3 
!


 

∀!)
!1 
# −:
!
..   .. ,
∋,
 
   − # 3
  
 
)
 3 
!#
−%
71 
∋ 
  
!
3!..∃  # 
  
#
 !
4
  
#∆ 0∆ 
    
∋;  ∋ 7
 
 % 
.∃

 !; !
/#     #∃

#

3  # Β 
 
 
 
#
 ∋
( 
∋



/##
##
 
#
%!

 !   


 # 

 . 
4  3!.∃
 

#
! #
−∋
!
)  
8

;−    
 
  

 
 Β    
    #    
      

 
)+ + 



 
 ∋8
!

#

#
 

#
 

  #  9


 
#∋
 < 
#   # %
∆ 0∆ 
   !.∃ ∋ 
#!
6 7; !
∗   
!.
 

   !.∃
 !
∗    
 %
  

3
   #

#!)
  
∃  #   
∃

∗  ∋#  
  #  ∋
+


 
 
 ∋ !
≅ 
 
!  
4
 #   #

   
 
∃
#∋
3 
! #−
,#!≅# 
<!
  
 
∗ ∋ 
<!
4+ 
 

 ,
; !  

!

∋
#
∋

#.## 
%
4 <  

∆ 0∆ 

   ∃
 ∋ 
 
#!


1  ∃

#
 
 
   !. 
=1 
#
∋
 
 ∃∗ ∋


 
∋
!> ##    ,

%

 

5 
3 
!1  #
,)8!.
!

 
       
     
.    
 

≅
!3 +   ,−
  
  ∋
!
Β#
 
 


5    
∋∋Χ!3    
 
!


,# % 
 ∋
 ∋
;
 
!/ 
!
4 < 
∆ 0∆ 


 
. 

 
∋
 
∀!   
 !

 & 
∋

    
  , 


 ?
         
 
    
  ∋
 
 

 
.#∋     
#
/    +
 , Γ!
3
# +   
 
!   3 
 


!6#  


∃ 
 
∀

 #

!
      #    .
∋
(  
1# +
,8∋
)  
 8, .    #
∗
 # 

+


Β#
 
 


? !? !# ,  ∋ %!1 !

∋
  
         % !      8  ΗΙϑ ! .     % ! ∗


  
%
∋   

−
 

∀! ∋ #
 ∋  !
..  
 #


#


 
 ∋
 ∋ 
∆ 0∆ 
.
   !Β+  
∋!4− 
 !
3     ,−
 


 (   


 
 
  
    ∗   
 
  Β
        
  
#




  ∋!
!

  , 


 

1 
 !1 %
!
4! 
 
∀##
(!

:#

Κ∋
, 

!
,    
:;  
#
∃ .+

1# +,8∋
)  ∋

:    #+

3 
  # 
 

 
 
)
!/
!.!? !? !? !

. ∋ 
 

 
#
# ∋%
#%

(
 ∋!∗   .

 #− ∋!
6 7
∋
 
. !
1  # 

+   

 
7  6    #  %∋  #
  
∋!3% ∋!
∀! !

 


 
∗       
 
   
 
    
  #  
 Β%

 


  − 


4    # 
 

#


  !∀!
1  
#  

3 7∀ 71 # !1   # 
#!
+   
=≅ % ∋!
.
 +
 

+  !>


)∀∗  
 
 
       
     


  

   

 
   
 
   
  
   
     
    !!∀
#∃∃ %
 & 

 
  


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


∀∋# (( ) ∗+. + − !


#∀∋# (( ) ∗+/ + − !


∀∋# (( ) ∗+− + − !

 
        
       
  

 
   
  
 ! 
   ∀#   ∃  
     
  
   
 

   
 
 
     
 
 
 

%  ∃



  

     !     ∀
  # 
       
 !  
 

    ∃

     
  
∃


&∋ !()!∗ (!

%  

 
%  & 


  ∋  (    ) ∃∗ 

∀ 

 
∃
  
∀  
 ∃      + 

∃

,  − ∗./% 0∋  (

, 
                 ! ∀
# ∀ ∃
% &   ∋   (  ∀   1  % % 
2 )   #  ∗ 
  +  ,   −  ∀ 
                      
  # !.      #   ∀ # 
 


 
   ! 

&    
+
          ///
+/////∃    ! 
, 
0   1
)
 ∋  2   ∋     ∀   3,! 


3     
+
        
/+//∋
  ! 
, 
0   1
)
 ∋  2   ∋     ∀   3! 


 
        
     
     
 

4    
 + 
    
         !// + / /
! 
, 
0   1
)
 ∋  2   ∋     ∀   3! 

∗    
+
       !//+//4 5 
, 
0   1
)
 ∋  2   ∋     ∀   3! 

)    
 
∃



∋ !()!∗∗)

( &+
 &,  

 
 
 −,  

  
 
 .,5 


( &/
 &,  

 
 
 −,  

  
 
 .,5 


  ( &0
 &,  

 
 
 −,  

  
 
 .,5 


  ( &−
 &,  

 
 
 −,  

  
 
 .,5 


 
1∋ 23(342%5,  ∋  (

 
        
     
     
 





 
                  
                     
   
       
    
  
       
 
            ! ∀# ∃  

  
   % & ∀∋ (
∀)  
       ∋

  
∗     ! ∀#  ! ∀+       
!                       
  ! 

    %     % ,− 
  %  %     .
! 
     
///////////


  

/////      
%     
     
 
  
%    01     
    
    

  

 
      
     %        
 
  
    0               
    
   
0    ∀   2%!% 3%   
      
 &
     
 ∀  

  
         

    
 3 %  
  
  4         !01 !01  
!∋   
   
 0 !   
    

%    
  5
 %  ///////////


  

/////∃  
 01      
   
  
  
 
           
    
6     

       7          8
 0    
            9 &       0  

        % %///////////


  

///// % %3
    
   
01    :   8  
   8   0   
   %   %    !   
 % 3     
% (,!7!7&
7.
 % 0
%  & &   
   
 0 
;       %     0    0 %  
     

% 8  
 !  
 
8 
 
       8 


%∀
 ! 

  
       
 
   
     

  5
  
 

<     ∋ 8     
  ∗  % ;
 )   3
   
      
 − 
     8    8               
   9 

!  0 

     %   =%
         
%   0 8    !   ∋  
         3
       


   
  
    
        
     
   0           
&
  
      
    
 
∀−    %

 >?
!:    


        
0 
∀6  7///////////


  

///// 8       
    01        
   %  0          
 0 
∗       01         
        %    

 

4  ≅  Α #%ΒΧΧ∆


 
   
     


  

   

 
   
 
  
  
    !
  ∀# ∃ 
    
!∀∀ 
 # 

%  & 


∋!∃! %% & ∋() ( ∗ +


!∃! %% & ∋(, ( ∗ +


(!∃! %% & ∋(− ( ∗ +


!∃! %% & ∋(∗ ( ∗ +

 
        
        
!∀

You might also like