Professional Documents
Culture Documents
Гладкий, А.В. Введение в современную логику. 2001. - 200
Гладкий, А.В. Введение в современную логику. 2001. - 200
!
!
"
#
#
# #
$
%
&
$ '
% ) 1.$% &%* $ ;I 3* @$ $6
% 1.%! 1$ %. 1+ )2 &%(
& ; /2*
>)( 1. 1%$+ % 16-
&$* 4 +$ 5! +$.) $%$6 &% &6$%$ %.*
; .)$6 %-$ $ 4$%)5 &%* ; ($
2 $
9A %; %6 .% 1: / %-
1$6 42 .$)25 &%( %.* %)%$* $
4;)2 &%(5 .)$)2 2 @' 1%/2* $
1* 1 $+ 1$
>$% 1-
%+%6 $* ++( : % 4+$( 5 JKLMNK
OKPK 1$ ( .(
< 3% 1 ). .D$
%.* ) % 1% 2 & %2-$ 1$& $*/2*
% $ +$ ) ; &%
9>. . @$ 1($ +6
+$$( +%$
<
Q%$ $( 1. 1+ )2 &%( & 2 ; -
/2* .& .%/* 1$ %. ($$6-
$ 1*$* 4 +$ 5 +6 +%$
A% 1 @$
+ ;$ $%$6 . $+$% % & &%E
$% *$ +$ 4%%*5
B% ++%* 1.$6 .%-
%* $( ) $* %)%$6* %&)%$*
9#$$ $ 12*/( $ %$ RSJMT?O 4%$6
$5 $%;%$ $1+ %$ 4%5! + 1$%6
%$%$* +$-$ &; 4$) &5
4*$5
<
2 +%*2 ) &%$6 4)5 & /2* %
&%( )
%1 ) &% 1 -$ +$ .& -
&6* %&)%$
( % $'% &$ A% >$+ )
% $% ) +$ 1 $+$ $ %&)%$6
% A%+
B%( 1. 1+* &%( %&)%$*
A 1 $$( % 1 %; ) % &%-
$%2%) $ :.
>@$ * 6 1+ &% ;%-
$6 1$6
>. ) . $6 1 % U
V
% (+% $%$+ &%$$6 +$ * 1$;* % +%$
1.%$ %;*
,:%* %1 %$%$+ &%%+
) % 1% %+%% %)%* % 1+$6 : 9
%; %)% +%$6)( &6$%$< % 1$ 1 $
%; $6 $% &%%+% +$%$* :(
>+% 1 $( %; .)+ *$ .6: +
$$( % +%! 2%& $' $1 1*-
%. % %; 12$ 4% $5 )%;%$*
%E 1@$ ) ; $%$6 . 1 1$%
$ % ; .)$6 1$ 1%6 %; @$ 1&-
$ % $+%$6 1%6) %;* $ 1%6)2
>-
/$ %;* 1 %( $$ $% .%&
+:( 1*$
$) 1$%* $ % ; %;%$6 % 6&*
$* %;E ) %+%* %-$ &%$% +$-$ &%
$ 1%6)2 %;( $+ $% ; % ) +$-
$ &% . $($ ;%/2 % 4/(5
% ++-
$ 6$%6 $ &%* 4/%25 $) $6
%;! &% $$) % 0& 2
1&: &%$6 . @$2 4/%25 % .6: &+$6
2 % .;
>. @$ $ %;( $%
1$ .( % $%* %&)%$*
>6 %; $6 & $( *$6-
$ +% % $$* %$%) %%
% $
$) $+ 1* 12( %( &+%/(
12+ *$6$6 +% $ + $
%-
% **$* +%$6 12 $
12 &+
%;( ) .%& $+%$* $ 12+! 1-
2 &+%* %; $$* 1*$6 $ 12+
2%&) .%%* $) 12$ $ * %
$$* $ ; $ %;* 0(
$+ 1* $* ; ( $-
( 9*&)< %( $ 0'% *&)%
(
#
) *
+,
&. #
"
/
'
0#
#
"
/
#$ 1*$! 6 %;* % ; 6 )%;%$* -
%
0%$%6) $+ 1*$* $)
+ $ +
W% &% -
%( *&) *% % $+ ( $
A ( $ &%$ 6 %$ +( %%&
*&)%
+6 $ %2$6 1 $-
+
9X $% 1 ) $$* @$(
<
W% &% 1 $)*+$
@
&% % -
$ % Q%1% $%2 (2 +2 )$(
$+ %1 $ %$%$ % %&$ $( Y1
/$ 1* 1: $% $;* $+( )
&%1% $+ 1$* %&$* ; .) 1-
+6*
%:( 9% 2 1+$ 2 )2
+.)2 1.*2< % &%%$* $ $)( % 1.-
% &6$%$ %&$* 1 &%1% 1$
#$$ 1$6 .$ %+% $
H$$* 9
U U
@
< $)( $6 &%;
) %&%.$% * %& %$6 .
$%( 1$( +$ 1$ % $+ 2 $)*+ $ 1%$+
)2% %&$ &% % ++ H$$ %
( 1*$(
1) % ):% &% @$ % 7Z88 $$ 9
;
K < 1-%$*/ %* @12% %&$ %+%%6 -
787 $$* % $) %$%$ $% 16&-
%$6* + .&%+* * 1$)2 +2 1%-
'( $$$/2 &% 45 45 45 $'% %%-
+ 16&) %$%$ + .&%+* %0-
$+2 ($(
#$ % &;$6 1$%*$6 $)
+ &%$ %$%$+2 $:(
B%
&% 4%.% 5 & $( %&%6
1&*/%* &+%$6 $ %;( &%+$6 1
.; + $%'%* 4%$$%*5
!
1
& 234/245 ' 6
# &
7' !
&
"
)
898 '
:
;
&"
/
# '
&-
´
<
)
´ / :
;'
-
"
$
$
X &; 1$%$6 . .& %$%$-
+2 $E . $ %$ ( / 6
#$$
0%$ +: %&%$6$ 1%$ $$%%* $% %-
&)%)2 4%$%5 $ %$%$ $) / 12$-
* $%%$6* % %; :% 2$* / 8Z
@
+%(:(
4%$%(5 >%$ %+$% % 2 H%! 43%
($ % &%/( $5
93$$6 @$ 1%*
1%%$* $%;%$ $: >%$% %$%$-
< $$%% ): 4%$%*5 1%%
$6 % 1$%* %$%$ $$)2 %%2
$6 +$ % $/( .%$&
[ $6-
4'%6 1)5 +%$6 E 1@$ 2$* % +
++ ./$ $ .)$6 ) %% 1
$ &%($%$6 &%$6 $ 2 91.
$ % .* $* 0& 2 1 @$ $
&%($$ <
% ) +$ % 1 $ + .-
$ $ & 2 $) : 16&$ %$%$+ $)
0%$+ %&)%$ +6 6 * % %&$ %$%-
&%*
* @$ % .%$ * +%
$ :.%E @$ :. 6% &%+$6( $1 .-
) $ +$ 00) $ ' @$)
$ :6 12$ 1$% $%2 %$%$ $-
$)2 % % %; 1&%$ +$ %2*$* 1 2
*
>@$ $ &%%$* %% . ./$ .2-
) 2$* .) @$%) 1&%* .%$ %$%$ %
1
%%; &%+ $ &+ 16
1.$$ )%.$ 6$) %;* .& $( &-
;) ./ % %+) &%*$* .%$ $$)2
.%$ %$%)2 %
3* 12 +%* 6$%
;% * +% 6: 16 4.D$)5 $-
) %.$%$ 1$%*$ .( % % %.$%$)
$'
A %;)( $ % 1*$$6 .* %*
.%$ %$%)2 % 2 11%% 2 1;
%(-. 1%$+( *$6$ ; .)$6 $ $
&+*
=
#
-
$
0
A* $ %;( % )*% $) 1$)
&%) $) 1+*$* * 1%6 %;! &%
$;$% &% 1$+* &% + $$6 &%
$%$+ %*
>; + 1$1%$6 2 %$ 1& *$6 .
% ) 1$.*$* &6 4&%5
#$ 9$$$/ +
%$ < -
$ % &%+*! &%+%$ . $ 1% 1%-
/ 1 ( . $)( 4&%
1)5 %+ 4$$)( &%5 $
$; %2-$
./2 ($%2 4/(5 *( 1)
./ * &%
$ ) **$* $ +$ $ +$-$ &%1/%$
9%1 &% $*$* &%1/%$ *.% 1%%-
/ *. $$6 2 $)E &% 2%* @
&%1/%$ +)( %$6
< ,%&+ ; $$ $ +$ 4$-
$)5 &%) 1'1 $ .)$6 %:) % %:
&% /2 1 &; +$ &% .( %-
%&%
% & @$2 2 $1 $*$* &%) 1%6$
%;*I 1! 6 %; $6 &
++ 1*
%:* @$2 &% 12*$
6 +%$E +$ ; %%$* %%&%* &% %: $ $$
:.+$ %;*
!
#
"
# -
#
$$ $ +$ % 1$1;)2
$;* $ .)$6 $)
9>$1;-
) %&)%$* % $;* & $)2 $6 $'%
< A%+ *! % $; ;$ .)$6 -
$) ;)
$% $ +$ % %; ;$ +$%$6* 1%-
6) ;%$* % 1$1;)2 $;*
9* %: &%% 1$+*< $% $;* -
$) 2$* **$* % 1$1;) & 2 ;
)$ % 1$1;)2 $;* 1+ ) ;$ .)$6
1 +) %; $) 9)$ %:<
F) %:* &%% 1$+* $+%$* ! 6
$-.6 %;$ %1 4A% A%+ ; 2%5
&% @$ 4A% A%+ / 2%5 $ .
1%$ +$ . $ 6& .
1*
)$) %:* 12$* $6 +6
+%$
B% %:* .)+) .( 1%$ 2 %&.%+
1$* 12$* &%%$6* %$* %%$% 6*
$+%$* ;% 0'%6)2 $%2
$ + &%%$6)2 %$%2
B% &%) $%*$* 1-
) $)%$* :%* % * .&&%* 1&%
>@$ .& $%* 1$+( &%%$6$ %$*/
1% %$ &;
U
!
+>4> D -
)
C
#
E = - :0
@ E
; &0* +>55
>,/>?'
6 #
:
#
A = A;
A = A
"
"
[%$6 8
>$(: &%) 1*$*
%* &+ %;( 1 %( $%'
$*$ &+
#$% $%'* 1 1%%% 16
1*$* 1$%*$ .( $$ %$% $) ) 1-
*( )$6( *$6$ $ + %;-
*2
>*$ @$ )6 )*/%* $)( % 41$5 1
$) 1&%%
%1! 1*$ 41&%+)(5 )*$ % 1$ 1-
1*$$/2 $6 $ +$ %2$* &% E 1*$ 4+%)5 )-
*$ % 1$ 1$%*/2 .( 1.) * &-
* E 1*$ 4$$5 )*$ % ( .+%/2*
):2 +.)2 &%*2E 1*$ 4$65 )*$ %
$+2 0 $*/2 & $2 $+ ;%/2 % (
1*( $2 $& */2 @$ $+E 1*$ 4$%5
)*$ % 0+2 /$ $/ ++-
( (E 1*$ 4.;%$65 )*$ % 1. 1;*
+% ;$)2 & $$%% $ & .)$)
1.% %1%E 1*$ 45 )*$ % +$ )-
&)%)2 +-. $%) ;%)
A& 1)2 1 +$ 41$)5 ) -
+%( &* %)+
#$ .) % $ %$*/ %$%6)
1$) $ %&+) /$% $ $+ 0) **-
/* %6) .%&% %6)2 1$ $ +$% $ 1-
.) 1;*
./ +% 41$5 ;$ &%+%$6 &6
/$ + $6 ) ; 1)$6
&6 1$. % 4%5
.)+
@$ .&%+%$ 1$6 @$) $( +$ $-
) $ %
%1 +% 4*5 $%(
1$ $! +$% 11%%/ 1 @$ 1*$ .%&$
1))( 1$ $)( * ; $$) .%&
%&$6 % $6) @$)
9Y ; ) 11)$%* )($
& &%$* &%* +$ $6 +$ $%
+$ % )*)( $$$/ 1*$ $$ &
6
*
@
F
"
:
#; C
"
#
&
'
GHIJKLMN
/
/ )
/ F
%%
>*$
41$%5 $ @$ 1%$ 1;*! 6 $$ $ %$ @$
1*$ ;$ 1$%$6 . % +$
<
> $% ; .$$ 1*$ 4.;%$65
H 1*$
4$%5 &%$ &%$ % / . 6&!
&6 41$%5 $) ;) .) .) ($ 4%5
%6$ ./ +$ $+%$
A %; 1*$ 4$$5
$% 1$ % ;$ 1%&%$6*
6 $-
$* $6 ): $$% $%; 1;
./
X$ $% +$ 4% $$5 2$
$6 1 %* A% $' +:(
$$ %'%$6 $ %&%I H % .)$6 %: .%-
$ $)( ;$ .)$6 $%$ $$ % ;$
.)$6 $%$I A )):) $$% 1%;% -
$%$)2 1&( %1 $ *)
+2 >$( B0)I $$$6 % @$ 1)
1$
Y$$ +$%$6 +$ % )*)( 1*$-
$$ & 1$ % $%)2 % & 1$%( 2
* +$ %;)( @$ @$ %% $6 1$% .
1$ %%$% 4 '5 9% %2-$ $-
6)2 $%2 ($%2<
B% + @$ %% $-
+%/ 1*$ 4$$5 .$ 1$% % A%
1$% $' $ 1$% %:
.%$ ./ $%$ $$ 1$%* *
B0
#$% %% $+%/ 1*$ 4$%5
.$ %1 1$%* % =
1+ 2 $$( $% $+ $%$ 9$%$* %-
1 $+%* ): $$6 *&%%* 1*$* 4-
5 4.;%$65<
B% .%& 1 ): 415 1*$* ;$
% ) $)2 6 %1)+%$ $ 1%$* $+-
9#$ $$* + 41&%5 41-
$%5
< $% $ +$ % % @$ 1 %
:6 1.&$6 %&D* )% $% 41*$5
B%) ; 41*5 @$ $% $) ;
$$$6 +.%2
%$*/ 1 &6 &;-
1 1+% $) .$ )*) ;
X1$6 1&% 1 $) )*$* 1*$ %-
&)%$*
% $$ % 41$5 $)(
V [%$6 8
>$(: &%) 1*$*
)*$ 9 $+ )*%* 1$6 1$%(
41$%25< *+
%1 ;% 1*$* 4+%)5 $$ & 1&% 4.)$6
1.5 4;$6 * &* 5 ;% 1*$*
4$$5 & 1&% 4.)$6 +5 4.+%$6* )-
: +. &%5 ;% 1*$* 4$%5 & 1-
&% 4.)$6 0+ /$5 4$6 $/5
4$6 ++ 5
.D 1*$* 4+%)5 $$ &
1$%( &;)2 +%%2 $%)2 )2
$%2 $) ) $6 .%;% .D 1*$* 4$$5
& 1$%( ):2 1;2 ./2 )):)2
$$%2 .D 1*$* 4$%5 & 1$%( 6-
2 $%%2 $) 0* %% % %6)
2%%$) %&%)2 1$%( 4$%%2
./5
3% 1*$* %&+%/* 1 ;% $ $6
$$ ; .D
%1 4%.)( $65 4$6-
/( % %)2 %5 %&) 1*$* 2$* 2 .D)
1%%$! )*$ $$ ; % 1 %&) 1-
&%%
9>$1;)( +%( +$.) % 1*$*
$ ; ;% %&) .D) + &;
< >-
*$* .D) $)2 1%%$ %&)%$*
*+
,
,
B%) %1 1*$* 4+ */* % V5
4+ */* % % U5 4):** $'% ,5 4
$ * H
X
>:5
Y & ;%* 1*$* $%$6 6 1-
&% &%$6 2 . %.) 1+%$* 1*$
$ 1*$ $6 +$ **$* **-
2
%+ * *- 1*$
%1 $%** & ;%*
1*$* 4$%5 1&% 4$6 ++ 5 4$6
$/5 ) 1+% . ./ 1*$ 40+ -
/$5
Q%** ;% 1*$* 4+%)5 1&% 4;$6 *
&* 5 . %.) 1&% 4;$6 * &*
+-.5 1+% . ./ 1*$ 4&$6)( 1.5
Q%** ;% 1*$* 4$$5 1&% 4.+%$6* )-
: +. &%5 . %.) 1&% 4.+%$6* %-
. +. &%5 1+% . ./ 1*$ 4+%/(*5
B+ $% ; 1*$* 465 4$+%* 0%5
**$* ../* 1*$* 4$65 9% $%; 1*$( 4+-
$)265 41*$65 $
<E 1*$* 42/ ;$5
%%
>*$
41$%/5 41&+5 4;$5 **$* ../*
1*$* 45
)$6%* 1%'* 1/6 $( & 1*$* .%&$-
* ../ $
$% & ;%* 1*$*
62 1&% &%% 2 . %.) $%; %&)%$*
**-
91$ %&% +%-
*2 %&%* ($* %&%* &6$%$%
< ) -
; %&%$6 %1 +$ 1*$ 465 ; 1+$6
../%* 1*$ 4$65
)$6%* 1%'* .%$%* ../ $
.% -
;% 1*$* 62 1&% &%%
62 1&% . 6) %&)%$*
1*$*E $% ; %&)%$* &6$%$
%1 1*$ 4-
$%5 **$* %+ 1*$* 40+ /$5 1*-
$ 4+%)5 %+ 1*$* 4&$6)( 1.5 1*$
4$65 %+ 1*$( 465 4$-
+%* 0%5 1*$ 4%%$5 %+ 1*$( 41*-
65 4.5 9% $%; 4+$)265 465
4$+%* 0%5<
F +$ 1 ../ 1*$* .D %:*$* % 1
%+ ;%$*
%1 .D 1*$* 40+ -
/$5 %* $%% 2*$ ) %1
. $
1
E
.D 1*$* 465 %* $6% 2*$
+$)26 1*$6 $
./ 1*$ +%$ %&)%$ , 1 $:
./ % ./ , 1 $: . ./
>*$ % *%* )6 )%;%$* %
1$(:
+% ; )%&$6 9% .) .6:$ %-
:2 1<
$% .)%$ % %! 1*$* $
.)$6 )%;) $6 +$%* 94&$6)( 1.5
40+ /$5 4% 1 $ %$%$5 4( 1-
%$6 $( 1) *$%'%$ %5 $
1
<
$ ; 1-
*$ ;$ )%;%$6* % 1-%&! % * )%;%-
$ $ ; 1*$ +$ /$$6 * +$% .
/- $ ; +$
$! %
* 1*$ 1%$ %&) )%;* 16 &;$6
)%;%$6 $$ ; ) %&) 1.% 9 $ @$
%&)%$* (< 1$%*$ .( & %)2 /$-
)2 ($ $$ *&)%
[%$6 8
>$(: &%) 1*$*
3* 1*$( )%;%)2 . ) +$%-
* @$ +! %1 $ . /
; %&%$6 . ,
. , *,
*,/
$2 +%*2 % .)+ )%; 1*-
$* $$ & % @$ % $ $+)2
$* % 1% &;$6 )%&$6 $ ; 1*$ %+
1/6 +$%*
#$( &;$6 ) 0%$+ ;
%& 16&%6! 6 +$% *
)%;%$ $ ; 1*$ +$ , +$% .
*- ,/ *
$ ; 1*$ +$
$
1
> $%( &% % +$% 9
+$%* . %&$) %1 % $
*
,
*$
. -
,0
, < ) %)% ;% 1*$* $
%&)%
*( 0 $%*/ @$ ;% 1&%
@$ 1&%
$%; 1$%*$ .( 1*$*E $% .%& %)$6 ;%-
1*$* &%+%$ +$ % )%&$6 % 1*$ +&
$) 1*$*
)$6%* 1%'* % 1*$ $*/%* $ +$
)%;%$* +& %-. 1*$* %&)%$*
1
B% ; %&)%$ 1; 1/6
$ 1*$ )%;%$* +& 94>&% @$ 1-
%$6 1:/( 1&(5 4$*$6)( ; @$ +
/( $ * 1%$) 2 5 4,%.) $-
6 %&)%$* $6 /( %)2 $)5
$
1
<
[%/ 1 1*$* $$ $ +$ %&)%$*
$ . ./ 9< 1*$ 941%$65 4$65
4+5 41.5< 1$6) 1&% $) ;
.%$6 ;% 941:/( 1&(5 4/( %)2
$)5 4.+%/(* ): +. &%5 4;%/(
* &* 5<
Y 1 @$ 1*$ **$* .-
;%(: * 1* 9$
; $ % $%$+
! /
"
/
OJPQRQLQG
) PQRQS / $
-
: $;
)
"
#
$
&
#
$
'<
:
;
%%
>*$ C
$$ 1;$+ 1*$*< $ *$ .
* / 9(2#&#!#' 3" 4&$5 3"'#%$%
! (#22"&!#)% 536#2#6)% <
B%) %1 1) ): 1-
* 1*$( 41&%5 4%.)( $65 9 $
* % 1* 1*$( 4$$5 4+%)5 $%)! *
4$$%5 .;%(: 1*$ 4+5 % 4+%/(*5
* 4+%5 41.5 % 4&$6)( 1.5<
X$$ &%$$6 +$ 1 1*$* +& .;%(:(
$+ .*&% .)$6 $)
%1 %%$
; 1$6 . % 1*6 $ $)
%) . % . $ ) 1*)
3* 4.2)25 1*$( $2 $) )
1( ;& %$6 1 %&)%$* +6
$ % % %$* 0%$6 6-.6
$+
#$ 2: &$ $%$* $)2 @'1+-
2 %(
[$.) &%$6 %6 $% @$% &%%+% 1&
11)$%$6* %$6 1* %1 $%2 1*$( % 4$5
4%5 9 ) 41' )5< 41/%5 41%5 4&%.$%5 4$5
4%.$%5 4$)(5 45 4)65 41;%5 9% 1$ &%*$6
%(-.6 $)( %6<
B ) % 1%
1 $% 1*$* .& &%$( $$ $%-
$+ * 1$%* . 2 .D $
.& $% $+%$6
2*/ 41$)5 $ $%2 $) 2*$
A :6 $% % $% * $$ 1$%* .
.D 1*$* $ %&)2 ( 1$%* %&)
&%$ %$*$6%* .2$6 %$6 $+ 1
9> 1*$* / %&)( ) * %&)2 ( ;$
;$6 4%.$%5! $6 * $)2 @$ $6 $.)%
1;)2 +% ;. 1/ $6 $% *
$)2 %%* %.$% %+%$* $% % 12*$
;.)
<
%& . %; 6 %$ 1* %+)2 1*$(
%+ ): $ $% 1$% **
&%$* $) .%;%$* $6 1$ $%-
$+( 1*+( '%1%( %.$) ) +%$
1;%( $6 ; $%$+ 1*+) '-
%1%) %.* @1$% 9 $ +
16&% 1'%6)2 1. $$<
> @$
&6$%$) %+ ):* ;) .)$6 1*) 91.-
. @$ 1($ +6 % U< $6 .D$)( 2%%$
[%$6 8
>$(: &%) 1*$*
$
&%$6 $ +$ $ $ 2 1+ $ %(
$( 1%$( %$1%$(
#$ ; .$6*
:6 1 +$ * %; 16& 1*$* $*
$( 1&*/( $%$+ %; :%$6 2$ $$
( 41$5 .D 9%+ $%$ &;) .
&%% $;$%<
H $%( $( 16 41$)5 @$
+% % 1% $1) 1$ &'%
;$ )%$6* $6 % %)$ ;%* 1*$* $
%
1
>@$ % $*$* .%&)%$6 1*$* $% +$.)
1% % ; . $+) 1*
>%%
%% @$ %$* %( $1
%. $+) 1* 16&$* %$%$ %
&+%/( %.$%$) $:* ; 1$% %$%6
% +$) 1$%$) $+ $
2 $)2 ($ @$2 1$ 9$
/$ $ %(
2 %$%6$<
#$ $:* % 1 . +6 1$) 92
1.%&% **$* 2: &%) %; + $:*
4.6:5 46:5 4%6:5 4.;5 $
1
< .%%*
@$( 1$$ $$$/ 1*$* %$* 1*$6 .6:(
$+$6
1$) $:* $ +$%$6* 11$%$6*
6% ;) .%& &6$%$ +%$ 1+%$*
1$) % % +&)+%( %.$%$) 1*$* $)
&; %.$%$6 %1%%* 2 +$ 1*
1* 16&) $$)2 %%2 0& 2
. 2 +%$ $6 $+) % %$%$+
; $+%$* .6:( +$$6
$) %$%) %-
% %1 $ * +% $%; %$* .$6*
6 )( $+$ 1(
' %$%)
% $: +$$ 1( &%+$6 $1%$ $-
$) * ; %$%$
%%* 1+% @$
._6:%* ;$6 1$% &+* $ 6 %$
:$ $ @$2 %
9>. . .$*2
%$% ):* ) . $6 %
<
.2 1+$6 % +$ % %% ;$ 1-
$6 1*$*
6 1$6 1*$ &%+$ )%&$6
+& %-$ 1*$*E ) @$ 1*$* &%2$
T
*
$
%%
>*$
1$6 @$ .$ &%+$6 +$ % 1$* )%&$6 2 +&
%-$ $$6 $
B%( 1' ;$ 1;%$6* .-
+ %-$ 1*$* ) . );) $%$6 .& 1-
*
>@$ 1%+%6) 1*$* *( %
,
; $6 $$6* $ +$.) $%2 1*$( .)
1 &;$ .) $%$+ 1$) $% +$
2 ) ; .) .) 2: $6 1%*6 % 1)
1.&$6) %&D**
./ 1 1*$* ;$ .)$6 1& $6 $% -
% $ 1*$* $) 1 @$ $* 1/ * +
%
1$ +% 11)$% %$6 1 $%$*
.1) ;$ $6 &%1$%$6
B16 ; .)$6 * 1+ &; $+ 1$6 +$
$% 1*$ 9
):<
6 41*$5 & 1%+%6)2
1*$( % 1%+%6) 1*$* % $ .)$6 $6
1*)
! & "* 7* /&"0
! * "' &"# )7* % ; " *! &"!*
"!*9 !&" /0 * "' /5"*0 ?
"' 5"*;# :" ! 7" "" & &"!4 7
% 7* &"!* " '( &% 7 /
; &"; ""0 ! /; !";0# +
/!"0
&"; 5 *! '!# 8 @"@"" !
"" !'!4 !"7 75" " @ !!* ! &"#,
3 1)/ %) .) /$ %6 $%' $
$( ) + &;) 1$6 $%&%$6*
H $16 )
12 $%$+ &; % $ %;-
(
% ; 6 %;* )%;%$* -
%2
A % $ 1.% 1($ % $* %-
;( % 1$$6* $ 2 )2 )%;-
(
> @$ ) 1; &%+% +$ )%;
%;* % 1$%*$ .( $ 1%$6$6
1;(
A ) 2$ 1*$6 % $ %; %
$ 1- %+%% $6 $ % $($
1;*
A&+ 1;( **$* ./ * -
$
% :: % + %%$+-
$%$%$ %1% 8
@
%%( +)
[%$6 8
>$(: &%) 1*$*
3 G%(' 1; $%:( $
+$ % $$ 1*$ .)+ % 4+65 1-
*$* / .%&! 4,+6 $6 )%;%/
&%+ )65
X) $) $%; $*$ 4)-
&%+$65 %) 1&%% 1;*
> @$
)%;%* 1; 4&%+%* )65 ;$ 1$%*$6
.( . $; . 1 . 16. 1;% 1%-
&% $
1
$ &%$$6 +$ 1 &; %;* %
; .($6 1;* 1 & @$2 $2 $1
$
* $%$+ $ %; ;$ .)$6 &; $%
+$.) $* $6 & 1;( 1$%*/2 .(
+$ 0%) $;* %2-$ 0%$%2 $% +$ *
%; $% $;* ; 1$6 $ ;
% @$$ 1 $* ))( $$ 43%5 4$5
B6 $% 1;* .$ $%$6 % %6(:E
* 1;*2 ) % . 1%&%$6
1$ +$ $%)
- ;!!"" & (" ; 5"; !( "
7 '! 5 A"# 8 !! /)7 "!""0 &5
"'("4 &!!*; &" "" " !!"" !'!
& (" % "&! /!'!45 *40 ?
? "
" !9 /8! * 7'!! # # # > ! * *
!'!45! * ! "* ! (" ""* "" (
* "7= *7! !&" * * ! ""! " (!#
6! &" " ! ' * 7' "!" "7 !" "; 7
& 7! " !" "" "; "= !5
" !"4 " !'!45! *#0
,
$-
$$/ 1;*
B16 .2 %$6 % %;)2 &%+%*
>
* ) $$ % 1 $
; $ 1; ) 1'1%6 &-
;$6 %$6 $%( $$ % 0%$+ %+
) &%
%1 9 * %-.6 &%< $ ; 1-
; 4aA%%b a*b 1&* $ ; %$%5
* +$ . $ . ;
$
3* $)2 1;( 2 $$ &%+ 9$
2 $$6 ;$6< &%$ $ .$*$6$ 1 $)2
1&) 9 %1%)< %1! 4+% &6 : 5
4B6 ABC 1*6)(5
9 $ 1 -
$$ &%+ &%$ $ $ % $+ .&%+) +&
A, B, C
<
;
V [%$6 8
>$(: &%) 1*$*
4[ $* % + U5 4B(% $6 $6 1*$%'%$5
4B(% **$* $ 1*$%'%$5 4[ %$ $5
$+ &* 1$%*$ .( $ ; 1;
8" % !'"" " "" & &"!4 &*'!*
" /& ("0 " /( ""0 "" /!'!""0# +$
"' %"; ; " "&*' &"5 "! & !
"2" " ? !!" "#, > ! !"
(!" !!"" &! "* 45 &
" ! ! %# E" * !'7!'; && !*
& " ( " ? & &""! "'( & 5
! ? ! !4 " "* "!" ! ! % "
&7 &"" " & 7O " & (!
"4 /( "0 ! "2" "" &"7"'"* &! !
"" !'!4 +, & ("# $&
! !!"!* 44 ' '!! +! 7 !
( ! & (", * &!5! *!
& 4 /5*0 &""!* 4 ! &!!*
&" " 27!'# 8 ( 7O &" /& ("0
; & ! 7 " 7!'! # $% &!"*
&&!4 ! ! ' ! &"'!4 '!""*
"" !!"" % & &*'* " /& ("0#
S !! ! /!'!"0 "&*' "7 (
" /( "0 "7 & ! ;"" " 7'!
" & (" !(!45"; "" "" ( ( "# >
! " 7; ""9 ! !' ! ! "*
!" & (" "4 " #
%:( .;%(:( &%%+( .$ $16 &+$6 $ 1-
;( .& + &; 1*$6 % $) %;*
%+%% % 1$* 1&%$6* $) %$%$+
1*$* 1%;%/ 1 $ % $%; ) 1*-
$*
>) & 2 .$ 1*$ ;$%
7
%$%$ %&)%$ . 1$6 .)2
41$5 $%* 1% ($% $)2 $ .)$6 %-
; $6 %1 ;$ 2
$ $%E ;$ 2 ')2 1;$6)2 +E -
;$ 2 . %0%$%E ;$ 1%%/2
E ;$ $*/ & +% H%% %
) % 4;$5
4>$)5 & $)2 $$ ;-
$ %&)%$* 8
E 2 *$ +$
% ;$ 9 0 <
Y ;$ @-
$) .&%+) %-. % %1 .% $
$ % 41%;$5 % 16 +%$ 16&$* &%+ ∈E
$% .%& a ∈ A &%+%$ $ ; +$ 4a 1%;$ A5
$
4a 1%;$ A5 *$ $%; 4A a5
B% .%&
1;* 4a $6 @$ A5 4a 1%;$ A5 4A ;$ a5
+) $
&%+%$ $ ; $ ; % &%+%$ -
+%* &%16 a ∈ A
)%;* 41%;$5 42$ 5
$+) )
>*$ ;$% ;$ 0%$+ ( %$%$E
$$ 1@$ +$ ) 1* % $6 1**
) 1% 41.&$6) 15 % $$)(
*&)
91 $ +$ .) %&% 1%+%6)2 1*$*2
[%$6 88
X$ 1;(
% %
< 1*) **$* 1*$ 41%;$5
1*$* 4@$5 4;$5 1*$*! 2 1*
$*$ %&% +$ 1;* 4a $6 @$ A5 4A -
;$ a5 &%+%$ $ ; +$ 4a 1%;$ A5
$ 4 1%;$5 +%$ 16&$* &%+ ∈/
Y-
%1 M &%+%$ ;$ 2 +$)2 + $ 2 ∈ M
−5 ∈/ M 0 ∈ M $
:; ) : ; F
:6
C; # :C
6;
%%
;$% $:* C
Y A ⊆ B A = B *$ +$ ;$ A $6
9
*
<
;$% B %+
9
*
A∪B
' $
' $
& & % %
A B
,
. $
.&%+%$* %%+! 1*+-
%* n-% 91.
@
A
E : @
, B E :/
@
4C
9
5E D
** E <
*
$) & @$2 )%;%$ $:*
; .D$% ( 1) 9%1
, <
; %&) .D$% 9%1 <
%$%$ $%; 12$* $6 $:* ;
@$% $ ; %&+)2 ;$
%1 %
0%& E A
l )%;%$ $
$: ; @$ ;$% $+ 1$%$% @-
$ ;$% 1*)2 1$%$E
0%&
: l
l )%;%$ $: ; *
@$% ;$% 1*)2 1$%$
Y 1*%* l 1%%-
1 2
*
,
>)! * $:* 4.6:5 .%$ $: $6 46-
:5 * 4;%$6 %5 412$6 +&5 91; : l
0 A &%+%$ $ ; +$ E A
l<
* 4.)$6 ;(5 4.)$6 ;5
9Y$6 $% $:* $)
% . .%$) %1 %$ 1%%6$6 $:
4.)$6 $5
<
" 9< >$6 S / $: .%$6 $1%-
* {0, 1, . . . , 9} .%$6 1.)$* { , * , . . . , }! xSy &%+%$ +$
%&% '0) x %+%$* .) y
)1%$6 @-
$) %0% S @$) ;$% &%+( S
9< >$6 T / $: &%% % ;$ .
%0%$%! xT y &%+%$ +$ % 9
0
T .%$)I
9U< Y x $$ *&)% )%;%/ $
0
% y
, ) = *
%%
;$% $:*
%($ &%+* 0' Magn $ !
. . . 0*
. . . *.
. . *
.
0. . .
3 2 1 * . $:*2 ) * 1$$) %+-
%6 $ & 2 $)2 +%$$ $6 % .D$%
%
$$ *&) $6 $% % $) )%;%$ $:*
; $* .D$% %1 9$ +$ ! A
: <
9$ +! 9
,
<
9$ +! =
7/ * <
; +$)6* 9$ +$ 1+! A
: * < %; ; 1*$6
9$
+$ % %( &% % 1%$! B
<
1
%$%$ $%; $+%$* $:* ; $* +$)6*
. .D$%
%1 A B C $+ ;%/ % (
1*( $ 0%&% 4C ;$ ; A B5 )%;%$ 1
$: ; @$ $* $+%E 0%&% 4>*) k l 1-
%$* $+ A5 )%;%$ $: ; $* .D$%
% & $)2 1*) % $$( $+%E a b c +% $
)%; a + b = c 1$%*$ .( $; $ +$ ;
%) +% $* 1 $:! % 1)2 2
%% $$6
$: 11'%6$ a/b = c/d *&)%$
; +$) .D$%
%6(: * . $:*2 ) . 1%&%$6
$:* ; .) + .D$
$:* ; *
.D$% %&)%$* *
,
, ; $*
.D$%
, 0
, E $:* $)2
+%$$ $+ n .D$ n = 2, 3, . . . %&)%$* n-
,
> %% 1)/ * 1&6 n-$ $:-
* R 1*$ )%; 4x , x , . . . , x
, $: R 9
) $:
1 2 n
0' n 1)2 F %&)%$* ;$ $2 y *
1 2 n
%0%$%!
[%$6 88
X$ 1;(
F (x , x , . . . , x ) = . x , x , . . . , x $ 2 %-
)2E
n 1 2 n 1 2 n
.)
100 1 2 100 1 2 100
!
" #
$
X(+% ) &%(* 1% $* 1;( %&$*
$6 2*/2 1 &* 9
% U< 1$ 2
% :6 %. 1$)2 9 2 .$ $%$+ * %*
$* %;(<
X%* % 16&$* * @$( '
1'%6) + *&) )%&$6) $% $-
*$ 1 1/$ %$%$+( 2%%$
X )
;) . 1&%$6* %$*/( %
) %+ %$* 1;( $)2 $;%$-
* %+ $( 1$( $%' %1! ? /.
9 =. 9
,
. A
:
*
%;( $%( $%' +%$$
6 41$5! 1 1; +6 $ $%'
412%5 +%$ +$ $ $%'
41%*5 * +%$% ( ( $
X$%'*
+%$ ;$ $*$6 $ +$ 41$5 .%%$
%-. ($! D/ @ -. V @
E
&$( %$*;( ; 1%$6 $% .%& . $-
$%' %1 1%$6 %: 1 1; %
4`+$6 .%%$ $ ($ +$ 1:5
[$ ; %%$*
$%'( 6 +%$% $ % $*$ 0%$+
$ +$ 41$)5 %2*$* %-. $: 9
1$) C <
%%
X$ 1;( 2 +%* &%16
3* 1;( @$ $1% 1 )( $$ %)
1$) ( 1*$ /( 1. &%1! -
$%'* .&%+%$* %-. 9+%/ .(< 1%%
$ .%2 &%1)%$* % +%$ %&)
&%1*$) 2 .6:
9#$ % $ .)$6 . %
$$ *&)% . $; % %1 %$%$+-
< .&%+ %1 ($ 4.)$6 1::5 $:*
41%*5 4%*5 4115 $$$ .% ! " #
) ; &%1%$6 1) ): 1;* $%! 9 <
!9 !< "9 $ % < #9
&
<
[$%$6 *$ .%$ % % 2$ $% 1.%
&%1 1;( .)+) 1. .&%+* 0'( 9
1$) <
#$ 2$ +%(! %;) ($
%;) $: ; 6% $$ *&%$6 $
0'
%1 ($ M 4.)$6 1$%/5 *-
&)%$"* 0'* ( 1( M (x) 1%* % ;$
;$)2 $%%* +$ * %; @$% x @$ ;$%
M (x) $6 $$ &%+ 1;* 4x 1$%/5
$% +$ M () = M (
) = M (
) =
H%+-
$: 41%*5 B *&)%$"* 0'* 2 1-
)2 B(x, y) $( .%$6 1)2 @$ $$ & &-
;)2 % .%$6 $)2 @$ +%$ $%; &;-
) * &% $%%* +$ * %;( 1%) (x, y) @$ $-
$$/2 ;$ B(x, y) $6 $$ &%+ 1;-
* 4x 1%%$ y5 $% +$ M ( !) = M (! ) =
M (! !) =
#$ ; 1. ; *&%$6 $ 0' ( 1-
( %;) ($ $ 0' n 1)2
(n = 2, 3, . . . ) %;) n-$) $:
B% 0' %-
&)%$
>%$) $+%/ ($% %&)%$*
, $+%/ $) 9.%)< $:*
, $
./ 1 ; 0%$6 $%!
n
, $6 0'* n 1)2 1$( .%$6
1* ;$ &%+( $( ;$* ;$
{ , }
> / 6 1
.&%+ +& G(x) -
$)( 1%$ 1)( % ;$ %$%6)2 +
1%/( &%+ * +$)2 x * +$)2E +&
M (x, y) $)( 1%$ &%%)( % ;$ ($$6-
)2 + 1%/( &%+ x < y &%+
V [%$6 88
X$ 1;(
$%6)2 +%*2E +& S(x, y, z) $2$)( 1%$ &%%)(
% $ ; ;$ ($$6)2 + 1%/( &%+
x + y = z &%+ $%6)2 +%*2
F +$ 1)(
& @$2 1%$ $+%$ ($ 4.)$6 +$) +5 $-
( .% $: x < y $$( $% $:
x + y = z
. n-$ 1%$ ) . $6 +$
%% n
>%$) $$6 $)2 .6: ') +%$ %-
&)%$
,
Y &%+* 1%$% %) %&)%$
,
%1 1%$ 1)( % ;$ ( $+%-
/( ($ 4.)$6 $)5 $;$ $ % 1)(
% $ ; ;$ 1%$ $+%/( ($ 4.)$6 .$-
)5 $;$ ;
%& % %;*2 +%$ 12$* $6
1;* )%;%/ $;* $ +$ @$)
$ ;$% .%%$ $) ($! 4
$)5 4` 2 1*6 %% %)5 +$
$ ;$ /$$ @$) .%%/ $)
($! 4h/$$ &%/ 6 *$ *&)5
4h/$$ +) .5
3* $%2 1;( 1*$
/( +( 1. &%1
Y F ($ /
) * @$ ;$% M F (x) $+%/( @$ (-
$ 1%$ 91)( % M < $ 1; 4 @$)
;$% M .%%$ ($ F 5 +$ $ ; % 4
%;)(
9 4.(5 4*(5< @$ ;$% M .%%$ ($
F 5 &%1)%$* ∀xF (x) % 1; 4 ;$ M
/$$ 9 4$65 4$*5 4%($*5< @$
.%%/( ($ F 5 ∃xF (x)
)%;* ∀x ∃x
%&)%$*
*-
9 *-
<
-
$$$
> @$ .)+ *$ 4%$
1( x5
!
#
/
)
:
;
<
. #
M
<
F
#
%%
X$ 1;( 2 +%* &%16
>; ∀xF (x) + $ F (x) $;$
$)( 1%$ ; 1$ +%E 1; ∃xF (x)
; 1%$ F (x) $;$ ; 1$ +%
$
>+ +$ 16 )%;* ∀xF (x) ∃xF (x) 1-
%$) % 1;* ($$6$ &%*$ $ 1-
( x
#$% 1%* **$* &6 % *$
E ;
.&%+$6 .( ( .(! $ ∀xF (x) ; 1%$6 %-
1 ∀yF (y) ∀zF (z) $ ∃xF (x) ∃yF (y) ∃zF (z)
>$% %$% ./$ %$% /$%* 1 -
$) 1%$% % +%/ *$ ,
; %%$%$6 % 1%' 1%/%-
/ @$ 1%$) 1;*
%1! *&)%* %$
./$ 1 x 1%$ C(x) 1 % ;-
$ ( &%+%/ 4x $5 1+% $ 1;
∀xC(x) 4 $)5 % & 1%$% '(x) 1 %
;$ .( &%+%/ 4x +5 $ ; 1. 1-
+% ; 1; ∀x'(x) 4 . +)5E &%
1 1 %$ ./$ %$ /$%* 1-
+ $ 1; ∃x'(x) 4X/$$ +) .5 %
*&% %$ /$%* 1 x 1%$ ((x) 1-
% ;$ ( &%+%/ 4x .$5 1+%
; 1; ∃x((x) 4X/$$ .$) 5
Q%$ / +$ 1; ∀xF (x) $ $ ∃xF (x) $%-
; $ ∃xF (x) ; $ ∀xF (x) $%; ;
%1
1; ∃xC(x) $ % 1; ∀x((x) ;
1%' *&)%* %$% ; 1*$6 $-
) 1%$% @$ +% &6$%$ .$ 1;
% 1%$ $$6 $ % ' 6:
,%$ %-
1 )( ): $)( 1%$ B(x, y) &%+%/(
4x 1%%$ y5 x % % y % &
X*&)%*
1 x %$ ./$ ) 1+ $)( 1%$
∀xB(x, y) &%*/( $6 $ 1( y &%+%/( 4
1%%$ y5
9#$$ 1%$ + $;$ ;
< X*&)-
%* $ ; 1 %$ /$%* 1+ ( -
$)( 1%$ ∃xB(x, y) &%+%/( 4X/$$ % 1%-
%/%* y5 9 **/(* + $;$ $)
$;$ ;)<
X*&)%* $ ; $ 1%$
1 y 1+ $) 1%$) ∀yB(x, y) ∃yB(x, y)
&%+%/ $$$ 4x 1%%$ * &%5
[%$6 88
X$ 1;(
4X/$$ % & % 1%%$ x5
9>)( & @$2
1%$ $;$ ; $( $;$ $)
$;$ ;) **$*
< Y $16 %-. &
+$)2 1+)2 $% .%& $)2 1%$ *&%$6
$%:* 4.5 1 %$ ./$ /-
$%* 1+$* ; 1; $ ;
%1-
1; ∃x∀yB(x, y) 4X/$$ % 1%%/%*
* &%5 ; 1; ∃x∃yB(x, y) 4X/$$
% 1%%/%* %-$ &5 $
> / 1
>$6 M (x, y) %$)( ):
1%$ 1)( % ;$ ($$6)2 + $+%-
/( $: x < y
B% 1; ∀x∃yM (x, y) &%+%/
43* . ($$6 +% /$$ ($$6 +
$ .6: 5 $ % 1; ∃y∀xM (x, y) &%+%/
4X/$$ ($$6 + $ .6: 2 ($$6-
)2 +5 ;
A& @$ 1% ; 1+ +$ %$) ./$
/$%* 6&* 1$%*$6
" 9< 9%< ): .) )1%) % & 6 1;(
1+%/2* & 1%$% B(x, y) *&)% .2 1)2
%$%
)1:$ $%6) :$6 1$ 2 % (
*&) %($ 2 $$) &%+*
9.< B ; * 1%$% M (x, y)
9< .&%+ +& M (x, y) $)( 1%$ &%%)( %
;$ %$%6)2 + $+%/( $: x y
1
#
#
#
:ZRO; :G[; :QP;
$ :MRO; :GOJ[; :^JRR;
$
:JL; :GM; :SQ;
C
#
#
*
#
#
#
"
A
[%$6 88
X$ 1;(
1*$ * 1&6)2 1;( 4A5 4B5
&%1)%$6 1; 4A B5 + A & B
#$
1; %&)%$*
+
1;( 4A5 4B5E
$ .% 1;* 4A5 4B5 $) 1$ +%
;
" $ &%% & % 16&$* &% ∧
Q%$6 $$ &%+* D' $ $$)2
&%+( + ; 1$%$6 1/6 $%.')!
A B A&B
Q6 %;( $ % $ $%6( +$) &%1%% % &
+$)2 &;)2 .%'( $$)2 &%+( 1;(
4A5 4B5 % 1%% $$$/ $$ &%+ 1-
;* A & B
>.)
, *
) . :-
16&%$6* 16
>$6 P &%+%$ 43%;) % +$)5 Q 4X
.5 P 43%;) % 1*$65 Q 4X +5
B% 1;-
+ %6( + 6% %*$ $$$6 1-
; 43%;) % +$) .5
$$
($%2 *&)% % $ +$ $%.'% ;* .)+
%; $+%$*
; 1+ 1$%$6 . $-
%' $( $%%* 0%&% $$%
.%& %1 +$
( :$ ;%* %&)%$6 1*$* *$ 1/%
.$* .D**$6 ./&$) $) $% *$6 +$
%;) % 1*$6 +$ +
Y 1*$6 1$ @$ 6&
1 ;$ $6! 43% $ ; %;) % +$)
.\5
.%$* $16 & 45
*&) $ 6-
%&)2 &%+(
A& 2 % .$ $%$6 $6 %.-
1$.$6 $ $ )$1%$ %1 /2
1;*2! 9< 4Q6 .& % &5 9%+! 4Q6 .&
!
/ :
; -
_ /
"
/ :;
%%
X$ 1;( 2 +%* &%16
% &6 .& &5<E 9< 4#$ *. % $(
( *.5E 9U< 4Q%$% * 1( : ..$5E
9< 4Q%$% +% .$ )$1%$6 B B5
9>-
;* 9< 9U< 9< ; + 1.%&%$6 $% ; % 9<
<
%; & 1;( 9< 9< $$ & 2 . 1$)2 1-
;( %; A BE 1 @$ . A B $6$
*/( &%$ $ ; % $;%$
+$ 2$* .) & 2 $ % ;$ .)$6 .%
%1
1; 9< .$ 1&% $) ($$6$
1.&$ $6 % $ &% $ & $6
$6 % &E ; &% $ @$ 1;
.$ 1&% ;)
9
+ +%*2 9< 9< A B $
.)$6 $) 1$ +$ 45 1$.
2 &%+ + 9< 9U< % 1$ +$ @$2 +%*2
$) 1, )%;) *) 1;*
<
>; 4A B5 45 1%$* $6 +$ %&D*-
) &%1)%$* + A ∨ B
#$ 1-
; %&)%$* +
1;( 4A5 4B5E $
2$* .) & 1;( A B $ 1$ +%
9$
A B .% ;)< ;
Q%$6 $$ &%+* &D' $ $$)2
&%+( + ; 1$%$6 1/6 /( $-
$( $%.')!
A B A∨B
Y P Q P Q &%+%$ $ ; +$ 1 1
+ %*$6* $$$6 %6( + 1; 43%-
;) % +$) .5 / $ + 43%;) %
-
)
:
;
#"
&+' &,' &2' &?' #* :T C
0
;
#
&2' &?'
#
&+' &,'
!
!" / F )
[%$6 88
X$ 1;(
+$) .5 1*$ 1+! % ; 6 &
45 $/ % &%+ 1$.*$* * *
1;( $2 +%*2 % . & @$2 1;(
$6$ */( &%$ $ E $% +$ 1&$
9 :$< 1; 43%;) % +$) .5
.) $6 + &%/( 6 .$ %;) % %
'$% ./(* . @$ %;%$6
>( % & 45
$ *&) %
)2 &%+*! 1$1$%$6
% .$ -
$%$6 $6 1 )$1%/ %1 $%2 1;-
*2! 9< 4Y @$% % 1$1% %%& $ % 1$1%
..$5E 9< 4Y &%$% .$ 2:%* 1% ) 1(
5 9U< 4Y +% .) $ $6 / :%
5E 9< 4Y %)( $6 1*6)( ) ;
16&%$6* $( >0%%5E 9< 4Y * .%)%$
& @$ A% A%+5
%; & @$2 1;( $-
;%$* +$ $ 1; %; B $
+$ $ $ 1; %; A
> @$
*/( &%$ $ A ($$6$ 1 %((
%$* $$ 9 %$ +$ %$*
% 9<<
% &%$ &6 $$ &%+ ; 1-
;* $ $$)2 &%+( A B ) 1$%%* *$6 .
% 1 1;* 9<
>$6 $ %; A% 1&
@$ 1;E +$.) &%$6 %&% 1% ; )*$6
1$1% % %%& ..$
&;) +$) -
+%*! 9%<
% 1$1% %%& ..$E @$ +%
$$ +$%$6 +$ A% %&% 1%
9.<
% 1$1%
%%& ..$E @$ +% 6&* +$%$6 +$ A%
%&% 1%
9<
% 1$1% %%& 1$1%
..$E @$ +% $%; $ %( +$6 A%% ;
9<
% 1$1% %%& ..$ 1$1%
@$
+% A% %&% 1%
. /
# #) !
#
#
:
#
;
&
#'
D
#
:
;* :`
;
#
/
# &+'
%%
X$ 1;( 2 +%* &%16 U
B% .%& 16 1; 4Y A $ B5 ;
.)$6 1 $$ &%+ 1 . %1
&%+( A B @$ 1; ; 1+$6 &%+
+% % A $ B ; &%+ 2 $%6)2
+%*2
1; 4Y A $ B5 9%+ 4A& A $ B5
4A +$ B5<&%1)%$* + A → B %&)%$*
1;( A B E ; A $ B
; 1$ +% 9$
. A ; . B $<
$
>;* A B %&)%$* $$$ ,
1%' A → B
" $ &%% → % 16&$* &% ⊃
A$$%* $%.'% * 1%' $ /( !
A B A→B
Y P Q P Q &%+%$ $ ; +$ 2 1)-
1; P → Q ;
& *&) $6 ) % ;%/ *
.%&%* 1;( & 2 1;(
& $%2
+6 +%$ 16&$* %;*2 +%$'% 45
%)( -
+%( 1$.* $ 1 % %;( ;-
$ $%6) $$ % % $%$* 1 %&)
1+ $% .%& 1; $'%$* $ +$
$;%6 $% %1! 4 & +% 5 4
$
).%5
Y 2 1; $6 A $ 1;
&%+%$ 4 +$ A5
#$ 1; &%1)%$* +-
¬A %&)%$*
A
" $ ¬A % 1:$ Ā
A$$%* $%.'% * $'%* $ $%( !
j ¬A
%%
X$ 1;( 2 +%* &%16
Y P Q P Q &%+%$ $ ; +$ 1)/2
$)
X) & ∨ → ¬ %&)%$*
,
Q!" '! /&"0
! ! """ ' &5*4 &&'"2"!*; ' ! !
!' 7! " " '!" %"; & "; " /& 0 !
+ ! "'O42"" * & !45 !
/""0,# $ 7 !!"' '!" 45"; ";
(" !7!; ; ! ; !'! &" "!
2 ""#
% ;)I
9.< 9< B ; &%( & % ∨ % →
9< B ; * 1;( ¬X ¬X ¬Y ¬Y
%;( 11&'%6( *& $$) .%& 1$%-
*$* $%* 1%'* % 1;*
%1 D-
' $+%$ .%%* 1%'* $*/%* .%&% 1
1;* 2 D'E $'% $+%$ %%* 1%'*
$*/%* .%&% 1 1; $'%*
) 1-
+% +$) 1%'! $ .%)2 %
#$ 1%'
$%; %&)%$* D'( &D'( 1%'( $-
'%
9B% .%& %; & @$2 .&%+%$ 1%'
&6$%$ 1. $% 4.D5 41+5
<
>$6 % $* 1&6)( %. 1;( X , X , . . .
. . . , X E ) . %&)%$6 2 8
,
2
1 2
9.< Q%1%$6 1-! 9. < ¬(¬! & ¬ → ()E 9. < ¬¬(( ∨ () & ¬!)
1 2
9< >$6 X &%+%$ 4 .&%5 Y 4
*6%5
9%< Q%1%$6 1/6 0 1;(! 9% <
.&% %
*6%E 9% < Y +$ $ .&)
1
$
*6% .&%E 9% < +$
2
$ *6 $ .&) $ .&%
3
+$
$ *6E 9% < Y +$
+$ +$
*6% $ .&% $
4
9%< F (x , x , x ) → P (x )E
9.< ∀x¬∃zF (x, y, z) ∨ ¬G(x, y)E
1 1 2 3 4
9 $ + 6: +% % @$ + 6:
$$6 $ 1 6: $$6<E
∀x∀y(¬E(x, y) → M (x, y) ∨ M (y, x))
9 % +% %&+) $ & 2 6: <
Q%16
1;* 4Y'% $6 %6: %$%6 +5 $
¬∃xM (x, 1)
.
)
V [%$6 88
X$ 1;(
>$6 B 1%$) 1) % ;$
. %0%$% &%+%/ $$$ 4x %%*5
4x %%*5
,%$ $ 1%$ A(x, y, z) 1-
)( % ;$ &;)2 45 $
+)2 1%-
$6$( $%)2 & 2 . 9 .*&%$6 **-
/2* % %< &%+%/( 4 z ;
$%$6 & x y @$ 1*5 9% :%%! %1
1 ; $%$6 & 1 < 1%$ B(x, y)
$ 1%* 1%* 1.%$ ;$ . $%*
;$ &%+%/( 4.% x 2$ y5
&* @$
+$) 1%$% %+$ @$%)2 ; )%&$6 %1
/ 1%$)!
9%< 4X x $$ & ( .)5! ¬∃y∃zA(y, z, x)
9 %
$$ & ( .) $ $6 $ +% %
6&* $%$6 & %2 2
<
9.< 4X x $$ & 2 .5!
∃y∃z(A(y, z, x) & ¬∃u∃vA(u, v, y) & ¬∃t∃sA(t, s, z)).
&∃w∃s(P (u, w, x) ∨ P (w, u, x)) & (P (v, s, y) ∨ P (s, v, y))) & ¬M (x)
2
x
3
X1 X2 ¬(X1 → ¬X2 )
3($$6! %< Y X X $) $ ¬X ; 1@$
; &%+$ ¬(X → ¬X ) $E .< Y X $
1 2 2
X1 → ¬X2
% ; $ ¬X $ X → ¬X $ ¬(X → ¬X ) ;E
1 2 1
X2
< Y ; $ X → ¬X $ 1 . X ¬(X → ¬X )
2 1 2 1 2
X1
;
1 2 2 1 2
X → X )+*$6 ;<
1 2 2 1
1 2
> 1 1$* $$( $%.') * 0)
;%/( $ @$%)2 1;* X X X
@$ -
+% $%.'% $ $! &;)2 %. &%+( 1-
1 2 3
>( $.' ; &%1$6 )1 * %;( $-
1$ 4)+5
; % &%+$6 1-
$$6 @$ 1' &%$$6 -1)2 +$ 1;*
X X .% $) $ %:% 1%'* $ $ &%+
1$ $% -$)2 +$ X $ X ; $
1 3
&%%$ 0' 2 1)2 F (X , X ) $% +$ F ( , ) =
F ( , ) = F (, ) = F (, ) =
1 2
9< 3%&%$6 +$!
"
9%< X → ¬Y ≡ Y → ¬X E
9.< X → (Y → Z) ≡ X & Y → Z
9< ,%6) 0)!
9%< ¬(X → Y ) X → ¬Y I
9.< (X → Y ) → Z X → (Y → Z)I
9< (X → Y ) & (X → Z) X → Y & Z I
9< (X → Y ) ∨ (X → Z) X → (Y ∨ Z)I
,%6) $ .)$6 $% 0) $)2 ;$%
2*/2 2 @$%)2 1;( 1%%$
3 $
+$ 0% ;%/%* 1$ % @$%)2 1;*
X X 1$%*$ $6 0' 2 1)2 X X
%1 0' $2 1)2 X X X $% +$
1 2 1 2
& &%+* X
1 2
/( $%.'(!
1 2 3
%% V
%+%% 1;( V
X1 X2 X3 C(X1 , X2 , X3 )
% X X 1%$ &%+ @$% 0'* $%; 1%$
&%+ 1 .2 &;)2 &%+*2 X E 1 $%6)2 +$%-
1 2
9< X ∨ (X & Y ) ≡ X E
9< (X & Y → Z) & (X & ¬Y → Z) ≡ X → Z
>6&*6 1*$ %6$ ; $%$6 * 1-
$)2 +6 %;)2 ($ 11&'%6)2 *&
3 -
$( $1 12; % ($% %0$+2 ($( %
+% / .6: % ($% 1%'( % ;$% -
$) .) %$) %
@$ ($% $ %-
6$( %&)%$* 1/6 $$)2 $%.'E 2
%&)%$ .)+
,
,
,0
,% .6:(
.&$ ) %&.6 2 % $ 11)
V [%$6 88
X$ 1;(
11 8 ($ 6 $:( $)2 +%$$ $6
D'* &D'*!
8
X ∨ (Y ∨ Z) ≡ (X ∨ Y ) ∨ Z 9%'%$$6 &D'<
8
X ∨ Y ≡ Y ∨ X 9$%$$6 &D'<
1
$: &D'<
5
8
X ∨ X ≡ X
8
X & X ≡ X
7
8
11 88 $%*$ $ $:* $)2 D-
' &D' +%$$ $'%!
88
¬¬X ≡ X 941% *$* ( $'%*<
88
¬(X ∨ Y ) ≡ ¬X & ¬Y 94&%) 3 %%5<
1
88
¬(X & Y ) ≡ ¬X ∨ ¬Y
2
3
11% 888 $$ & $2 $:( $)2 +%$$ 1-
%'*!
888
X → Y ≡ ¬X ∨ Y
888
X → Y ≡ ¬(X & ¬Y )
1
$6
, *
0 $
12$6 $ 2
0 %6) 1. $ % 1&*$*
$;$) 1.%&%* @$%( %.
+%$$!
$:( 8 8 )%;*2 % X ∨ (Y ∨ Z) X & (Y & Z)
$
1
; 1%$6 . 90%$+ ) @$ 6 %& ;
1 3
D
=
@ 0
&dMXMSLMS eJ WG[XZR +34V/+35+'
%% V
%+%% 1;( VC
&D'*2 D'*2 $: 8 %)%$6 .
* 2 %. &%+( &%)2 1)2 % 1%$
&%+
* 2 %. &%+(
&%)2 1)2 1%$ &%+
G% 1$%-
*/%* $;$ $ $;$ ; .
0' $%; %&)%$*
$$$
B;$ $) %1 / 0)! X ∨ ¬X
¬(X & ¬X) X → X E % %;%* & 2 1 . &%-
+ X 1%$ &%+
B+ $% ; * +$ 0)
¬(X ∨ ¬X) X & ¬X ¬(X → X) $;$ ;)
>) $;$ $)2 0 ;%/2 1-
)2! X & Y ∨ X & ¬Y ∨ ¬X & Y ∨ ¬X & ¬Y E (X → Y ) → (¬Y → ¬X)
[$%$6 .$* 2 $;$( $$ $% *
2 $$) $%.')
F +$ $;$ $) 0) %6) ;
.( *%* 0% %6%* $;$ $( %%
$;$ $%E $ ; * $;$ ;)2 0
+ $%; +$ $'% $;$ $( 0) $;-
$ ; % $'% $;$ ;( $;$
$
B;$ $) 0) %$ +6 %;
6 16 $) &%$ $ ;%* 2*-
/2 2 @$%)2 1;(
A%+ * 2 $$6
%% V
%+%% 1;(
1$6 .% 2 + $ &%$ $ $
%( 1$( .%$ $*$*
X% %1 %
%0$+2 1;*! 4Y %$%6 + $* % V
$ $* % U5 4* %$%6 + $* % U
$*5
.% $) $$6 1 .-
% &%% %0$ % $$6 $ $ @$2 &%
&%$! ) * 1&6 %$%6 +% x .&%+
1; 4x $* % U5 +& X $ %: 1; )%-
&$* $;$ $( 0( X ∨ ¬X 1+ & @$(
0) 1; $%$* $) &*$6 %+$ X
. 1; .*&%$6 %0$+
; %&%$6 $% .%& +$ .%* $;$ $%*
0% )%;%$ $)(
+%$$ 0-
% X ∨ ¬X )%;%$ &% + $$6 % 0%
¬(X & ¬X) &% 1$+* 9
<
%&%) ): ) %6$* ) ; $16
.%$6 6 )2E 2 .$6 .$ $ +$ $)
& +%$/2 2 1;( 11%%$* $;$ -
$) $;$ ;)
@$2 $:*2 .% R
.$ .&%+%$6 1&6 $;$ $ 0 F
1&6 $;$ ; X 1&6 1;
8Z
X ∨ R ≡ R
8Z
X ∨ F ≡ X
8Z
X & R ≡ X
8Z
X & F ≡ F
1 2
8Z
X → R ≡ R
8Z
F → X ≡ R
3 4
5 6
3%&)%$* @$ $:* +6 1$
%1! X 1-
%$ &%+ $ 16 R % $ &%+ X & R
$; 1%$ &%+ E ; X 1%$ &%+ $
X & R 1%$ &%+
H%+! % .) .) X -
1%'* F → X 1%$ &%+ 16 1%'* ;%
:6 $% % 1)% $% % &%+ ;
$%6)
%6$ +$%$6 %;$ %
X$: 8Z )%;%$ $% %&)% <
B !
& ; $ +$ 91-%$) Tl mKNP? nM?^NRLTJ<
6
6 @
- &fGgZRRJS eMRS hKGLMS +2V7/+,43' /
"$
$ i
[%$6 88
X$ 1;(
;) +) % D'*2 $;$ $)E $ ; -
* $;$ $$6 $;$ ;$6 0)
%$* $%$6 1/6 $:( 8Z &%
+ $$6 1$+*
$ $:-
1,4,5,6
6% X ∨ Y 8 8
3
7 8
%$% F (x) G (x) %+ * % $) 1;* ∀xF (x)
∀xG (x) / %+ % $% 2 D'* $
0 0 0
G) ∃x(F (x) & G(x)) ∃xF (x) & ∃xG(x)
%6)
[$.) .$6* @$ $%$+ %($
&%/ F (x) G(x)
$) 1%$% 1 $ % & %:2 0 1-
%$%6 .) $ 1; % %* ;
&%$$6 F G 1%$% 1) % ;$ %$%6-
)2 + &%+%/ $$$ 4x +$5 4x +$5
$ 1%* 0% 1%$$* ; 1; 4X/$$
%$%6 + **/* +$) +$)5
% $%* $ 1; 4X/$$ % +$) $%
+$) %$%6) +%5
∃x(F (x) ∨ G(x)) ≡ ∃xF (x) ∨ ∃xG(x)
% ! 1%* 0% 1 &%/ F (x) G(x) $)-
1%$% F (x) G (x) 1%/%$* ; 1;
$ $6 $ +% % 1%$ F (x) ∨ G (x) $;$
0 0
9.< B ; &%( ∀ % ∃
% % &$ & 1)/( %) 1;(
$* 1$( 1. 1&*/( * .)2 2 0 &%$6
%6) ! $%$+ %$6 2 $$) $%.')
1%$ 1. 1.% $ .) .) .1& 1)-
$%$6* %($!
+$ /$$ % %6
$% $)( 1&* .) 42%+5 1/6 2 $2
; +$ 1)2 1% * .)2 2 0 1-
%$ )**$6 **$* %6)
>@$ %-
6$6 12$* %&)2 +%*2 %&)%$6 1-%& @$
;$ %&%$6* 1$
* $)2 %;)2 +%$)2
+% -$% $6 1$) 1.) %&%$6$% %6$
A% %$* %1 16&%$6* $% 1-
;( 9
): 1 1)/ 1$% &%+% <
* 2 +% ; 16&%$6* ($% %$
$
%. %;) & @$2 ($ 92 +%$ %&)%$
,
<
) %& 2 % +$) 11)!
11% 8! 1$%% )2 %$
8
∀x∀yF (x, y) ≡ ∀y∀xF (x, y)
8
∃x∃yF (x, y) ≡ ∃y∃xF (x, y)
1
2
I ∀xF (x)E & $$ ∀xF (x) $ +$ 1%$ F (x) $;-
0 0
$ $% +$ ∀x(I & F (x)) $ 1;
X ( $-
0 0
) I & ∀xF (x) ; $ ; . I . ∀xF (x)E 1-
0 0
#$ $:* $ & $ +$ % .) $+ /
% 9
< 1;* ∀xF (x) ∀yF (y) $ %) -
$$) &%+* % .) .) 1%$ F $ ; %
0 0
, *
%%+ $ % @$ %$* 1-
;(
,%$ 6 1
∀x(F (x) → ∃yG(x, y)) ≡ ∀x(¬F (x) ∨ ∃yG(x, y)) ≡
≡ ∀x∃y(¬F (x) ∨ G(x, y)) ≡ ∀x∃y(F (x) → G(x, y))
Q6 % 1 :% 1%'* )%;%$* +& &D'
$'% % $ & &D' )$* &% . %$
/$%* 1 y 9@$ ; %$6 16 0% ¬F (x)
;$ .)2 2;( y< % $$6 $%%%$*
1%'*
%%
%+%% 1%$ C
¬∀x¬F (x) & ¬∀xG(x) ≡ ∃x¬¬F (x) & ∃x¬G(x) ≡
≡ ∃xF (x) & ∃y¬G(y) ≡ ∃x(F (x) & ∃y¬G(y)) ≡
≡ ∃x∃y(F (x) & ¬G(y))
Q6 % 1 :% %;) 1*$* $: 88 % $
$%*$* ( $'% *&%%* 1%*
1
1
. &%/ 2*/2 1%$)2 $-
) 1%$% % 1%/%$* $ 1; 9
% &%$%< $;$ $)( 1%$ 9 %
&%$%<E 0% 1%$ %&)%$*
,
1 . &%/ 2*/2 1%$)2
$) 1%$% % 1%/%$* ; 1;
9 % &%$%< $;$ ;)( 1%$ 9 %
&%$%<
$ 4 $%*5 $%$ % *&) +%$ -
16&$* %+)( $ 4./&%+%*5 9&:( &6$%-
$ 1% ' )4%#&4J$!#4 <
G **/* )1( $$ %&%$6 ,
" A& 1( * +$! 9%< *%* 0% %-
6%* $( 0 %% $% $ ;
* )1)2 0E 9.< $'% $( 0)
)1 % $'% )1( $E 9< 0%
I .( 1( x $% $6 $% $% %
$% 0% ∀xI $% $6 $% )1% %
)1% 0% ∃xI
%%
%+%% 1%$
>. $;$ $) 0% 1;(
$) 0) 1%$ )%;%$
, $
4%.$ $)5 1;* $) &%-
$ $ $ %( ) 1%$* 2*/ 2 1%$)
%
9&%$%* $%* 0% $%$* 4%.-
$ $)5 1; *&%$6 .) 1-
) %$% ./$
<
,%$ $16 6 1$)2 1
G% F (x) ∨ ¬F (x) $%
% -
&%$$6 F 1&6) $) 1%$ F &%$ %$6
1( x 1&6 &%+ x 1+$* $ 9
0
∀xF (x) → ∃xF (x) % $% $% % 1; ∀xF (x)
0
;
0 0 0
j
#
"
)
! #
$
%%
B* %&%$6$%! 11&'%6) 1%%
, %/ $ 1% %6 1'% $ %-
;* %+ * 1'% %&%$6$%
%$%$+(
+* 4-'5 $1% : 16&$*
%$*/ * $
+$ $2+ %1$ .%%$
$) 1/$%
% $%
1*$ &%%$6 . % +* $$ )% .
% 1$ ' +*
1 & `
2 & `
3
&
→ `A →
`A
,
¬( ∨ )
∨ 3 ¬( ∨ )
`
U 3X
& ∨ → , ,
1
2 & 3 & ∨ →
&∨
3
`A
( & ) & & ( & )
U ( &&)& `
1
( & ) &
`
4 `
5 `
( & ) &
2 & `
6
7
& ( & )
&
, -
$) 1$ $%*$* ;) $%*$*
> ;$ ;$6 %&%$6$ %&. +%! %%$-
%* %;)( $6)( +%( ) 1% 1/ +$ @$$
+%( $ $ % % +% %&.%) ) .6: ;%-
* @$2 1/*2
B ; 12$ 1 %&%$6$ 1-
1$! +$.) %&%$6 +$ $ $; ;
) 1% %+%% +$ $ % % $6 & @$( 1$&)
1+ 1$+ % $%*$*
%' 1 %&%$6$
$;* ) 1% +$ 1)% $% &
@$ 1/* ) &%+ % &%$ $%* 1-
/
#$ $ 1% %;* % %& 1)%$* %:
) 1%%
> 1 %; & @$2 1% $%-
*$* $ 1/ 1/*
9G* 1%% )
.&%+% $%*) 1/* +& 1% `3 +&
1%%2 A
< )% 1/* @$ $ 0)
$) **$* $6*
>@$ $% 1/* ;
D
.D
# @
#
D
&
# 3'
, &
V'
,
%%
B* %&%$6$%! 11&'%6) 1%% CU
1$%*$6 . % 4.)5 4*%5 $%E & %6(:
.$ +$ 4*%5 . $+)( .%&
> 4.5 .6: % & 6:2 $) $6* @$2
6:2 6 $ 4*%$65E $ $6* $) 4*$5
'% .%&$ ;$ 2)2 1) )% $
$ ;-
$ M $ $$ % $ &%% )$ M %-
&)%( 1/6 % %E 4*:5 $6* @$ 1-
;$+) 1/*
;$ +$6* +%$$ +$ 4*$5
$6*E $% ) 1+ ) & 1$ ;$% %+ *
6 % .$ %&( 0(
%6(: ) . 1%$6 %
/
.& %)+ % $6* *%/ '% )% . %&)%$6
, $$$/ %
>$ $16 1 )2 1% % 1%2
> @$ ) . &%+%$6 *: $6* %%$) .
% * . 1%$6 )2 .%2 :%% % $ *
%)( $
91+ %&% @$ % .*&%$6 %
) . 1%$6
<
∨ ∨
[∨](3) 3 [∨](3) 3 ∨
U ∨
`3
9Q6 1*$* `3 1$) M
<
→
[](2) B
→ A
9Q6 1*$* A 1$) M
>+ $ &-
)2 $6E @$ &%+$ +$ 0% → %&%
<
¬¬
[¬] (2) `
¬¬
9Q6 1 1 ;$ M $$ & ( 0)
<
C [%$6 888
X$ %;(
" X% 1% C 1 U $$ -
/$ %&+ ; 1%% 3X! $ 1-
*$* +% % )% $%$% 1 1
& &)2 $6 % *%$ $% % 1 1 3X
&) $6* $%$* &)
→
[](2) B
→ A
¬ →
[](3) ¬ `
3X
U → A
∨ , ¬
[](4) ¬ `
3X U [](4) ¬
B
∨
`3
( ∨ ) ∨ ∨ ( ∨ )
[](4)
∨[4]
∨ ( ∨ ) U ∨ ( ∨ ) [ ∨ ](7) [ ∨](7)
V ∨ ( ∨ )
∨ ( ∨ )
∨ ( ∨ )
( ∨ ) ∨
[](3) →
¬
U ¬
%%
B* %&%$6$%! 11&'%6) 1%% C
→ ¬ → ¬
3 )% 1+%$* &6 & % 1)/ 1% -
.% :%% % $ 1*$* A
G% ¬ )% & . ;$% 0
% M 1&6 ;$ 0 $ 1 1%
B M, % $% 1 1% $ +$ M ¬
+%$$ %+$ M ; &*$6 1$ ;$ $% +$
0% ¬ %&%
" $ .$6* +$ 0% $% $6
$% )% & 0) % %&% 1%'* →
% $ 91 1% A< → E ( $)
1%'* → %&% $ 0%
AA Δ
A →
`A
Δ )% 0) → & 1$ ;$% 9 -
/ &)2 $6< .$ + )% 0) &
0)
[$.) +: 1*$6 $ 6 )% ; %+$6*
2$* .) ;)2 +%*2 $$6 2 %$*$6
> @$
1& 1*$6 % / 1$) .%;*!
-1)2 2)2 1) & $)2 % %;$
+$ )$ 9$
$2 0 $) ;) .)$6 $6* -
%< $6 0% **/%** D'( %2-. 2 0
$ % 1$* 6 %& 1$6 @$(
0 1% %* D'E %%+ * $%6)2
11&'%6)2 *&
B% 1% 9$(<
2( 0 & %;) 1*$* `
E 1%
2( 0 ( & ) & $ ; 1% 1*$* $;)E
6*2 1 2) 0% 1*$* `A
6*2 1 U C ` 6*2 1 U `3
6*2 1 `A ` 1% ` `3
B ; % .$ 0% **/%** %1 D-
'( 1+$* % & 1;$+)2 :% )% $%%*
0% 1*$* %+$ 1;$+ 1/*! @$ D-
' 1$* 1$ %$6
B% .$$
CV [%$6 888
X$ %;(
1 9 %*$* D'* & < 1 U 9 %-
*$* &D'* ∨ <
-$)2 0% $%* ;% .)$6 1$%*-
$ .( D' $ 1+$6 ) ;) .
1/6 1%% * D' %%+ * $%6)2
11&'%6)2 *&
B% 6*2 1 % 4%
;5 :% 1*$*
6*2 1 V U 3
6*2 1 A 6*2 1 C
B ; * ( 4+%$+)2 65 9
2$* .) 1
% :% 1*$*
% :% 3<
-$$62 ) 2$ +$ )$ & &D' 1/6
1%% `3 ) ;) %+%% )$ @$ & %; +%
$6$ 9
1) U<
-+$$)2 0% $ ; )$ ;$ 4-
5 2*/ $% 2)2 1) $ 6% *$ +$
1$* 1$6 3X 9. +% % @$ 45 %2-
*$* $ &D' +$ .) %$6 %; 16&%$6*
1% 3<
B% .$$ 1%2 U
B ; $$*
* 4+%$+)2 65 9
1 <
A% 1+
1.)2 +%*2 %.$%$ 1% B 9
1 <
>6&*6 @$ .%;* ; 1)$%$6* %$6 6*
)% 2 & & 2 11 $
%1%
B16 +$%$ $* 1; + 1;%$6 +$ -
%&%$6 91$ 6< / )$!
9< & ∨ E
9< & , & & E
9U< , , ¬( & ) → E
9< , , ¬ , & → E
9< , , ¬ , → E
9V< & ( & ) ( & ) & E
9< → , → → E
9< → ( → ) → ( → )E
9C< → ( → ) & → E
9< & → → ( → )E
9< → , → & → & E
9< ∨ ( ∨ ) ( ∨ ) ∨ E
1 1 2 2 1 2 1 2
9U< → , → ¬ ¬E
9< ( → ) & ( → ) ∨ → E
9< ( ∨ ) & ( → ) ∨
%%
B* %&%$6$%! 11&'%6) 1%% C
.%$* $16 ;%$6 ) %$)2
1
%;%* & 1+)2 % )$( 1$%*$
.( /$ $ 41% %;*5
@$ 1%-
% %: + 1$$* % ) 1%%
1+) ): 91$ U< % )*$* & )2 1%
>@$ 2 %&)%$
,
X 1&)2
1% $6 +6 1$) 1$%*/* +) %; .&
* .%* $%) 1%% 1 %&:%/
1$%*$6 +) D' &D' .
;) %$ 0%6 1% $2 )2 1%-
6)2 1. %;*
$) & @$2 1. 1 $
) 1+% 1$%*$ .)( $ . 2 )
$$ %&%$6 $6
B% )$ 1 &%-
+%$ +$ 1%'* $% ;% 1)% $
&%+ )$6 1% +$ &D'* $-
% $ & ;$ +% $ $$6
)$6 1% @$ 1% &$ $%'(
1 %&% ]?^MP J?NNTSP 94$'%$6)( 1.5<!
$ 1; $ & ;$ &%+* $
;$6 1)
$) )$ :: $6 +$
0% &%% $%; **$* %;) +%$ 16&-
) 1%%! )$6 9< )%;%$ $% %&)% 41%
$%&$$ 1%'5 9< 41% 1$% 1)5
9C< 41% * 1)5 9< 41% %&D*
1)5
&%+ %) &%(* 1 *& ; 1*$*
)$ %&( 0) ( $) &+%:*
% V 1*$* %6$ $;$ $( 0-
) (
>; 1%* % %+% @$( %) 91$ < 1-
* 1 %&( 0) 9%&$6 0)
&%+%$ +$ % $% 1 @$ $$6 ;$ .)$6 %-
&%% 1 1%% +* .& %2 .) $ .) 1)< )
; ;%$6 +$ *+ 1*$ %&$ 1%%$ 1-
*$ $;$( $$
A @$ ($$6 $%! 0%
1;( %&% + $$ )% $-
% $6 $% % % $;$ $%
#$ $;
%&)%$* $( 1$ +* 1;(E %&%-
$6$ ; %($ %2 %$%$+(
C [%$6 888
X$ %;(
A& $) 1$ )$%$ +%$$ +$ %%$%
% +
! ;$ /$%$6 $%( 0-
) +$.) % $'% .) %&) @$ +
% $% +% %% 0% $'% .) .)
$;$ $) % @$ + &;
[$.) )*$6 +$ $+%$ %: + 1*$ %-
6$ / 1! 0) %&)%$*
8
, %;%* & 2 )% & -
(
3$ @%$) **$* %1 0) &
& 9
1 E * +$ 1 0 ; )$ &
$( $+ $% ; % $ & 1( 16 +& )
.&%+%
, 0)< ∨ ∨ 91 < ( & ) &
& ( & ) 91 )$6 9V< & &%%* 1$ V<
( ∨ ) ∨ ∨ ( ∨ ) 91 U )$6 9< & $ ; &%-
%*<
2 @$2 1%%2 2*/ 2 0) %6)
B% .$$ ./ +%! 0) 1;(
$ @%$) + $$ )% $%
$6 $% % %6)
+%$$ * %;( & )2 %6$( 1)2
% V ; )$ +%$6 & 1%( .%$
3*
2 %6$( )%;%/2 $%$$6 D'
&D' ) @$ ; % * %6$( )%;%/2
%'%$$6 $2 ; 1%'( % $ @$
%$* %%+
> / )) $+%/ $.$-
$ D' 1 $: &D'!
& ( ∨ ) & ∨ &
& (∨ ) `
[](8) & (∨ ) `
[ ](8)
& ( ∨ )
U &&∨ & 3 V &&∨ & 3 ∨ `
&∨&
`3
& ∨ & & ( ∨ )
6
#
) *
#
#
M
#
#
M
#
&% # #
$ 7'
%% C
$$) $$) )) CC
[ &](9) V [ & ](9)
[ & ](9)
U ∨ [ & ](9)
∨
C & ( ∨ )
& ( ∨ )
& ( ∨ ) &∨&
!, $" &!" * 8B# D ! M " "' ; @ "
! @! * & # > " &"!" O42"" ! !'
" " "' " 7!" !
"! 7!* !#
7, $" &!" * NB# D ! M " "' @
& ! @! * "" # > "' ! " &"!"
O42"" " ! " 7!! % "
7"; #
, $" &!" * 83# D ! M " "' @
"" ! @! * ∨ # > " &"!" "'O42""
%% C
$$) $$) ))
" " "! 7!* ! "'
" 7!" !#
, $" &!" * N6# D ! M " "' ; @
" → ! @! * # > "! 7!* "&"
!2"" '!! !"" &7! & "
7!"4 &" &"* " 7!" '!4"#
$% " !&!! "" 7!"" @ "
→ " 7!* " @ #
, $" &!" * N)# D ! M " "' ; @ "
¬ ! @! * # $% !'! ( " /E"
@ ; 5" M " 7! @ !
( ( "!* " 7!0 &! " ""!*
7!' ? " (" &"9 * @ " ¬ 7
7* 7! +" " " !"",#
, A!" 7!' ( !( !* " &" &!"
* 3
9 % ! M " "' @ 4 "
'( 7!*#
(, E" &" &!" * D8 @! ; " (
M " !'! ( " !" & !"#
¬¬ [¬](5) `
¬¬ [](5)
B U 3X ∨ ¬ AB
`3
%% C
$$) $$) ))
* $16 ( & )2 %6$( 1-
;( %$)2
V %6$ 88 $ ) %-
&% $% 41% *$* ( $'%*5
) 1%&% (-
1
[](5)
` [](5)
`
[ ∨ ](6)
`3
V ¬(∨ )
%% C
$$) $$) )) C
[](3) [](6)
∨ ¬( ∨ ) ∨ ¬( ∨ )
U ¬ V ¬
¬ & ¬
o
#
"
#
:T );
:-
;
[%$6 888
X$ %;(
( " '! "4 * ! &"' &!
"!# 3 % " ! " &!!* ""
"" 7' "&*'!" 6D @ ¬¬( ∨ ¬) ! % !* +#
& +7, * @"! '! !",# : ( !'!* !
" 7!' &!" " "2!" !"* '!
"4 *# :( &!'!* !( (
!"* "" &" " # 8 ! 9 "' ""
&"! &! → ¬ ∨ → ? !'! @! +#
& 5 ! &" , ! "' ¬ ∨ " ∨ ¬ +# ! ( &"
,= "' "" &"! &! ¬(¬¬ & ¬) ¬¬ → !
4 ! &"* &!" " "2!" # # ¬(¬¬ & ¬) ?
!'! @! + "!* 7 " !,= "' "
&"! !( &" &!" " "2!" " '!
"* ! ¬¬ " ! # S !! "" &"! !
!"*! ! !'! !7 '! "4 *9
¬ ∨ ¬¬#
8!( '!"* "' "'( !5 ! !
5 '! "4 * '!"" !*; &!" "
"" ! # # ( 7* "' "; !
&"' &!"! ; ! ! ! " *# - @! ( !
!'!* ! " '(" ' *
&""#
[∃x
(x, y)](3)
v∃
∃y∃x(x,(x,y)y) v∃ [∃y(x, y)](4)
U `∃
∃y∃x(x, y) ∃y∃x(x, y)
∃x∃y (x, y) `∃
%%
B* %&%$6$%! %$) 1%%
∀x¬(x) ¬∃x(x)
(x)
∀x¬ `∀ [(x)](3)
¬(x)
` [∃x(x)](4)
U `∃
¬∃x(x)
¬∃x(x) ∀x¬(x)
[∃x(x)](3)
(x) ¬∃x(x)
U ¬(x)
∀x¬(x)
∃x¬(x) ¬∀x(x)
[∀x(x)](3)
(x) [¬(x)](4)
U ¬∀x(x) ∃x¬(x)
¬∀x(x)
[(x)](5) [¬](11)
B 3X ` ∀x((x) ∨ ) `∀
[](5)[¬](11)
U
(x) (x) (x) (x) ∨ `3
V ∀x(x) v∀ ∀x((x) ∨ )[](11)
B
∀x(x) ∨ 3 C ∀x(x) ∨ 3 ∨ ¬ AB
∀x(x) ∨
`3
" [%$6 1 % $+%/%* :%% V
1 $2+ 1+% 9* $ +$.) 1$6 % $%-
'< $% $% +$ 1 +$( $+%/( :% %&%6
$ 0) 9% 1%6 $% ;% .)$6 $6 0-
% (x)<
3%&%$6$ )$ 1% !
[(x)&(x)](5) `
[(x) & ](5)
∃x(x) v∃ U `
∀y (y)
v∀
1%%%)5
I ! 4$) T $6 T 5 94$) )1 @$( :)
&$) +)5 4$) ;$) 1$%/5
S P
=
U
U
%%
H$$%* $%
./( * 2 @$2 0 D$)( + ∃yS(y) & ∃zP (z)
) . %&)%$6
-
;* % $( D$)( +
G) 9< * +%$)2 ;( ; +) .%&
1$$6! 1$% O %6 ∃zP (z) & ∃x(S(x) & ¬P (x))
1$% I ∃x(S(x) & P (x))
% 1) 1$%* .-
$ +$ 2 * )*$* 1%&%%* $;%%*
+%$
Y .&%+$6 %) 1$ .%%/2 ($% S
P $ ; .% S P $ %* +%$6 ./$$6
;* +% S P .$ &%+%$6 +$ % S ;$*
% P +%$$$6 +$ 1+ S P 1$
./$'%$6 +$ S 1%$* P 9%+ * -
;$* 1 P < +%$$'%$6 +$ 1+ S
1 P 1$E 1%&%%* +%$6 ;* . $1%
&%+%$ +$ S P 1$)
% @$ % %* &.%;
%$+2 ;( 1/6 $% %&)%)2 %% %
9%+ #(%<
%) S P &.%;%$* 1 @$ % +-
$; % ) &%$) 0% $% +%$6 %% S
$( $ +6 ; 9* ./2 ;( @$ 6 % S
* +%$$$6)2 1+ S P * +%$$'%$6-
)2 1+ S 1 P < )*$* :$2(!
' $ ' $
'P $ ' $
S S P
& % & %
& % & %
A I
' $ ' $
' $ ' $
S P S P
& % & %
& % & %
E O
[%$6 888
X$ %;(
$%'( .) $% * ($ %$+-
2 ;( %;(: & $)2 **$* / %!
8
X;* $1 A O %2*$* ; .( $: 1-
$+* $ ; * ;( $1 I E
#$ &%+$ +$
; $1% A +% S P $ $% $6 $% %
; $1% O $ ; +% ; %%+ * I E
88
X;* $1 I E 1%$ .%/ $
2%*$ -
$$6 1 1$% +
X($ 88 $ & 1$%* 9< 16 0-
% S(x) & P (x) %6% 9 $ @%$%< 0
P (x) & S(x) $ ; * 0 S(x) → ¬P (x) P (x) → ¬S(x)
X; .$$ ($ 8
W .$6* +$ %1
$'% 1$%* 9< * $1% A %6 $$$-
: 1$% * $1% O
&%$ @$% %6$6
&-&% $ +$ $+ &* ( 1; $-
1% A ; $6 $% % $ 1; $1% O
$ ; +% 1 %: 111&'
9%1 -
S ($ .)$6 %$%6) + $*/
0 < n < 1 P . ($ $ 0) 9< %$ ;)
1;*
< [$.) 1%$6 % + *&)
$+ &* $%'( ) ;) 1%$6 $'%
;* %+ $% +$.) &%$%% 111&'
3*
@$ / 1*$!
>$6 C 1; & 9<A 9<I 9<E 9<O
)
. %&)%$6
1;* C D'
1%&%( +%$ $'%* $;%( +%$
B16 1$ + +$ $ $'% 1-
;* % 9<A %6 1; 9<O $ ; +%
$ ; 1 1 $% A OE %%+ * I E
B
%) ($ 8 .%
%1 & $$ ;* 4 $$) %:( 11)
&+%$ %$( *&)5 $ ;$6 ;* 4$)
D $
-'
& -'
) &. (" "#$% / '
0 ,
'
1 & ,
&. (" $ ( %#) #
$ ( )! " ' / $
)
)
#
)
C
$
# A &
#
:D
/
;
# :
/
;'<
"
$ . 1) ;%$ / + M 9 $$ ;
.2 1)%2<
P S M ) . %&)%$6 $$$ *M/.
/
E +%/ *$ 1+
*/.
/
0
>)% ;%/%* .6-
:( + 9$< %&)%$* */ , ;%/%* 6-
:(
/ ,
>) &!
8 "" U JG "'!4 @!2'" '#
8 "
" ; ! U JG#
!* "
" ; "'!4 @!2'" '#
'
' $ $' $' $
M' $
P M' $
S S P
& % & %
&
& %%& %& %
vKOLKOK hTNKOTSJ
U< wKORR
%* +%$6 .6:( 1) &%+%$ +$ M
;$* P %* +%$6 6:( +$ 1+ S M
1$
$% $ +$ 1+ S P $%; 1$ 16
* +% ;$ 1+ S M
8 &"" U
"4 ;4 !!"4 & #
> ! @!*! ? &"" U
#
!* ! @!*! "4 ;4
!!"4 & #
U [%$6 888
X$ %;(
< uTPJRS?
%* +%$6 .6:( 1) &%+%$ +$ P
1%$* M %* +%$6 6:( +$ 1+ S M
1$
$% $ +$ 1+ S 1 P $%;
1$ 16 * +% ;$ 1+ S M
>" " & '&7 (7 &("#
> &! """ '&74 (7
&("#
!* &! """ 4
& " 4 *"#
'
' $ '
$ $' $
' $ ' $
P M S P S M
& % & %
&
& %
% & %& %
wKORR uTPJRS?
< vKO??
%* +%$6 .6:( 1) &%+%$ +$ P
;$* M %* +%$6 6:( +$ 1+ S 1-
M 1$
$% $ +$ 1+ S 1 P
$%; 1$ 16 * +% ;$ 1+
S 1* M
8 &7 """ "*#
> 4 " "45" &" &7 """
"*#
!* 4 " "45" &" ? #
'
' $$ ''$ $
' $ ' $
M P S P M S
& % & %
&
& %% &&% %
vKO?? wRPK]RP
2 1)2 2 1 1%2 +%$6 &%-
+* %%6 )$ & )2 +%$( 1) 16&*6
1%&%) 1$$) %
* +$)2 & -
*$%'%$ wKOKJR uTNKJ?S vOK]KSJR uTPK? .& -
16&%* @$ * .($6 6&*
& 2 ) (+%
%$
< wKOKJR
%* +%$6 .6:( 1) &%+%$ &6
+$ M ;$* P %* +%$6 6:( +$ M ;$*
S
$% 1$$) %% M 9)$%/( % & 1%-
&%( +%$ .6:( 1) $% & 1%&%( +%$
6:(< $ +$ 1+ S P 1$ 16
* +% ;$ M
B" ! ""#
B" ? " ("#
!* " (" ! ""#
P M S
& %
& %
& %
wKOKJR
F +$ 1$$) %% M &6 /$E $%& $
;$ 1$ :.+) %; 1) )%
,%$-
%1 ;* 4 )6* ): * G%'
.$)5 4 )6* ): * G%' .)5
.% ;) ;$ 1%&%)2 +%$( 9% )-
( ): * G%' 1$<
$ ; * ) +%$
.2 @$2 ;( $)
9 % .&%+$6 +&
M (x) P (x) 1%$) $+%/ ($% 4 )$6 ): -
G%'5 4 )$6 .$5 $ %* +%$6 1 ;-
* .$ $6 ∀x(M (x) → P (x))! @$ 1; $ $
1)% 1%' M (x) → P (x) 1 . x ;%
H%+
* $ ;*
< .) ) 11)$%6 %$6 & 2
) 1 wKOKJR 9&* %; 1 ; %+$
.6:( 1) $ %+$ 6:(< ) 4%&%5 .) +$
$) .) **$* .$%
1+)2 ): *$%'%$ 1%6)
**$* / 1*$6! AAI EAO 1( 0) EAO AEO $(
0) AEO +$$( 0)
A2 1%6$6 $%6)
.%& )$%$ & 1%6$ vKOLKOK hTNKOTSJ hTPKOT
hK]TPJOTP hK]TSTP 16 & $$ ;* $1% A )$-
%$ $$6 ;* $1% I $ ; +% 9 +$
T $6 T $ $ . +$ $) T $6 T < $ ;
1% * E O
* %6)2 %;( @$ )
S P S P
$
*
<
$"
<
#
<
$
# $
$
# #
$
UV [%$6 888
X$ %;(
& 1) + $$ )%
9> @$ 1)
&%+ ;) .)$6 1$%) 9<
< B%( 1. .-
%* %$6 1. &%+$6 . &
.%%$ %;) 1/$! %&)%$ * $ @-
$%) )$6) 1%' & $)2 %)%$* &%-
+ 1 % &%
) %+* .%
% vKOLKOK $
%&%$6$ /( )$!
(∃yM (y) & ∃zP (z)) & ∀x(M (x) → P (x)),
(3) (∃yS(y) & ∃zM (z)) & ∀x(S(x) → M (x))
(∃yS(y) & ∃zP (z)) & ∀x(S(x) → P (x)).
)
= 6 ($* :a D
" #
& `
/
@
) $
)
)#
@
$
D
) #
$
/ ;
D
'
%%
A$%* % @% *
% @ 6 +$%$ ) $ %;* -
' $ 1*$ / .%&! 4A'* $6
$%( $)( 1' 1 1/ $ ) &%+% +$ $
+$ % &$ &% $ +%$ +% 6-
2 +%*2 .$ $) 2 +%*2 2)2 1)
$)2 1)2 $:*2
3 % '*
$6 1' 1 1/ $ ) &%+% +$ $ +$ $
$$6 62 %% $ $%; $-
$6 %% +$ $ +$ $ &$ *
.$ $ 1 1.)2 ; .$*$6$%2 * *
5
A2* & $% 1%* ' 6 12$ ) +$
0%$+ &%+* **$* $) $
1&-
*$* 4$ +%$ +%$5
X1. $) .)%$ @$
1; ; *$6 . % / 1 1-
,%$ &%+ +$%/* .)+ & 1
vKOLKOK!
8 4 " #
12 8" ? #
!* 2 8" #
# :
;
:
;
%%
A$%* % @% *
1*$(
< >@$ %+)2 %*2 $ 2$% +%/
16&$* +$% $ %&+*
= 9 <
Y +%( $ -
* %$1%$ +%( $ %$1%$ 2)
2 .$*$6$%2 $+%/* :6 1
+% $ @$ .$*$6$ $ $6 %&*$* @$ %
+%* $6 $ 1+% .2%* +%$6 1+)
**
> 1* $% %&+* $ ;$6 %+
1)$) W
>%$% 9r?MRP KPJTMO C< $) .)% %&%-
% &;$6 %&%;* %&
@$2 1)$%2
. &%1%*) & ):% ;%/2 1$%$6)(
.6 1 1;$6 1*+* $%)%6 ') -
): +%$ . ): 1%$6 &.%6 %
$% .%& +$.) . % 1$6 1)6
[& $-
* .%2 $1)2 * 1) %&6 %&)
; $ % .%2 &$) ):% 2 .)
$%
.) % ) +$ 1+( 1**
%& **$*
11%% 2 . +%$'% 1)
$ %&+* 1$* 16&$* % ; %$6
&($ $ 0%$% % %-. %&)
%1-
1 1)$% @00$$ .* &%%$ % 1 &;-
$ %)2 2 $:*2 1* %) %
)%/%$ 2 %) 2 &% $) +!
1 9%&)% 1)$)< .*$ 1)$)%) .
% 9$6< $%*$ .&
./ %+ 1)$(
$6( 11 1)$)2 .D$ .*&%$6 1%-
6 1$% @1$%
E 9
o -
$ &sZttZ[G hnZYYZRtZRQ +52>/+5>>'
&F
#
) $'
"
%
#
#
# "
[%$6 8Z
W% %+ 1&%*
$ 1+% .2%* +%$6 1+) &+%
**
> 1* $% 2$% %&+* -
$ ;$6 %* $%6* &% 3;% %$$$%
% 9oR?tKSSR vKJJRPJK oOKPPR C< &6$%$ $)2 .)
.%; 1+ %*
A&+%* %1$% A$% %&-
+)2 %% 1$%** 1+) %) %)
&%.%$ %*( $% +$ 2 .%)2
$$*2 $)2 $+%6 %) % jS?qTNTP $+%%6
%** % $% .) @$2 % %* $%; .)
$% &%+ +$ %) % jS?qTNTP 1+
%*
3( 1! %*
%% W'% $)2 %-
%&% 1( % 4B% %&)% &5
&+% ;&6
1.;)2 ).
%. * $$)2 *2 1%*6
1 %%%
$) & 2 * %:) W'
1:$ . 2 %'$! 4
% % % *$) +$%-
* %\ ; 1%$6 +$ 1.%) %+ +$.) .)$6
% ; &%$ % &; .6: %$* % &%*
+: %&%$6 1%%$\5 ` 2 %% %* .%/%**
%&%
%.%* ;&6 $2 2 W' +$ * %-
:) ).) $$%6) $
%;%* .6 1%% &%%$
1 $$ 2%*$ $ $;* 2 .(
$ ; % % $ 1%$6 %:) ;$ $%*
#$ 1 &%+ +$ .%%* $$%6-
$ 1' @' &% *%* %% %&%+ $(
;$6 1$; * 4+;%5
X$$ &%$$6 +$ )( $ 2$% %&+* -
16&%* % %+( $% 1&%*
B% 1$*
%.% +$ %2 &%2 ;%2 .)2 %2
&% $ 2 %$%% 0) % % & 1%/%$*
; $ % 1 . $1( 1 @$ 12$
$% .) % ) +$ 1+( &%&%* ) **$*
2
L 9 <
Y & ** )+$6 $
+%$6 $%* % &$ & 1;2 '( $6 $
o$ &mGR[ZO sG[JRt +>4,/+>3V' /
11
#
/ #
%%
A$%* % @% * C
$)2 1)2 1)/2 $ $%$ % ** -
; .)$6 $ $%6)2 1)/2
%+( 1 1* $% $%$ $)$ 1%-
$) 1$
1 $ % %(( %$ `
:6
9pRNNRK] TOP"qTN U < $) 9
< 6 1%$ -
+( $) `% .) &%+ +$ %.%%* .$%
6 $*$* $ %+$( .)% )$% 1$&% +$
1+( @$ $* **$* 1$*; ( / &$-
( 1%$) %1;( %6: $ X'% + `%
A2* &
@$( 1$&) V
0%'&( %$ `
W6 9OLKRS ~TKS
~?PTq rT ZTOORTO < )+ .$ ( 1%$) .-
/ ' %$-%.%$ A
% 9~?qKSS o?JJmORT^
oKNNT C< %$) $+ && .% %
%$6
>+ 16 W6 % $$ ; + %1% $-
1 % %&% $+ .%; 1%$
3( &$)( 1 1)$ 0%'& 0&% }
G
9~TKS vTOSKO^ r_T?S u?M"KMNJ C V< 1$:( 0%$ -
$+ %/* Q
G 16&% * @$( ' %*$
94%*$ G5< 1$%*/( .( %)( & 1-
:)( % $ 2( ' $( 1 $% .%&
+$ %*$ ;$ %+%$6* .( $%6( 1$
Y
$$6 @$$ %*$ $ $% $1$$6 $ 16 )
($/ % & % $*;$ % %$*;* $ ;%$
* 1$ %+%* %*$% @$% 1$6 .$ 2%*$6
& 1; 1 $: &&%
%.%$6 %2-
*/(* % Q %/%/(* $ ( $ +$ 1$6
%+%* %*$% 1%+%$* $$6 12$ QE
$% $ +$ Q* %/%$* $$6 &&
9B+ $% ;
1%%; %% +$ %2*/* % 1 1$)
1: ; &%+%$ $% +$ 1& $*
<
1 & 1)2 1 4)+$%( +%$65 **
.)% %+$%* .$% `%% $%$ $ %.%( -
.$) $ %+$(
$ 1 @$ .) $$$ &-
$6 1;* 1$ %+%* 9)$%/%* & &% 2%-
< %/
,6 4$%6)2 1)/25 1
1 %$ 1$*; 1$% $ %/ Q -
(
%
+53,
= 6 o
&+5?4/+53?'
[%$6 8Z
W% %+ 1&%*
: 9 -0
<
* *-
&*/* 1) .%& *( %& % $)
.) .%& &*$* $ * $6 .
1+% . $ % ** . %(-
. 1+( *&6
#$$ $ 1*$* 1/$ $2 +%*2 % +6
$ +$)2 &*2
> ;$ ;$6 &-
.D% $ 1 %% 2%; $
1 &
$1%$)
3( 1! * 1$;* $ 0%$% +$ -
( & 1+ $% $ ;/2* .& &($* **$-
* 9%* $< 1$ &2% .) 1) 1)$)
%+% %*$% 1 1% &-1 $ .) +%$+ )%-
+% &2
%&%6 +$ + 6: % &2% 1 1%
$ &%$2%$ .%*
%$6 %$ @$2 1 9.% 1)
*< 1%&)%$ +$ 0% 1*$ 1%% 91%-
;%/%* % 1) ): 0 1)2 +$)2 1%-
% < ;%$* $+
% @$
1% +6 $ . & $ ** A 1;%-
/* & ** B
+$ %$ 6 A B
1 1I Y $1%$% .D $ -1)2 2 $
%&%$6 4**5 % -$)2 1+%$* *%* 1$6! 4B-
1%$% $6 1+% .D%5
Y ; &% A B 1*$6 &
$1%$) & .D% $ +6 ;% $ . 4&
&(5 % @$ + $ +$ 6
H%+
.$$ $ 1
>@$ 1%6 $6 &6
**2 % ($%2 +: %&%$6 2%%$$%2 *-
(
9#$ 2%%$$ +%/ +$) $ .)$6
%+$)! %1 1 6 %% $%% 1%-
$*
< $+ 1*$ 1% ; 0%$6 $%!
Y %%*-. 2%%$$% $ ** &*$*
1) .%& *( %& % $) .) .-
%& &*$* %%*-. %* 2%%$$% $ ; %
** $ & $( 2%%$$ $6 .
1+% . $ &* 1( . %(-
. 1+( *&6
4%(-. 1+( *&5 $* &6 1$ +$ .% &-
* $ %&%$6* $* ./( 1+) $%)
+%$* %-. ; 1'%
%1 % %$1-
$% $%$* $ $%$*
%% U
1$$-$)( $
$1 & @$2 &( $6 1+% .%
$* ( 1+)
&%+ $ %$6 % &%+%*
>
> 16&% $ 2$% %&+* ) -
%$* % 2 1$ $2 +$)2 +% 9
+$%* $2 &%+( $) +%$ 1%;%$ &)2 -
( ;%$6<E .)+ %%$%$* +% )
$ $ + .6: 2 %$ + %&.%&
91 . /$<
$
% ; 6 )) 1+) 1/6 -
$)2 &%+( **$* 4%.$ $)5E $-
* @$ % 1$&) ;%/* 1
%1
) W6 $%2; &$( 1%$) .) 1
%. %E % % 1 * @1$ * 1-
)% +$ %** 1$* %% % jS?qTNTP
>. 1 1$& 1($ +6 /( %
4. ! #
1)/( % ) 1&%6 $:* -
@% 1$% 1' %+ 1&%*
$ ; %$ &%$6 / .%&! 1' %-
+%$* %.* %1* +)2 0%$ % &%$
&6$%$ ../* +)2 $;( +)2 0%-
$%2 &%$ %+) $
== $$ @$ 1$% .)
1$ $ %.$%2
>11% 9KON ?TO C CC<
$% >11% 2$ & 2 1$)2 .%;(
& 2 $$ $ +$ %+) $;* +%*
$;( +)2 0%$%2 ;%$ ./ 1*$* 1@$
C
6"
C
D #
+>,5
=
( #
T
+>?V #
=
C
<
/
:! )
;
/
)
&
"
o$
# /
C
#
*
'- <
$
# 2
,'-' *
!
. (" /
3) /
!
3)%"" /
# 3) /
C
# C 4 4 +
4 4 5
+ , & 3)%"36 ( 7)%"38)
3)%"39 3)%"3) '
4 4 +
"
:
#
$
[%$6 8Z
W% %+ 1&%*
% 0%'* 0%60%'* %$ 1 1 $-
% 6
*%* $* % ./ ;$
.)$6 1%% % D'* $;( . ./2 &%-
$*2 $
$ 1; T / ∀x F (x ) & . . . &
& ∀x F (x )
Y & T ) $ $; B $*/-
1 1 1
D
T #
/
F$
)
/
# Fi (a) i = 1, . . . , n a / "
Fi
%% U
1$$-$)( $
;) %.* $+ ;$% 1(
8Z
@
$%;)( 1%%$6 >0( & %% +( -
% $ ): %* %%&% :6 & %6
1%%* +$ 1) $%2 $ X' &%2$ 1)%$
1)( ): &$%
Y % ;' ) $16 1-
% +$ 1%! + %6 1+6 X)(
1*)(
3( 1! 1(') $+ 2 .) .;)
+$ . .) 1$ $) H$% $% +)2
.(
.% @$ 1% $*$* 4.) &%5
$-
% +%6 +$ $;* 1$;) )
+$ %.( @1$ +$%:* 1-
;%/ % 1%6 ) .)+)
@1$ 9$.%: % 1% $% &.$%-
$6$<
X%)( &$)( 1 @$ % 1)$ %%
0&% H
H
%(6% 9jNLTOJ jLOKqK] R"qTNP?S CU<
.%;:
+$ &% ;* $( %+(
2% )1*$* % & $( $6 $6 $%
91$ @$$ 1)$ 1; & %)2 1$;(
$ $$6$ #(:$(%
<
./ 1+%$6 1$;* &%+$6 + + 1-
;*
>$;( 1$&) % ; %($ 6 -
. 2 1'%6 %$6
>@$ %$6 )-
:( 1$& ;%/( 1$6 ; -
%$6 * 1$;( % %1$ $%%$6* 1$6
0%60'%$6
; %$6 ; *+ %&.-
%&$6 * %.( 1)$ ; .)$6 $ $%&%$6-
* $ ( 1$&) % .) .)% % % %
);$ 1
1$&% $$ 1 %$(+)
11)$% 1$6 @$ .$ 16& 1-
&%* $(
B6 $% 1$;* ;) 1-
%$6* %! $ +$ $+%$* % %; :% % $
D o$* :D)
#
/
%
#
V [%$6 8Z
W% %+ 1&%*
$) 1+) &6$%$ %+ 6&)2 11)$ 0%6-
0%'
. .$6) 1$;* 1+%$* $2 +%*2
% & $ )*$* ;%) $* $$6 $-
)2 &%$ 1$;%$* %.* %+ * % $*
1&*$ .%;$6 $% 0%$) %+* $)2 )
.) 11;$6 .) &% @$( $
> ;$
;$6 1%&% $( $$6$ #(:$(% $-
* $ +% 1 $*$* X'% ** $ $
11;$6 &* $ $$6$
3*
1 @$ 1%&%* ; .) 0$%0%$6 &&)
.& $ X'% +$ &; $6 * 1 +
&%$*
CC
@$ % %(( %$0& H
X
#$
9jOJqMO JKSNTz x^^RSeJ?S C< 1%&% 1$6
X$ &%$$6 +$ >11% &;$ +%-
$6 1;* $ +$ 1 /$ $ ; %
1$&) 1$+%/ ( 0%$ $+%$ &%;*
&6 :
) / C /
;' .
%;%* & 2 .)% % $! 4,%& %: %&% %;) .)-
%)$) ) .$ $6 1$;%/ 1) !
1 0%'* $5
1$1;$6 @$ $*
$ $$6$ #(:$(% $( >11 1&%*
$% ; .) +) 1$;%6 :6 1/6 $2
@1$
A 1$% $( %% G(% H%
$( #(:$(% 1 >11% $)$ $* %-
%'
X% @$ $ $ G(% H% $*
% $ +$ )%;) %+( 0 **$* %+)
16 1*) 1;)
46&* 1$%$6
. $ >11 ++ 1* $ .) 2
1$65
1+ $$ ; .%*$! 4#$ &%+%$ +$
G( H %&% + 1%6! + * %6
+$ & $ +$ $ 6& &%+ ;$
)%$6 6 12+( % $%* .-
$ 1*(
5 A % >11 1:$! 4[$ ; %%$* 1%*
G( # X1@ A $ 1 $ ( . %+
+ $ % . 1
,%%$%) $ 1)%$
$) 0%$) %$ @$ 0%
;%$ 6%
$) 12+ 11;* % )%;%$ 2
1*( 0
5
$
F
"
# C #
# #
* :-)
#
" ; % #
)* :
M t
M t
;
V [%$6 8Z
W% %+ 1&%*
X $( %% .$$ 6 %+
1%+%6
%%$ % %%% 1*) 1%&%* 1$ .)%
0%60'%% ') .)$* ,
A& +*
%% % +$ .%* '%6%* '* %+%$* &-
* %$%6)2 ( 1&$% 4 %2 $% ./-
$%5 $6 1 @$ 1**$* ) 1&$) $-
:* *$* 1$+%* $%
; $ '%6%* -
'* , %+%%6 &* 1$+( $) &%$
.) &) 1&$) $:* :6 1 +-
6 %$%6) * 1&$%
% $ $
%% 10% $% .%& +$ % $%% 1-
*( 1;(
9 ; &%$$6 +$ $ $(
%&%:2* $*$6) 1.%$ 1.) 1-
0% +$.) 1%$ 2 $ 1;*
1 @$ $
&.; $%+%$ %+)( 2%%$
<
8 % '" ( &* !( &"! ; &";"";
"; "&*'; " 7!" ; 7
"# C!' !( "' "; & &! " !
&"2"& ( !* *# > & " "; "!" !
!'! & !"" %&" *' "!* & " &
# )7'!* " ! %&"! !""
& " * && "&; 7O +# ! G & K,#
8 &""" & !" %&" % '!! 7 !"" ;
"!; && " ; ! "! " +"" 5
" " ( "*, !'" !"# 3 7 ""
"! && " 5 ( 7 & !"* ; "!
; " 7!'"* !' # A ! ? "
&*' "* 4 ; "
!; " ! 7!' '! "*4# E" "*
&" %'"!' "" ! !'!7! +! " !"
" & & !"" %&" , ( ( !7
!* & ! ! " "" !* !'"" ( %" "
" !" ! &!"" ! !
"" " 7 " !* 7O" 2"* '*! "; !7
+ !( ! & ! 7 *4 " ! &!" *
4 '! !, " " !'!"* 7 5 !'"" ( 7
6
"
0
# #
:
;
%% U
1$$-$)( $ VU
7 '( & "* ! % 7 !'""
" ! ? !'"" "; !#
8 % '!! 7! !"" %&"!"
& &;" "" 7&' +; '!" "" !
"* &""! 57 '!"4 "; ! & !!
"!45"; "*" !' 7 !(4 *,# C* " "*
! &7 "; 7!" " ( "!* 7 "
*#
#
"
D
.
# #
"
#
#
u
$
#
$ * "
#
)
#
0 F
1
) "
VV [%$6 8Z
W% %+ 1&%*
C U< 2: & )$( / 7Z88
' +-
) H
2 9jJqKSKPRMP RO"qTO V V< 1$&) .&$
1$ *&)% 1$ 96$ *&) 1$2
2$%< 1%;%/( % i%16 1$&) +$ -
1$ 16 .) ( 0$+ 9% %0-
+ % 1%% %<
>$; @$2 1$& 1+
%:0% *&)+ %16 9% 1$ +
*&)%2< % $% %&)% ,&$$ % $% &%+* $-
6)2 &% $
1$ . 1. 1$& 9$< -
$%* .)% &%$ .$6 1$;% +$ ;$% -
1$2 $$
$ ; * %$%( 0 . +%$ +%$* +$ &%
.D$ &% 1%$* )%$* +$ $% +$ %
.D$) &% **$*
[%/ @$ *&% 1%-
) 1 @$ 0 1. %;( 16&)2
%$%$ $$)2 %%2 %+ *
%$%$+ $$%+) %;* 9% &%-
$6) +%/ .&%$6)<
X ( $) % @$ 1%-
%%6 1'%$ 1 %$%) %% 9 *
+% %: *< : %1$% .; +$ .%$6
2 $ $ ;$ $6 + ./ %$%$(
%% 1 $% +$ 4%$%5 &+%$6 @$ % +
%
B%( &* % .( :%$ %&.%$6*
1 $2 :. $) $ 1*$ 1%;%
F
@$ %$6 %; $ $6 6&) 1$* 9 $6
% % ) 1%$+( ;&\< +$ %
$ $%$6* 1.
Y %$ $%$
;% %$*/( %)
A$ %&%$6$% %$%$+2 $ 1/6 -
$)2 %;( .) &.$ % -
)( $1 :$%
1&() .%&-
' $ 1$* %$%$+( $ $+ .
+ 2 $)*+ $ $%%%6 $% $ &;%*
;: 888
@
+ %$%$% Y% 9
<
4%+%%5 9 !<
3$$)( @$( 6 +(
- # # /
*
C
#
#
%%
,%;* %$%)2 .%$*2 &%* V
$$ .) 1&( $6 $( 1 787
% &-
; $ : 2 1 $ Y
1
$
#
# -
#
[%$6 8Z
W% %+ 1&%*
0%$%2 1 %&%$6$ @$2 %;( :%$* %+
+ %$%$
$+ $$ &6 /
%-
$%$ 1/( 1*$* ):( $1 0%&%)-
$) $ %&%$6$ %;* **$*
0%6%* 1%6$6
>@$ 1 16&% %;-
*2 $ %$%$+ 1*$* .*&%$6 %%$-
%$6 4 2 $5
% .) . 1%)
.) @$ 1*$ 1 $ %$6 :$ :.
.$ 1%$6* $6 % & %1$ 1$6 %; %)(
/$)(
3%&%$6$ $%$ $ @$ .$6)
%; :6 +$.) .) .) 0%6) 1%%
.%&
* '1+% $)2 &%+( ;$ .)$6 6
$( 6 $** 1+$ :6 .) &6* .) %
$
1 %.$ 1*$* 12 1%/* 0%&%'
% +%/ .)%$ %$%)2 %*2 $ . 1
) $)2 0%$ 0%6%* 1%6$6 ;$
.)$6 $) $ %&%$6$ %;*
%; &6 $ %6 1 $ %%$%$* &-
+%) **E 2 %1$) +$) $ %%* 0%6%*
.&1+$6 ;$ &%$%2%$6 %$* $ :. %
+$)%$6 :6 %1$ $ 1 12*/ ). ;
4%&%$65 +$ 9@$ %$6 ; +-
0$)<
$ ; +%* .&1+$6 %;( 1
%.$ 0%&%) %$% ;$ .)$6 %.$(!
$%2 %;*2 12$* 1%$6* $6 % * 0-
) 1) % *) 1%&%) % $
1( %%$ +$ @$ *) 11;* $)
; %-
&%$6 $% .%& +$ 1 $$$ 0%&%' + 4$6:5
'1+% %;( $ % %;% % % +
%; %$ %.$ $ %&%$6$%
8 ! ! '! !"! " !"
7 &@"!* !!""# 8 ! " ! 7"*
& ; &; " !( 7!"* !"!4 ! " " "
" !" % '( "* &" "" ! " !*
:.$
;
:
;
$
! #
* :`
B; :`
; / :6 #B; /
:o; / : #B; / :!
A D
/
o / -
/ o;
%%
,%;* %$%)2 .%$*2 &%*
& &2"@"# E" ( 7 !( !* &"
&7 '!7* "* @!* &!"*" &" !!
( !!# E" !!" " ! 7!(" (
&"* %@@4 2& '!4" ! " ( !"
! ( &"" & ( " 2"" *
" 2"!# > " 2" !! ! !!"'
!!"!; " " "! * "; !& !
&" "'7( !( *#
$
@# &fGgR \GR wJMNZRR +>4,/+>75'
"
# :
0
/ ;
$
[%$6 8Z
W% %+ 1&%*
% .(<
Y 1$& &; 1$6 %.*
@1$% .$( %$%% 9%1 :
% % +%$ .)%$ 1 &+ 1: $ %
.)%$ % 1 11)$%2 1%&%$6 ./( 2 $< ;
$6* $ +$ @$% 1$&% ;$ 1$%$6 $6 % $%$
.D$ * $) %;)( %:%$6*
%:%$6*
$ 1$%$6 % 1 .D$$6 $
$*/* 1*$* ;% .D $)2 ++)
$%$+( +$$6 9$%2 % 4%1$%&5 4%$&5 $
1
<
A 11)$%$6* )%&$6 62 %2 + ;$ %+$6
+% :: 1.%$6 ) .%$ %$%)2
% %%& + %1$% %$%)2 %( $ -
;$ .)$6 %) 12*/ % .) .) $%! $& '-
%$6 &;$ $$%*
!
"
"
"
"
<
:. %; + :.% ;)
.)$6 $) :. 1 1*$(
) 1* $6
. ( & 2 $ $$ %&%$6 4
5
946#"6$$5 #& (2#&#&(' 5<
X$$ % $ +$ $ 1*$
1*$* 16&% 2 1*$( 1 $-
3.% 8! $)2 +2 :.%2
)2 +%$$ $ % 1*$ $ %;$ 1$6
9#$
+%$ .*&%$6 1$E % &%)%$* 1-
$ % 1(% %* '1+% 1(
<
%1 4X$ @'1+ %5 9
! X$-
%* @'1* C< 1*$ 4)5 1*$* % 412
$ 1) $* 9&%+*< 1 1%% 5 % 1*-
$ 41)%5 % 4)%&)% 90%< & $ %$*
) &%+5
3 . $) 1) +$%$6 %($ /
.%
) ! & "" "!* !45"
; !; / !"" 0 "7#
D !* & !'! & " &" '! !! ?
&* '!" 2*4 7"* "; &!"* &7"# A &
" ( 7* &' " &" !""" ! +"'7(!*
! !,#
?
? -2 -3 ?
1 4 5 6
6 66
3.% 8! $)2 +2 :.%2
8 7 !"! % ! +
# 6# )( ># o# < !
D !* '! :#9 A'O q_a G, !" !
8n8E
D6 " !9 /'!4"* &"" "7 * !
!!"'!0# $" ! "'"" ? & &"'!* !
? ;! !( * " "' /"0 !4#
!
" "
:
; & / :"
)
;'
# "
) ) o
#
' ,' & / : ;'
3.% 88! +2 1%%%2
;$ +$ ; $
$
#$ $6 1%%
;'%
< : D
%$ .) 1*$ /-
$ ;$% 1&*/ %%$6 1&6) ;$% 1
4+$5 @$ 2 1. $ % @$ %$* * -
+)2 ;$
9%1 ;$ %'%6)2 + $
$% ; /$6 % ;$ %$%6)2 + % ;$
($$6)2 + ._6:
X
$%; U %
< Y
;$ A $6 1;$ ;$% B $ /$6 A .6:
/$ B
% & %)2 &%+%$6)2 $ $ ;$
%&%%*
%$ $$ $ +$ * 1&6 ;-
$% /$6 ;$% 2 1;$ .6: /$
%
>$6 $16 M ;$ 2 ;$ M ;$ 2
+$ f (n ) = f (n ) + 1
n0 n
n0 0 n0 0
r
s #$ :!!"! "!# :#9 C11N #
rs #$ % $& B !" "2!" tt
cX[Y[b ^duXf_Xfge[b \^ldYdge# a# # cX[Y J # GJ? G#
r
s 0 - # N7" ""# :# #
r s 123345 6 ve[ qmZXg mw gX[Y_XwXg WXfgmx[by# q#9 z`_geXYfmY { Hm# #
C W$%$%
r s 123345 6 HmY|[g_`b[f dYa }[w`_d_XmYf9 ve[ ~bmu_e mw gX[Y_XwXg
Ymu^[aZ[# q#9 }m`_^[aZ[ { [ZdY d`^
J#
rGs 123345 6 725489 6 WX[ `h`Yw_ Xf_ mww[Y# Wdf \^_[Y][bZ[b ~[fb
dge#
`Yge[Y?
`bXge9 X[b #
x+Vy
$
+3>5 +>+3
@
)
+>?V
#! .
$
!'!* &"
? "&"!2""
? O42""
? 75" K '!"" J
? "2!" '! ! +@2" @,
? 5!" K '! ! +" ! (,
"@"!2" K J K
'!" 7! " J '!4" "&"!2"" J
"* K
? ""'! G
; " G '!
;( " & 7 ? ! !" G
? ? '! ? "4 *
"* ? !&'"2""
"!" ( JG ? &""
? ( !
'! 3 :!!
!@" J KG '!5" & "! "!
& "! G
"! %"!* @
"&"!2" J
! " 2" KK
@""2" ""2"
"'O4"! !*! @! "" '!" G
"" !7"2
"'O42" ""2"'
C >$)( %&%$6
""" ""' !" &"";
""" ! ' K
( G
? '!" J KG
!"" ( " GJ ? & J
? ? 75"2!* GJ ? "!* JK
? ? 75 "* GJ ""'! J
? ? 75" GJ ? ? &!"* J
? ? "2!* GJ
? ? "* GJ
!; "" J
K
? ? !"2!* GJ
&!4 JG
? ? ! "* GJ
"
? ? ! GJ
&""* " "
! 75" K
""
? 75" K
? 5!" K
!"* "'O42""
7!* & " J KG
? O42""
? &!" J
? 7O "" JG
? &"7" J
? &" JG
775" &"
"
7!' J
O42"
7!5" ( " G
* 75! !* ( J
! & !! J 7O "" ( J JG
( J 7O &"
? ? ? & ("
!!"! * ? ! &&'"2"!*;
"&" " J '
? ! K " J
? !'"" K ? n K
? &45"; "'" ? 7"! K
? ; ! K
? K
>$)( %&%$6 C
" 7! J ? " " !" "";
? ! K "
? ; K ? G
? @2"!* J KG &!" 3!
!
"2!" K ? &!" &
? G ? &!" "2!"
? &"'
&!! F" ? !'O "" &
? B!! ? " "2!"
? (2!
? C!! ? "" &
? C"!! ? !'""" "&"!2""
&!!"' ? ""!* ""
&! '!""! J & ;"5" !" G
? '!""! J & "! K GK
? 7 ! ? n K
? '!! K ? K
&" ( J JG ? K
" J
? ? ? ( ""!
!" & "
? ? ? ? (!
@2" J
(!" &"
? n &; KG
(" + ! & (!,
? 7!
G
? ? ( ""!
? + ! %!, G
? ? ? (!
(" G
" ; ! " !'
"" K
@"' ;!!"" G
7O GK
!* G
2"
? ""! G
" GJ
? 7! G
? 7*" G
? *" G
? " G
( &7!'!"
%'"2"!* ( "
% G
%! & "!
? & ("
!" J
!" "'O42""
? "&"!2""
dbZ`l[Y_`l da emlXY[l J
? O42""
? 75" K
? "2!"
? 5!" K gXbg`^`f XY a[wXYX[Yam
&
"!* ( "
""
& ! &!! J gXbg`^`f XY a[lmYf_bdYam
? "! J !'!*
( !! !* ( " G gXbg`^`f xX_Xmf`f
&
>$)( %&%$6 C
!
a[wXYX_Xm [b Z[Y`f bmXl`l [_ lma`f mY[Yf
aXww[b[Y_Xdl f[gXwXgdl
& lma`f _m^^[Yf
" ' 7"(!" "
" "" "
[_X_Xm bXYgXXX
& ;"5"
!"
#
b[a`g_Xm da d]f`ba`l
&" "
XZYmbd_Xm [^[YgeX
& ! '"! &"
7
!
≡ GK
K 86
GK N6
GK 8)
∈ G N)
∈
/ G 3
⊆ G 6D
⊇ G D8
⊂ G 8∀ K
⊃ G N∀ K
∅ J 8∃ K
∪ J
N∃ K
∩ J
A GJ
\ J
I GJ
CA JK
E GJ
∀x K
O GJ
∃x K
& TS GJ
∧ TP GJ
∨ S +*" " ""'!,
→ J G
¬ K P +7R
*" " ""'!,
Ā K G
M + " " ""'!,
8B G
NB P +!, J
83 S +!, J
N3 M +!, J
$%&'() *
)% +
&,- $(&,./ 01(2 3(4,4 '(51 6
1!! # ) "" '! # # # # # # # # # # # # # # # #
1!! G# $" # # # # # # # # # # # # # # # # # # # # # # # # # # # # # K
1!! J# $ (" # # # # # # # # # # # # # # # # # # # # # # # # # # GJ
:L>:)
G G :! F* 8!*" &#