close

Вход

Забыли?

вход по аккаунту

?

Гладкий А.В. - Введение в современную логику (2001 МЦНМО).pdf

код для вставкиСкачать
 !
" "
"
" #
! "#$ $ %$ % &' #( ) *#$ +' ,
$# $#$ ## -. #$ /,
$ 01$
2 1 0 %$ *) $ . %,
$$# 3#$&4 # # #5 #$ $ -# $%#
#$5 676 ##) $ $% #$ $ ,
& $*$ -(# %)#5) 8-59' - ##(1
#$-&$1 $#$1 ()).' #$ *:( *#; $ ) 0(' $% %)) 0*#5 $ #,
/* /$5## -( * *# & << #,
#) #$ *#$#5 # ($ =>?# ) $$%$ $*$ $
- (1 *1 %$$1 # *# #$ 0)# *# #$
0: 09 * )%( ' ?#$ 0:' 0$# %$# %:
8$ )%( 0$#; ( $##' # %$* ?#$ $* 0%$) 8*$) 0#$,
0##,# # -(' $% $:)1
05%(1 $#$(1 -$#)1 %$);
& 0 *- $ ) 0*#$ *# 1$#$# $ #:) 0 $ $ # $,
:' ) $ $ $ $' # 1 #) 8
*#$) $##' # 0#$).' $9 )
0#5 $(' : 95 #*' #; @ ,
. *- ) *#5 #
$%$#5#$ / & *) ## (,
$ $- $$# 0($. $5(' 0& #
$:)
"0# $%$) $*( ##( 8#* # % 1 #
# -( $-#$#5 5% #$1 $95 #$ : $; 1,
9 $$ ( 0$ *) 0$)5 %$$),
$ 0# ( # 0(# 0 *- $
0- ) 00$#5 %* * )%($ 0$,
#5 $ 0). :#$ #9) A$ %
=
#(' ) 9$5 #05 0:#5 *#$# -$-#$ 0 $ -591 -$) *1 9-$1 *1 0$$$1
= %: # $%$#5#$ ) -$.$ - $
$ $%* : ##( ##( ($
"# 0 0).$ #5$) $$
$#* :) *#(1 #$&(1 #0 ) 0:
$ *' )%( $* * ?# $5 1 0 A$'
0 80$.') $ 9 0#-#5 ' ,
#*' $# 0)# 000%&; - ## 0%,
)# 0$#5 $ * )%( B $*1 %$ 8$ $ 0 0: 0;
+$-#$) $ ' ) #) $#5 %: %: -
#0( ?#' &5 #$$) $%C))#5 *( #(
#$#5 1 0$ A 0$$(' # #$&D $* :# -(#5 0# *# %$,
$#) - #(' $#$ "#$ $ 0$%$*$ ) #1 #
-#) #$ 1*# %*#5 5%
E -$$ $ # -. #( 0,
# ) $0$ *-$ -' -$$#5
) -)%$ # % 1 FG$-$ -$#9 $ $
$: $%* : 0 0# $%$#5# #
0# 8 0, -. 0( ##9 -1,
#5 $%*$#5 ?# $ 0-$ $%$#5#$; GA$1#-#
-9 ) ) *# %* * )%($
0. ## $*$#5 00%&$5(1 )%
$ *$. $# $ 0$# $# G@F# *5
.#( -$% 05%$( ,' $
G# $
% # &
$ ( 0-#$ %$) # :H 2) ?# #5
$ 0-$ 0# $- 0* (1 %$'
% : .1) =(' 0- 0$#* $ 05,
%#) 3 *# 4 *#-( #$#5 %$ %5#$# $-)
: -(#5 $,# # 3#$(4 %$) : '#
1 # 8@ $: $5 -$ 09 . $,
0#5 31 -#(14 %$' $-) $($#) #
3:(1 %$'4 -(#(1 1 ?& 0$.1) #
0) 0 #* 0# =#$ 0,
$*$5 #) **' 9 $ 3*#' 4 IJKLMJ
NJOJ 0# ' -'; 2$ 0 (- -C#
$-) ( $ 0$ 1 % $1,# 0#% #).1)
$ # *# ( : %$ 8=- - ?# 0'# *5 *##' *$# ;
P$# #' 0- 0* (1 %$' % 1 : ,
.1) -% -$.) 0# $- '##5,
# 0)#) 3 *# 4 *5 *$# @$ 0 ?#
* :# #$#5 - #*#$ $ % %$D
#$ )# *# 3$$)4 A$ **$) 0-#5 -$,
$) #' ( #) $($#5) $%($#) 8"## # 01).' # $# QRILS>N 3$#5
#4 #$:$# #0* $# 3$4 * 0#$5
$#$#) *#,# %: 3#( %4 3)#4;
1 *$)1 ( %$#5 3(4 % .1) $
%$' ( $0 ( %$ 0 ,# *# -% ,
%5) $%($# ' $ #&$ %# @$ =#* (
$ #$ ( *# 0 #*# # $%($#5
$ @$* A$' 0- 0*) %$' $%($#) @ 0 ##' $ 0 $: ( $ %$,
#$1$( # 9- =?# ) 5 0* %$ :$,
#5 0#5 =- ( - #5 0 $ T
U
$ '*$ #$#* %$##5 *# ) 0#:) $ *$#
0-$# $:) +9$) $0 $#$#* %$$*
( $ 0$ $*$$ $($) $ 0*#5 9 8
$: $($ *$#5(' %5#$#; $ 0# 0 #
$: #5 #$ %$$*$ *#$#) 9'
=*$ 0 #' $: -(* )# -59 *
##' $ *$ 1$% #& #0 0),
$- $ $: 01# 3$ #4 ($:$#)
$D 0?# ( : #$#5 - 0 0#$
# $ : -(#5 0# 0$5 $: ?# 0%,
# $ #*$#5 0$5( $:) # 0$5(1 =,
.# $:) 0 $' ## #$ -$% *9' 0)#
#( 0#$) # $ : $:$#5 $ 5%)
#) $:D ( $*$) $,# %$#$ *#,# %$
# 0$5(1 $:' #* #$ : $ ( *#,
# %$ - #'# :$.1 $ 3.'4 $ **,
# 5#$5 # %$) 3.$14 #( #5 $: %$ ##( $ /% 1 0%9 %$#5 - ?#1 3.$14 $ -59 %*#5
1 $ -: =- ?# # $:' #$
0# -' $ #$) $%($#) =5 $: #5 % #' )#5,
# *$ $ ##) $#$( $$ $ #
#( #* 0) 01' $' %*$.'
01* )#5#5 *$ # * # $,
$ ))#) *$#5 01 # 01 %*
$:' ( -$% #*$#) # 01* 0,
1 %*$) $: ##) 0)#5 # 01*
1$%( -$$) #( 01# # ) $ ##) # : # $:) /'
#* 0) #) : ' #,
' 8)%(; $' # /&$ )%($
' " ( )
*+ " "
,
) "
# " # %- " !
. &
/" " !
. "# 0)# 5 $:) $ : 5 ($:$#) ,
$ /$#$5( #* 0)#) #(
* # * V$ %$ ,
$' )%( )$ $ #* ' #
@ ' # %$# 5 $# *' $$%
)%($ *5 # $1#5 0 #,
* 8W #$ 0 ( ##) ?#' ;
V$ %$ 0 #()*# ? %$ $ ,
# $ P$0$ #$1 '1 *1 (#' #* $0 # $#$# $ $%# #' X0
.# 0) 09 #$ #:) #*' (
%$0$ #* 0#) $%#) : -( 0,
*5) $9' 8$ 1 0*# 1 (1
*-(1 0-)1; $ %$$#) # #(' $ 0-,
$ %5#$# $%#) 0 %$0$ 0# "## 0#5 -# $*$ #
G##) 8 T
T ?; #(' #5 %$:
( $%$-#$ ) $% $#5 - #$' 0#' *# 0# $ #* 1 #()* # 0$#*
(1$ $%# %$ $ ** G## $
' 0)#'
0( $ (9$ %$ ?# $ 6Y77 ## 8 :
J ; 0,$#). $) ?01$ $%# $*$$5 ,
676 ##) $ #( $#$# #$ 05%,
$#5) * -%$*) ) 0#(1 *1 0$,
&' ###.1 %$ 34 34 34 #&$ $$,
* 05%( $#$# * -%$*) $/,
#*1 '#' "# $ %:#5 0#$)#5 #(
* %$# $#$#*1 #9' A$
%$ 3$-$ 4 % #' $%$5 0%).$) %*$#5 # $:' %$*#5 0
-: * #$&$) 3$##$)4
0 % 123.134 & 5 " %
6& % !
( 787 & 9:
%! . " & %, ´ ;
(
´ . 9
:&
,
!
#
#
W %: 0#$#5 - -% $#$#,
*1 #D - # $# ' . 5 "##
/$# *9 $%$#5# 0$# ##$$) #$ $,
%($(1 3$#$4 # $#$# #( . 01#,
) #$$#5) $ $: 9$ 1#) . 7Y ? *$'9'
3$#$'4 =$# $*#$ $ 1 G$ 32$ '# $ %$.' #4 82##5 ?# 0$)
0$$#) #$:$# #9 =$#$ $#$#,
; ##$$ (9 3$#$)4 0$$
#5 $ 0#$) $#$# ##(1 $$1
#5 *# $ #.' -$#% Z #5,
3&$5 0(4 *$#5 D 0?# 1#) $ * ** -.# # -(#5 ( $$ 0 # %$'#$#5 %$#5 # 1 80-
# $ -) #) /% 1 0 ?# #
%$'## ;
$ ( *# $ 0 # * -,
# # % 1 #( 9 05%# $#$#* #(
/$#* $%($# *5 5 ) $ $%# $#$,
%$) ) ?# $ -$# ) *$ # 9-$D ?# 9- 5$ %$*#5' #0 -,
( # *# //( # & ?#(
# 95 01# 0#$ #$1 $#$# #,
#(1 $ $ $: 0%$# *# $1)#) 0 1
) =?# # %$$#) $$ - -.# -1,
( 1#) -( ?#$( 0%$) -$# $#$# $ 0 $$: %$* # %* 05
0-## ($-# 5#( $:) -% #' %,
:( -. $ $*( %$)#) -$# ##(1
-$# $#$(1 $ 2) 01 *$) 5#$
:$ ) *$ 59 05 3-C#(4 #,
( $-#$# 0#$)# -' $ $ $-#$#(
#& @ $:(' # $ 0)##5 -) $) -$# $#$(1 $ 1 00$$ 1 0:
$',- 0$#*' )#5# : -(#5 # #
%*) <
" , # / @) # $:' $ ()$ #( 0#(
%$( #( 0*)#) ) 0$5 $: %$
#:#$ %$ 0#*) %$ * ##5 %$
#$#* $)
=: * 0#0$#5 1 $# 0% )#5 - $ ( 0#-)#) %5 3%$4
"# 8###. * $# ; ,
# $ %$*) %$*$# - # 0$ 0$,
. 0 ' - #(' 3%$
0(4 $* 3##(' %$4 # #: $1,#
-.1 '#$1 3.'4 )' 0( -. ) %$ # ( ))#) # *# # *#,# %$0.$#
8$0 %$ #)#) %$0.$# )-$ 0$$,
. )- ##5 1 #(D %$ 1$) ?
%$0.$# *(' $#5; +$%* : ## # *# 3#,
#(4 %$( 0&0 # -(#5 $9( $ $9
%$ .1 0 %: *# %$ -' $,
$%$ $ % ?#1 1 #0 #)#) %$( 0$5#
$:)H 0 5 $: #5 %
** 0) $9) ?#1 %$ 01)#
5 *$#D *# : $$#) $$%$) %$ $9 # ##
9-*# $:)
" !
" , "
" !
" ; " "
Z$#5 7 =#'9 %$( 0)#) =*( (9 *#( %$$ 81 *$# $%($# 3(
* %$$4; * $ *0($# 1 '
#( : #)#5 - 0$5 $:D ?#
#5 $( 0#( *( 8 $:([; %$#
@1 - #$#* ) 0$5# $:) -1 $ $: # 1#) -( % ?#1
%$ $9 :# *#$#5) 0$5(
=' #05 1 $#
## # *# $ $:,
5 $% 0))#) (5 - # : 0# (
:( $:(' $% #5 ## : $(' 0# # )
%$ # *#-( -( 5 5 0 *,#
1( 8W 30#4 ( #$) %5 -% #*)D
$*$ .' $( $ . 0#) #5 (;
! !!" #$ %& %!! %! ! & ' "
() ! %! & ) *! & + ! $
& ! ," -!$ .# &! /" 0 ! 1 2' 34! ' 5% !!
& ! !% " (
%6! 1 ! &
& 1 6
$ 6!!" 7 !8 .9 1 '
6 %6! 1/" ( : & 6) %6! 1 5% !! & !: ; :< & ! $ & ! %)&) $! & %!
6!&!) '!8 .= ! 1 6! 6
%6! 1 ! !
& ! 6!&!! % : 3)! %$ ! > 6!&! 3!/" #%
6 : ? ) '"
#! ! & !& )! @" 5" '!1
'
' '!) .A 6!) B!3/
%! ! !! ! @" C!) .! %
! !! ! 6 > %!%'!/ ! .%! ! > $ % %!/" , ' % !
!! & !) ) %6 % ! ! C!) %6 ! &!!"
. !/ . !!/ 64%!
" .2 !! / & % 64: ! !: ! !&!:
!" @ $ 6& ) !3 > !!
6 8 ! . !! / !
& 6 . " " " ! !: % ! $$ ( * %$(
!1
%!
" " " : % %! 6!!/"
7 C!) %!! D!% % ! % % !! . 3 ? 6!
'! > !: 6!:/"
7 6!: %! : % % 6 6& ! &: %
! ! ' " C ' 6! 6)! ! & ' " =! !! ' ! ) >
% !! !6 '!:"
## # *# $ 0#0:(1
#:) # -(#5 #( 8=#0:,
( $%($#) $ #:) % #(1 #5 #&$
; @$* ) $ #: :# -(#5 ,
#( :(
#$ # *# $ $: :# *#$#5) 0$,
5( :$#) $ 0#0:(1 #:)
8) $9 %$$ 0#*); #$ #:) ,
#( 1#) ))#) $ 0#0:( % 1 :
(# $ 0#0:(1 #:) 0* ( :# -(#5
0 *( $: #( 8(# $9;
E( $9) %$$ 0#*) #*$#) 5 #,-5 $:# $0 3@$ @$* : 1$4 %$ ?# 3@$ @$* . 1$4 # - 0$# *# - # 5% - 0) (#( $9) 01#) #5 *5
*$# A$ $9) -(*( -' 0$# 1 $%-$*
0#) 01#) %$$#5) $#) $$#$ 5)
#*$#) :$ /&$5(1 #$1 # * %$$#5(1 $#$1 A$ %$( #$)#) 0,
( #($#) 9$) $ ) -%%$) 0%$
=?# -% #$) 0#*' %$$#5# $#).
0$ $# %:
T ## # *# % 1 0#,
0:(1 #:' 0 # @$* ) )
#: - # - :
W#$( /) ?## %$ $ 3- #
- :4 *$# -$) 3##5 $4 0,$#( ISNIQL\
R>R ]JILN #$ 01# $%$ 3%$ * ##5,
4 8$ $%($# #$: ! "#$ %&% '( #! ;
*2=4 6>4
- " 663
< /) 5 9 " :
Z$#5 7 =#'9 %$( 0)#) .# ( : $: -$%#5 * 3##54 #,
* # #( # : #). )
=?#
# 0#$#5 - $9 ?# %$$
W #*' #5 *# -#5 %$$ * ##5,
)%$ # -#)#5# *# 05%#) #$ $ %$$ -:$( ?#' $ ) 0 0$5#
$:' $ $*# % # 1 0#) (
$%$ *# $,# #: : # 0#0: #: ( %$$
* ##5 0$ -)%$( *#$#5 #( =- - ?# 0'# *5 $ B
P$# . *# / %$$ * ##5
5%) %$#5 30#0:(4 30#*$.4
81#) #$ / :$ : $ ###5 #$#; $0 #:) 3GW=9 ) 4
3GW=9 ) $%$4 0#*$# -$
:(
## # *# 5%) -(#5
( ## #:) ) ?# # #$#*
$)
2#$#* $ # 9$#5 0*' $0
) #:) *# %$ *5 #0$#$ %1$ 0%$5 $ $ #$#*( $ # :#5 0$%$) ##,
$ 1#) * # -(#5 0*' 01$)
W 0$ $9) %$$ #$#* $) $,
#$(1 $$1 8 ) : #$#' # 0-&#
0#*1 -$#$1 -(1 $1 #0; 01#) #*$#5)
*5 *$#
# 9 : 9 !
# : )
? " ) !
" # 9 . @:
"
/"
) " (
A ) (
" " " "
B )
9
(: " 9
:
$$ ( * %$(
#! ! %!" 7 ! E" @" B6 !
.
T
.B! %!1
% 5/ *9"8 = F+ ! * ! 2" G" H!: & !/+ .B! %!! ! !: )!!
I " *JJ " . ! ! /+ ! & ()! % &) 1
! 6 . / ! %!1 A!! ! $ 6!
. %! $ %!! '!&! = /" #! $
! ! '! '! .6 ' 6& ! /8 .7 JJ !!
J " " " 7 ' %! = &) ()!1) ! K!
%' 3 " " " 1
!3
6 D?!! I 6 )"/
= ! $ !L 2 ' 6& ! !) ! %!! " 5 6 " 5& A!! ' JJ %! % :!! .M! ! '
! !
: /" A ' 6 & ) 6 )
!! %!!) ! ! % %& ! 6!3
N& &O
P$$*$) $# (1 *1 %$ #
-$##5 $ $ # *# #' ##' %$( /,
#) $% - *# * 0(' *##(' =* 0)#5
# %$$1 0#*) * ##5 /#
#5 0)# ## ## #$#* ) $ 1
1 %$$1 ( $ )( 0)#)
3 ## : 0#4 3#$#* $4 83=#4 -)%$#5 : -(#5 #' $#$5' .5D 0-
- ?# .' $; #' *$# ( ($%
%$( 0#*) * ##5 $ *
)%( %$'# # # /$5' #
) $ %$(
#:#$ #$#* $) #$#) %$ 0$
*=3= C ,
( B
" D < , 9/
? D: %/) *=44
=+.=>&
5 "
9 "
A = A:
A = A !
!
Z$#5 7 =#'9 %$( 0)#) $) %* $:' 0 $' #$&
#)# %* "#$ #$&) 0 0$$$ 05
0)#) 0#$)# -' ## $#$ #( ( 0,
)' (#5' )#5# # * $:,
)1
=)# ?# (5 ().$) #(' $ 30#4 0
#( 0%$$
$0 0)# 30%$*('4 ()# $ 0# 0,
0)##.1 #5 # *# $1#) %$ D 0)# 3*$(4 (,
)# $ 0# 0#$).1 -' 0-( ) %,
) D 0)# 3##4 ()# $ ' -*$.1)
(91 *-(1 %$)1D 0)# 3#54 ()# $
#*1 / #).1 % #1 #* :$.1 $ '
0)' #1 #% ).1 ?# #*D 0)# 3#$4
()# $ /*1 .# #. **,
' 'D 0)# 3-:$#54 ()# $ 0- 0:)
*$ :#(1 % ##$$ # % -(#(
0-$ $0$D 0)# 34 ()# $ *# (,
%($(1 *,- #$( :$(
@% 0(1 0 *# 30#(4 ( ,
*$' %) $(* "# -( $ # $#). $#$5(
0#( # $%*( .#$ # #* /( )),
.) $5( -$%$ $5(1 0# # *#$ # 0,
-( 0:) -. *$ 30#4 :# %$*$#5 %5
.# * #5 ( : 0(#5
%5 0#- $ 3$4 -(*
?# -%$*$# 0#5 ?#( #' *# #,
( # $ $0 *$ 3)4 #$'
0# # *#$ 00$$. 0 ?# 0)# -$%#
0((' 0# #(' ) : ##( -$%
$%#5 $ #5( ?#( 8X : ( 00(#$) ('#
% %$#) %$) *# #5 *# #$
*# $ ()(' ###. 0)# ## % 5 ) ? E!
9 ": B !
" %
& FGHIJKLM
. . ( . E
$$ =)#
30#$4 # ?# 0$# 0:) 5 ## # $# ?#
0)# :# 0#$#5 - $ *# ;
= #$ : -## 0)# 3-:$#54 G 0)#
3#$4 %$# %$# $ . - 5%
%5 30#$4 #( :( -( -( '# 3$4 $5# -. *# #*$# @ $: 0)# 3##4
#$ 0# $ :# 0$%$#5) 5 #,
#) #5 (9 ##$ #$: 0:
-. W# #$ *# 3$ ##4 1#
#5 0 $) @$ #& *9'
## $&$#5 # $%$H G $ -(#5 $9 -$,
# #(' :# -(#5 #$# ## $ :#
-(#5 #$#H @ ((9( ##$ 0$:$ ,
#$#(1 0%' $0 # )( *1 =#' A/(H ###5 $ ?# 0( 0#
X## *#$#5 *# $ ()(' 0)#,
## % 0# $ #$(1 $ % 0#$' 1 ) *# $:(' ?# ?# $$ #5 0#$ 0# $$#$ 3 &4 8$ $1,# #,
5(1 #$1 '#$1; A$ * ?# $$ #,
*$. 0)# 3##4 -# 0#$ $ @$
0#$ #& # 0#$ $9
-$# -. #$# ## 0#$) )
A/ "#$ $$ #*$. 0)# 3#$4
-# $0 0#$) $ <
0* 1 ##' #$ #* #$# 8#$#) $,
0 #*$) (9 ##5 )%$$) 0)#) 3,
4 3-:$#54;
A$ -$% 0 (9 304 0)#) :#
$ ( #(1 5 $0(*$# # 0$#) #*,
8"# ##) * 30%$4 30,
#$4; #$ # *# $ $ ?# 0 $
95 0-%#5 $%C) ($ #$ 30)#4
A$( : 30)4 ?# #$ #( :
###5 *-$1 $#). 0 %5 %:,
0 0*$ #( -# ()( :
W0#5 0%$ 0 #( ()#) 0)# $,
%($#) $ ## $ 30#4 #(' U
Z$#5 7 =#'9 %$( 0)#) ()# 8 #* ()$) 0#5 0#$' 30#$14; )* $0 :$ 0)#) 3*$(4 ## % 0%$ 3-(#5
0-4 3:#5 ) %) 4 :$ 0)#)
3##4 % 0%$ 3-(#5 *4 3-*$#5) (,
9 *- %$4 :$ 0)#) 3#$4 % 0,
%$ 3-(#5 /* .#4 3#5 #.4
3#5 ** 4 -C 0)#) 3*$(4 ## %
0#$' %:(1 *$$1 #$(1 (1 #$1 #( ( #5 -$:$ -C 0)#) 3##4 % 0#$' (91 0:1 -.1 ((9(1
##$1 -C 0)#) 3#$4 % 0#$' 5,
1 #$$1 #( /) $$ $ $5(
1$$#( $%$(1 0#$' 3#$$1
-.4
2$ 0)#) $%*$.) 0 :$ # #5 ## : -C $0 3$-(' #54 3#5,
.' $ $(1 $4 $%( 0)#) 1#) 1 -C(
0$$# ()# ## : $ 0 $%( 0,
%$$ 8=#0:(' *$' *#-( $ 0)#) # : :$ $%( -C( * %:; =,
)#) -C( #(1 0$$# $%($#) )*+ + A$( $0 0)#) 3* ).) $ U4 3* ).) $ $ T4 3(9)) #&$ +4 3
# ) GW=94
X % :$) 0)#) #$#5 5 0,
%$ %$#5 1 - $-( 0*$#) 0)# # 0)# #5 *# ))#) )), 1
$* ) ), 0)# $0 #$)) % :$)
0)#) 3#$4 0%$ 3#5 ** 4 3#5
#.4 ( 0*$ - -. 0)# 3/* ,
.#4 P$)) :$ 0)#) 3*$(4 0%$ 3:#5 )
%) 4 - $-( 0%$ 3:#5 ) %)
*,-4 0*$ - -. 0)# 3%#5(' 0-4
P$)) :$ 0)#) 3##4 0%$ 3-*$#5) (,
9 *- %$4 - $-( 0%$ 3-*$#5) $,
- *- %$4 0*$ - -. 0)# 3*$.')4
A* #$ : 0)#) 354 3#*$) /$4
))#) --.) 0)#) 3#54 8$ #$: 0)#' 3*,
#(154 30)#54 #;D 0)#) 31. :#4
$$ =)#
30#$.4 30%*4 3:#4 ))#) --.)
0)#) 34
(#5$) 0$&) 0.5 #' % 0)#) -$%#,
) --. # #$ % :$) 0)#) 51 0%$ %$$ 1 - $-( #$: $%($#)
)), 80# $%$ *$,
)1 $%$) '#) $%$) %5#$#$; ( ,
: $%$#5 $0 *# 0)# 354 : 0*#5
--.$) 0)# 3#54
(#5$) 0$&) -$#$) --. # -$ ,
:$ 0)#) 51 0%$ %$$ 51 0%$ - 5( $%($#) 0)#)D #$ : $%($#) %5#$# $0 0)# 3,
#$4 ))#) $* 0)#) 3/* .#4 0),
# 3*$(4 $* 0)#) 3%#5(' 0-4 0)#
3#54 $* 0)#' 354 3#,
*$) /$4 0)# 3$$#4 $* 0)#' 30),
54 3-4 8$ #$: 3*#(154 354
3#*$) /$4;
E *# 0 --. 0)#) -C $9)#) $ 0
$* :$#) $0 -C 0)#) 3/* ,
.#4 $) #$$ 1)# ( $0 - #0D
-C 0)#) 354 $) #5$ 1)#
*#(15 0)#5 #
-. 0)# *$# $%($# + 0 #9 -. $ -. + 0 #9 - -.
=)# $ )$) (5 ($:$#) $ 0#'9
*$ : ($%#5 8$ -( -59# $,
91 0; #$ -($# $ $ 0)#) #
-(#5 ($:( #5 *#$) 83%#5(' 0-4
3/* .#4 3$ 0 # $#$#4 3' 0,
$#5 #' 0( )#$&$# $4 #0; # : 0,
)# :# ($:$#5) $ 0,$% $ )
($:$,
# # : 0)# *# .##5 ) *#$ ., # : *# # $ ) 0)# 0$# $%( ($:) 05 %:#5
($:$#5 ## : ( $%( 0-$ 8 # ?#
$%($#) '; 0#$)# -' % $(1 .#,
(1 '# ## )%($
Z$#5 7 =#'9 %$( 0)#) 2) 0)#' ($:$(1 - ( *#$,
) ?# * $0 # - . : $%$#5 - + - + )+ )+. #1 *$)1 $ -(* ($: 0),
#) ## % $ ?# $ # #*(1 #) $ 0$ %:#5 ($%#5 # : 0)# $* 0.5 *#$) "#' %:#5 ( /$#* : $% 05%$5 5 *#$ ) ($:$# # : 0)# *# + *#$ ), +. ) # : 0)# *# #0 = #$' %$ $ *#$ 8 *#$) - $%#( $0 $ #
)+ )# - , +/ + ; ( $($ :$ 0)#) # $%($ )' / #$). ?# :$ 0%$ ?# 0%$
#$: 0#$)# -' 0)#)D #$ -$% $(#5 :$,
0)#) %$*$# *# $ ($%#5 $ 0)# *%
#( 0)#)
(#5$) 0$&) $ 0)# #).$) # *# ($:$#) *% $,-
0)#) $%($#) 0 A$ : $%($# 0: 0.5
# 0)# ($:$#) *% 83=%$ ?# 0,
$#5 09.' 0%'4 3#)#5(' : ?# *
.' # ) 0$#( 1 4 3+$-( #,
5 $%($#) #5 .' $(1 #(4
#0;
Z$. 0 0)#) ## # *# $%($#)
# - -. 8; 0)# 830$#54 3#54
3*4 30-4; 0#5( 0%$ #( :
-$#5 :$ 8309.' 0%'4 3.' $(1
#(4 3-*$.') (9 *- %$4 3:$.'
) %) 4; X 0 ?# 0)# ))#) -,
:$'9 ) 0) 8# : # $ #$#*
. !
. NIOPQPKPF ( OPQPR . #
, 9#: (
!
" # %
" # &; 9:
$$ =)#
B
## 0:#* 0)#); # )# - ). 8'1"%" "& 2! 3%#4 2!&"$#$
'"11!% "($ 425"1"5($ ; A$( $0 0( (9 0,
) 0)#' 30%$4 3$-(' #54 8 #
) $ 0) 0)#' 3##4 3*$(4 #$( )
3##$4 -:$'9 0)# 3*4 $ 3*$.')4
) 3*$4 30-4 $ 3%#5(' 0-4;
W## %$##5 *# 0 0)#) *% -:$'9' #* -)%$ -(#5 #( $0 $$#
: 0#5 - $ 0)5 # #(
$( - $ - # ( 0)(
2) 3-1(14 0)#' #1 #( ( 0' :% $#5 0 $%($#) *5
# $ $ $#) /$#5 5,-5
#* "# 19 %# #$#) #(1 ?&0*,
1 $' Z#-( %$#5 $5 #$ ?#$ %$$*$ 0%
00(#$#5) $#5 0) $0 #$1 0)#' $ 3#4
3$4 8 ( 30& (4; 30.$4 30$4 3%$-#$4 3#4
3$-#$4 3#('4 34 3(54 30:$4 8$ 0# %$)#5
$',-5 #(' $5; A ( $ 0$
0 #$ 0)#) -% %$#' ## #$,
#* ) 0#$) - 1 -C # -% #$ #*$#5
1). 30#(4 # #$1 #( 1)#
@ 95 #$ $ #$ ) ## 0#$) -C 0)#) # $%(1 ' 0#$) $%(
%$# $#)#5$) -1#5 $#5 #* 0
8= 0)#) . $%(' ( ) $%(1 ' :#
:#5 3$-#$4 #5 ) #(1 ?# #5 #-($
0:(1 *$ :- 0. #5 #$ )
#(1 $$) $-#$ $*$#) #$ $ 01)# :-(;
$% - $: 5 $# 0) $*(1 0)#'
$* (9 # #$ 0#$ )) %$#) #( -$:$#) #5 0# #$,
#*' 0)*' &$0$' $-#( ( *$#
0:$' #5 : #$#* 0)*( &,
$0$( $-) ?0#$ 8 # *
05%$ 0&$5(1 0- ##; = ?#
%5#$#( $* (9) :( -(#5 0)( 80-,
- ?# 0'# *5 $ T; #5 -C#(' 1$$#
Z$#5 7 =#'9 %$( 0)#) # %$#5 # *# # # 1 0*
# $'
#' 0$#' $#0$#' "# : -#5)
95 0 *# ) $: 05% 0)#) #)
#' 0%).' #$#* $: 9$#5 1# ## ' 30#4 -C 8$* #$# %:( -
%$$ #:#$; G #$' #' 05 30#(4 ?#
*$ $ 0$ #0( 0# %&$ :# ($#5) #5 $ $(# :$) 0)#) # $
0
=?# $ #)#) -$%($#5 0)#) #$ *#-(
0$ $ : - #*( 0) =$$ $$ ?# $#) $' #0
$- #*( 0) 05%#) $#$# $
%*$.' $-#$#( #9) : 0#$ $#$5
$ *#( 0#$#( #* #
1 #(1 '# ?#1 0# 8# .# # $'
1 $#$5#; "# #9) $ 0 - *5 0#( 81
0-$%$ ))#) 19 %$( $: * #9)
3-594 3594 3$594 3-:4 #0; -$$)
?#' 0## ###. 0)#) $#) 0)#5 -59'
#*#5 0#( #9) # *#$#5) 00#$#5)
5$ :( -$% %5#$# *$# 0*$#) 0#( $ $ *%(*$' $-#$#( 0)#) #(
%: $-#$#5 $0$$) 1 *# 0)
0) 05%( ##(1 $$1 /% 1
- 1 *$# #5 #*( $ $#$#* : #*$#) -59' *##5 #( $#$( $,
$ $0 # ) *$ #$: $#) -#5)
5 (' #*# 0' & $#$(
$ #9 *## 0' %$*#5 #0$# #,
#( ) : $#$# $$) 0*$ ?# -^59$) :#5 0#$ %*) # 5 $#
9# # ?#1 $ 8=- - -#)1
$#$ (9) ( - #5 $ ;
-1 0*#5 $ *# $ $$ :# 0,
#5 0)#) 5 0#5 0)# %$*# ($%#5
*% $,# 0)#)D ( ?# 0)#) %$1#
S ) #
$$ =)#
0#5 ?# -# %$*#5 *# $ 0#) ($%#5 1 *%
$,# ##5 # A$' 0& :# 0:$#5) -,
* $,# 0)#) ( - (:( #$#5 -% 0,
) =?# 0$*$5( 0)#) )' $ + : #5 ##5) # *#-( #$1 0)#' -(
0 %:# -( #$#* 0#( #$ *#
1 ( : -( -( 19 #5 0$)5 $ 0( 0-%#5( $%C))
-. 0 0)#) :# -(#5 0% #5 #$ ,
$ # 0)#) #( 0 ?# #) 0. ) *
$ 0# *$ 00(#$ $#5 0 #$#)
-0( :# #5 %$0#$#5 A05 : -(#5 ) 0* %: #* 0#5 *#
#$ 0)# 8 (9; 5 30)#4 % 0$*$5(1
0)#' $ 0$*$5( 0)#) $ # -(#5 #5
0)(
% !) 6) .%!/
) !& %!" (6) $ : ! )
%! )
! )8 %! ./ ) !& .4!)/ >
!& 4!):" 9!
6! !! %%! 3 6
$ 6) %! ) ! &' %$ 6 .
: %!: !!/
.: !:/" * . !/
%!:4 )
& " 7 ?!?!! !! & 3 !6 64! ! ? ) %!"+
_#* :$) $* 0)#) :# -(#5 $ 0#' %$$*' ($# *# 0)# %$ ##$ $:
# *) 9 0 $$% * #) $%($#)
5$ :( $S#) #*#5 ?# 0%)# -#5)
-59' *## 0#$ $*(1 0- - 09 1
9$#5 @$ $%( $#( -%$*$# # $%(
1#) -% 0)#) ?# # $%$) 0$ #,
(1 #5 0$# #' ' #( # ($ $9) %$$ #:#$ #$1 *$)1 #(' 0()#5 .# $ #* 0)#'
#! .)/ %! !34 !)! '3
!3 ' '!) %! % ' " % %!
!) 4 ! ! % 4 3 4 !" 2
!: & & !! 3 & %! ! % ': !"
7 ! ): ! : &
! !
Z$#5 7 =#'9 %$( 0)#) % ' : !! 6 3 ! 4 >
!) !! !) % !! *% 34! !:
+ ! %'
+ ) ! 3 :
4 * + ! & ) * O O+" E
!: !! *
!! : & ! : ' 6
' % !3 ! 64 !: % '!" *C 6! ! &< % ! ! !!
7 !!! %! % '
!"+
%4)3 !!: : : % ' ! & *: &: : ! 6) &!+"
%$* $( 0) #(1 *$#(1 $1 0),
#'
=)# $%($#) + -C ## % ,
0#$ =( *(1 0)#' 3 $,$4 3"'/,
$ -$9)4 3G$ $'4 3A&$##)) '$4
3* 4 =)#) )).) *( 0)# $%($#5
),
#! !! !! ! %! & !!: 6:!
63 ) ') % 6N %! ! !& %
:
!& % ! !:" = %! %! .%&!
B/ ! ! ! ) !! : B 6 ) ! %
&! > 9" " 06 8 ' ) % !) 6 ' !6) %! %&! B" 7 ' %! .9" " 06 & ! ! % %&! B > "/ >
!!"+
P ! ' 34 ! %! 64
%! !! !! .: 1
%/ !)
%) 4! !&
% > ' .1 /"
=)# $%($#) )
+ 0#( 1). -C 0#$)# -' 0# #(1 3,
(14 0# $$#$( 3 &4 8A$ -$% -C
-$#5 0)#) #5 $ ?#( # ))#) *5 $$; =( -$#5(1 0)#' 3#0$4
3$#)4 8 ( 39$# & $$ #04; 3#$)4
3#$4 3-54 3#5)#4
W-$#5( 0)#) #*$#) 5,-5 0&,
0$5 # #$5(1 *$## $ : 0%#5
" % # 1 *>&
$$ T =:
T
0$& --.) $*)D $0 0)# 3#$) '4
#5 $* 0)#) 3#$)4 3 #5)# 6Y777,
##)4 $* 0)#) 3#5)#4 3$##5#54 --. 0)#) 3#$4 W-$#5( 0)#) # -(#5
*( 8$0 3,' 3G4 $ U,' 9( -$4;
7 !1! ! &! 3 ' !
%!"
6 %! > $ 6N : !& : %8 ./ .6& / ./ ./ ! " %" *3
' ! %! .%& / .'/ " " ! 3 4! !& : %& : !! ': %"+ #! 6N
: !& 6 ' : % % 6 !! ! %6! ) % > . /
.!/ .!% !/ ! " %" > ' ! ) !" ( ) %! > " A ! %
! *.)!/ .$!/ .! / .%! 34/ .? !&/
! " %"+
' ! .6!:/ *.%& )/ .')/ .6/
.!!/ .& 6 / ! " %"+ 7% !1
6 ! %!! )
' ! !
! &
% % &8 %! ' 4!)! !34!! ' ! *!! 6Q
)3 )
!: %!+ ! ! 3 64 %!
6 " %
&) % ! ! ! % 6 .!!:
& !:/ "
2 0(. $( -( .# $5 #$& #
#' ( * %:( 0#5 #$%$#5) G #05 (
01 #$#* %: $ # $:,
'
$ : 5 $:) ($:$#) ,
$1 @ $ # 0-$ 0'# $ #) $,
:' $ 0##5) # 1 (1 ($:,
' = ?# ( 0: %$*$ *# ($:
$:) $ 0#$)# -' # 0$#5#5
0:' @ ( 1# 0)#5 $ # $: $
# 0, $*$$ #5 # $ #'#
0:)
@%* 0:' ))#) -. ) ,
# $ 99 $ * $$#*,
#$#$# $0$ 7 ? $$' *(
Z$#5 7 =#'9 %$( 0)#) 2 F$'& 0: #$9' #
*# $ ## 0)# -(* $ 3*54 0,
)#) . -$% 3+*5 #5 ($:$.
%$* (54 W( #( #$: #)# 3(,
%$*#54 $( 0%$$ 0:) = ?#
($:$) 0: 3%$*$) (54 :# 0#$)#5
-' - #: - 0 - 05- 0:$ 0$,
%$ #0 # %$##5 *# 0 %: $:) $
: -'#5 0:) 0 % ?#1 #1 #0 #
) #$#* # $: :# -(#5 %: #$
*#-( #) #5 % 0:' 0#$).1 -'
*# /$( #:) $1,# /$#$1 #$ *# )
$: #$ #:) : 0#5 # :
$ ?## 0 #) ((' ## 32$4 3#4
A5 #$ 0:) -# #$#5 $ $5'9D
) 0:)1 ( $ - 0$%$#5 0# *# #$(
, : !! %'! :4!: '!
6 & 4 @!" 7 .(6 ! !!/ %4
!&'!3 % ): %! !! ! !! & %'! $ !%
. & 34 )3/ > > !
! 8 .7 ) 6& " " " = ) )
& 34 )
!) '! !!) !! '
) !6< )6 %! ) ) !!
! ' "
5 %! ! &) 6& ! ! !6 ! !: 6
%6 ! ! !! !: !< 4
! !3 ! & 34 )"/
2) $: 0:) A #. $ #0$ ( - #05
0$#5 A ≡ A # 8# # #: ($:$
0: A; A ≡ A : = ?# 0: A
:# -(#5 %$0$ $ ' #$ $',- *'
/ $0
$ 0$$# $0' ≡ D
20 0$$# $0' ≡ D
# 0#$. ≡ D
# (-$ ≡ D
U *# * ≡ D
U *# * ≡ D
2+2 = 4 ≡ D
2 + 2 = 5 ≡ $$ T =:
( - $%($#5 + #,
##. 0:)
A05 -1 $#5 $ $:(1 %$*$)
= ) ( ## $ 0 # : # 0: ( 0&0$5 %,
:#5 $#5 #$' ## $ /$#* $* ( %$
$0 8 ) $,-5 %$; # : 0,
: 3`@$$a `)a 0%) # : $#$4
) *# - # - :
# 2) #(1 0:' 1 ## %$* 8#
1 ##5 :#5; %$# # -#)#5# 0 #(1
0%( 8 $0$(; $0 3*$ %5 9 4
3A5 ABC 0)5('4 8 # 0 ,
## %$* %$# # # $ #* -%$*( *%
A, B, C ;
# 0: $$#$#) $ *$#(' *$'
)%( %$$ E%(' %$ #5 0$$) &$ #
#( # 9 #)) #$ %$$ ?#
( 9)) $#$5$) 8# %$) $/*,
$); /$ W( )%( %$$ ##) /' 0
0( %$$ %* #(1 #$)# $ %$$*
# V$ #$: %$$#) .# %* #,
9) : /' ( )%((1 %$ *$# $ 0:'D $ 0 ?# $ ### &)
$*$#) $# ' 3#$' *$#4 ($ 0,
:) ## :# * ($:$'
##( %$*
X. *%(*$' $: #* 01$ %*
0:' # 01$ # ## # *# *,
( 0:) 8# . ## : (; $
0$ $%*$#) $0 0:) 3 #) $ T4
T " %
( # . &
? !
5
" !
( " U 9
:
U
Z$#5 7 =#'9 %$( 0)#) 3Z #) $ * T4 3A'$ #5 #5 0)#$&$#4
3A'$ ))#) # 0)#$&$#4 3Z $# #4 #* %) 0#$)# -' # : 0:
7! $ &!! ! !! %%! 3 %)& ) ! .%'!/ ! .'!!/ !! . & !!/" *#
!& $!: : ! !%)& %!4 ! % !1! ! > ! !"+ = !
' ! !! % !) 34 %
!
$" D! ) &6 &: %% )
%! '! > % %!! !&' %4
> 3 ! !) ! ! $ !
%6 %!! ! % 6N ! % ' !3 .'!/ !1! !! %!6!&!) % !! & 3 *+ %'!" #%
! ) 33 & & *
6 ' %'!+ ) % 4 )
%3 .4)/ %!! ) 3 % )
%! ! 16 &" 7 ' 6N %! .%'!/
: % 6 ! 6 & " #$ % !)
%% 3 & %!& 3 & !!)
!! !! $ % %)&) ! .%'!/"
R . & !/ !%)& !6 '
! .'!/ !6 % :!! ! 6& ! %'! ' 34!: !! !! ' '!" = ! 6:!!8 & ! %'! !3 !"
!)
$9' -:$'9' %$$*' -# #05 %*#5 # 0,
:' -% * %: 0)#5 $ #( $:) $*$$ $ 0#) 0%$#5) #( $#$#*
0)#) 0$:$. 0 # $ #$: ( 0),
#) =( % 1 -# 0)# :#$
6
$#$# $%($# - 0#5 -(1
30#4 #$) 0$ '#$ #(1 # -(#5 $,
: #5 $0 :# 1 # #$D :# 1 &(1 0:#5(1 *D ,
:# 1 - $/$#$D :# 0$$.1 D :# #). % *$ G$$ $
( $ 3:#4 3=#(4 % #(1 ## :,
# $%($#) 7
D 1 )# *# $ :# 8 /
; X :# ?,
#( -%$*( $,- $ $0 -$ #
# $ 30$:#4 $ 05 *$# 05%#) %$* ∈D
#$ -$% a ∈ A %$*$# # : *# 3a 0$:# A4 #
3a 0$:# A4 )# #$: 3A a4 A$ -$%
0:) 3a #5 ?# A4 3a 0$:# A4 3A :# a4
*( # %$*$# # : # : $ %$*$# ,
*$) %$05 a ∈ A ($:) 30$:#4 31# 4 #*( (
=)# :#$ :# /$#* ' $#$#D
## 0?# *# ( 0) $ #5 0)) ( 0$ 30-%#5( 04 $ ##('
)%( 80 # *# -( $%$ 0$*$5(1 0)#)1
Z$#5 77 W# 0:'
$ $ ; 0)( ))#) 0)# 30$:#4
0)#) 3?#4 3:#4 0)#) 1 0)
#)# $%$ *# 0:) 3a #5 ?# A4 3A ,
:# a4 %$*$# # : *# 3a 0$:# A4
# 3 0$:#4 *$# 05%#) %$* ∈/ X,
$0 M %$*$# :# 1 *#(1 * # 2 ∈ M −5 ∈
/ M 0 ∈ M #
X $:(' ?# :#$ A ))#) #$: ?#
:#$ B # )# *# :# A #5 :#$ B $* *# A B $&
*# B A 8 ?# 0:) #$ -$% *,
(; $ ) $## *$# 09# A ⊆ B B ⊇ A W# -$##5
$ *# 3:#4 0#-)#) 1 $%(1 ($1
3:# $*# ?#$4 3:# $*# 0:#$4
$ $ # 3:#4 $%( $ 8(;
X $0 A %$*$# :# 1 ## #
##$ B :# 1 ## #* /$5##$
?# ##$ C :# 1 ## /*,
/$5##$ D :# 1 ## 0 $ ?#
/$5##$ # * B ⊆ A C ⊆ A D ⊆ C D ⊆ A #
: #:$#5 *# A ⊆ A B ⊆ B C ⊆ C D ⊆ D $ 0 #* ( 0) $: :# ))#) *$#5
80:#; $ -) 5 #: 3$:(' ?# ,
:#$ A #5 ?# :#$ A4 0$ ) - A
)# *# :# A :# B *# :#$
A B + A B #)# % 1 #1 : ?# $*
) ?#( A ))#) ?#$ B ?#( B ?#$ A # A ⊆ B B ⊆ A
=5 :#$ 1 ?# $' ' 3.,
#4 # ( :( #$ *# $ :#$ $(
*#$#5 *# ?# $ $ $ $%(1 :#$ $ #
: # 3A $ B4 09# ) $## A = B # 3A $ B4 09# A = B
E *# ) -(1 :# A B C $; A = AD -; A = B #
B = AD ; A = B B = C # A = C - " " # ( !
9
: ( 9
: E
95 B
: " 9B
5:
$$ :#$ #9)
B
X A ⊆ B A = B )# *# :# A #5 8
)
; :#$ B $* 8
)
; :#$ B 09# A ⊂ B B ⊃ A A$
0 (9 0 B C D #( *$# :#$
A D #$) *$#5 :#$ C 80 *# ##
## % #* /* /$5##$ /*' /$5## ## % 0 $;
:#$ : %$$$#5 $%*( 0-$ W$(' 0,
#' % 1 0*#5 ?#( :#$ # $%$#5 1
%$ 83:# #). % * −3 Tb4
3:# #). % $ A:$ 0$# $$ c0#$4
#0; "# $ $ : $#5D -($# $ *# 1#)
-$5 ( 0*#5 ?#( :#$ 5%) 1
: $%($#5 %$ #$ *# -' ?# -( -( $,
-5 $%$ -( ( $0$$ $*( $0 3:# #). % * U #4 8$*$)
) $:(' $% 0-$) * * '; 3:,
# #). % * B U #4 8$*$) &( $:('
$% - $$# . 0 0) $#$5 *$; ?# *$ #: )# *# :# %$$ ?#
2) -%$*) :#$ %$$ 3$#).4 0*
?# 05%#) /( -$ # #(1 0,
9#) -%$*) 1 ?# :#$ $%( %$0)#(
$0 {2, 7, −2, 1/2} %$*$# :# #). % * −2 b 8?# :# : -%$*#5 #$: {7, −2, 2, 1/2}
{1/2, −2, 2, 7} #; X (0($#5 -%$*) 1 ?#
##5 # : ) ## ) $ 1 0*#5
# #$ -%$* -(* $.$# %$)) %$ #(1
?# #*D $0 {1, 2, 3, . . . , 100} %$*$# :#
1 &(1 * # *#5 =-( -%$*)
05%#) ) :# %$$(1 3-*( 0*4
{0, 2, 4, 6, . . . } {1, 4, 9, 16, . . . } #0
2' -(*(' 0- %$$#5 :# $%$#5 $,-
/
?# # '# #(
-$$# ?#( $ :#$ #5 83:#
1 *#(1 *4 3:# 1 &(1 0:#5(1 *
591 4 3:# ' F$& #091 $ 0#
T
Z$#5 77 W# 0:'
0 U 4; 2) :# %$$(1 #$ -$% #$: #5
-(' 0- -%$*) #(' 0)#5 % 0
{x | x *# * } %$*$# :# 1 *#(1 *D # :
$ %$*$# {2n | n = 0, ±1, ±2, . . . }D
{x | x & * x < −5} %$*$# :# 1 &(1 *
591 −5
; 2) $:(1 1 % .1 :# 0#5
$( :#) $,- % 1 :#
$$# 1 &(1 *D :# $$# 1 &(1 0:,
#5(1 *D :# $$# 1 &(1 #&$#5(1 *D
:# $$# 1 &(1 #&$#5(1 *
; = -$%& $#$
{1, 2, 3, . . . , 100} = {x | x & * 0 < x < 101}
-%$*#5 0- $: % .1 :#
{x | x & * }D
{x | x & 0:#5 * }D
{1/2, 1/3, 1/4, . . . , 1/1000}D
{1, 8, 27, 64, 125, . . . }
Z#$# : -(#5 : ) *# :# -)%$#5,
:
-(#5 34 ?# #$ : $ *$ $
*( :# {x | x & * 1 < x < 4} = {2, 3} ##
% 1 ?# :# {x | x & * 1 < x < 3} =
= {2} % # : #5 :# ,
:$. ?#$D #5 #$' ( :# #5 $0,
-%$* {x | x & * 1 < x < 2} * .#,
( #*$.) # #5 *# 091) :# :$. ?#$ $%($#) + -%$*$#)
∅ = #* ( 0) $#$ :# 0#( :#$ $( : -' 8'##5 3#)#
% 1 #1 : ?#4 $ 3 #)# % $14;
*9 $%$#5 .## #5 0# :# 8A$
-$% {x | x & * 1 < x < 2} # : $ *# :#
' F$& #091 $ 0# 0 B ;
= 0 *#$#) *# 0# :# *$#5 -
:#$ # ) - :#$ A # # ∅ ⊆ A 8"# 2
D 9"
: # VIQWI B!# "
. IQRIMGXI ! . RIK
$$ :#$ #9)
T
0#*# $ (9 0 *$# #: A ⊆ B
:# -(#5 0# #5 $%$ ?#$ :#$ A )).) ?# :#$ B 0 A = ∅ #$ ?#$
%$ #;
2) -(1 :# A B : -$%$#5 ( :#$
$%($( 1 -C 0* $%#5 .
-$%
8)* :# A B 8 :#$ A :# B ;
$%($#) :# #). % 1 ?# A 1 ?,
# B -C A B -%$*$#) A ∪ B
9 :# A B 8 :#$ A :# B ;
$%($#) :# #). % 1 ?# A #( )),
#) #$: ?#$ B 8@$ # 30*4 )#
3), 4; =* A B -%$*$#) A ∩ B
:
: :# A :# B $%($#) ,
:# #). % #1 ?# A #( ))#) ?#$,
B +$%#5 : A B -%$*$#) A \ B
0) -C) 0*) $%# :# :
0#$#5 . $ # :#$ A B %-$:( %$( 0)5$
A∪B
'
'
A\B
A∩B
&
&
A
$
; =#5
$
B\A
%
B
%
A$
A = {1, 2, 3, 4} B = {2, 3, 5}
A ∪ B = {1, 2, 3, 4, 5} A ∩ B = {2, 3} A \ B = {1, 4} B \ A = {5}
X = {1, 3, 5, . . . } Y = {2, 4, 6, . . . }
X ∪ Y = {1, 2, 3, . . . } X ∩ Y = ∅ X \ Y = X Y \ X = Y
; =#5
A$
T
Z$#5 77 W# 0:'
@% 0' ) *# A ⊆ B # A ∪ B = B A ∩ B = A
)# *# B ?# *$
X
*
E #$: *# ) - :#$ A # # A ∪ ∅ = A
A ∩ ∅ = ∅ A \ ∅ = A
! =#5 A = {1, 2, 3, . . . } B = {n | n & n < 6} $'#
A ∪ B A ∩ B A \ B B \ A
0$& $ :#$ #). -$%$ 0 :#$ A B 1 -C) A ∪ B 0*) A ∩ B #$:
$%($#) ### )* 0$&)
#).$) -$%$ 0 :#$ A B 1 $%# A \ B
$%($#) +
0$& -C) 0*) (*#$) :# -$$,
# #( $:( '#$ 01: $ '#$
$/#*1 '#' $ *$
# ?# '#$
7 A ∪ B = B ∪ A 8#$##5 -C);
77 A ∩ B = B ∩ A 8#$##5 0*);
"# $ '#$ *( -$% # % 0' -C,
) 0*)
777 A ∪ (B ∪ C) = (A ∪ B) ∪ C 8$&$##5 -C);
;
= 0 -C) $) *$#5 ?#
80$ 00$$; $#$ #5 :# #). % 1
?# :#$ A 1 ?# :#$ B ∪ C G 05
B ∪ C #5 :# #). % 1 ?# B 1 ?,
# C $) *$#5 $9 00$$ $#$ ## #*,
# % 1 ?# A 1 ?# B 1 ?# C 9 $$*( $: : 0$%$#5 *# 0$$)
*$#5 ## #*# % #1 : ?#
7Y A ∩ (B ∩ C) = (A ∩ B) ∩ C 8$&$##5 0*);
;
= 0 0*) $) *$#5 00,
$$ $#$ #5 :# #). % #1 ?# ,
:#$ A #( ))#) #$: ?#$ :#$ B ∩ C A\B = ∅
A∩B = ∅
A
A\B = A B\A = B
JFMMLKF . 9: 9:
YRRFJPF . 9:
$$ :#$ #9)
TT
G 05 B ∩ C ## % #1 ?# B #( ))#) #$:
?#$ C $) *$#5 $9 00$$ $#$ ##
#*# % #1 ?# #( 0$:$# # :#$ A B C 9 $$*( $:
: 0$%$#5 *# 0$$) *$#5 ## #*# % #1 :
?#
$$) #$## -C) 0*) ( :
0#$)#5 *( ($:)1 A ∪ B A ∩ B $ -$,
$) $&$## 0$#5 $0 # A ∪ (B ∪ C) (A ∪ B) ∪ C 0# A ∪ B ∪ C Y A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) 8#-##5 0*)
0 #9 -C;
;
-%$* ) $## *$#5 00$,
$ $#$ *% M 0$ *% N Z#-( $%$#5 ?#
$# #$#* #$#5 *# M ⊆ N N ⊆ M $; 2$: *# M ⊆ N =#5 x ∈ M D #$ x ∈ A x ∈ B ∪ C D 0,
#9 %$*$# *# x ∈ B x ∈ C X x ∈ B # 0,
5 x ∈ A x ∈ A ∩ B #$ x ∈ (A ∩ B) ∪ (A ∩ C) = N X,
x ∈ C #* #$ : 0*$ x ∈ A ∩ C #$ 0)#5,#$ x ∈ N -; 2$: *# N ⊆ M =#5 x ∈ N D #$ x ∈ A ∩ B x ∈
∈ A ∩ C 0 *$ x ∈ A x ∈ B D % x ∈ B # x ∈ B ∪ C *# # x ∈ A $# x ∈ A ∩ (B ∪ C) = M # *$ $,
:$ $$*
2$%$( '#$ -C) 0*) 9 $$,
*( %#( '#$ :) :) * 0*
-C #### : $ 0* :
$ . '# : # $$$ $/#
Y7 A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) 8#-##5 -C)
0 #9 0*;
;
-%$* *$#5 *% M 0$ *,
% N $; 2$: *# M ⊆ N =#5 x ∈ M D #$ x ∈ A x ∈ B ∩ C 0 *$ $% x ∈ A ∪ B x ∈ A ∪ C #$ x ∈ N # *$ x ∈ B #$ x ∈ A ∪ B x ∈ C #$
x ∈ A ∪ C D x ∈ A ∪ B x ∈ A ∪ C $# x ∈ N NPRKZPGLF . 9:
T
Z$#5 77 W# 0:'
-; 2$%$#5# #9) N ⊆ M 0#$)#) *#$#
Y77 A = (A \ B) ∪ (A ∩ B)
;
$:(' ?# A - 0$:# B - 0$:# 0 *$ 0$:# A ∩ B # 0,
$:# A \ B %$*# -1 *$)1 0$:# 0$' *$#
A$ -$% $) *$#5 :#) 0$' G 05 $:
% :# A \ B A ∩ B :#) A 0$$) *$#5 :#) '
*5 *$# -($# *# $$#$#) %:( ,
:#$ )).) *$#) # : :#$ U $
:#$ $$#$#) :# U $%($# ?# *$ + ) 0%5 :#$ A ,
:$.) U $%#5 U \ A -%$*$# *% CA $%($#
A U D U ) # : 8$ -($# *$.
; $ 3 U 4 0$# 0$&) #).$) -$%$
0 :# A :$.) U 0) 8 U ; #:
$%($#) 8 U ;
( '#$ 0) 8 00: *# $$#,
$( :#$ :$#) U ;
7 CCA = A
;
= 0 0) :# CCA ,
## #*# % #1 ?# U #( 0$:$# CA
0$:$# CA #*# # ?#( U #( 0$,
:$# A
77 C(A ∪ B) = CA ∩ CB
;
20 -C) A B ?# :#
#). #*# % #1 ?# U #( 0$:$# A
B $* ) 0$:$# $ CA #$ CB ?# $ $%
# ?#( #( 0$:$# 0* CA CB
777 C(A ∩ B) = CA ∪ CB
;
20 0*) A B ?# :#
#). #*# % #1 ?# U #( 0$:$#
A B $* ) 0$:$# 1#) -( %
:# CA CB ?# $ $% # ?#( #( 0$:$#
-C CA CB
$$ :#$ #9)
T
Z#$#5 :# 0#$#5 - ?# '#$ 0) $),
$#5 $## 0(' (9 8*#$)
:# 1 #* 0# $ $5(;
! 2$%$#5 *# C(A \ B) = CA ∪ B $#$# 0' :% *$# 01#)
#5 + ?# # ,
:#$ # 0$$ #(1 ?# *#$#) + $
' + 8 *$# *$ 0(' #' ?#( #
0$$#5; $0 $#( #* $ 0# ?# 0),
*$) 0$$ #' 0( ?# *#$#) $-&$ #( $#$ _0)* 0$ 0( ?# a #( ?,
# a 0)# -%$*$#5 (a , a ) $0 (3, −1) 0),
*$) 0$$ 0(' ?# #' * T #' * −1D
(2, 2) 0)*$) 0$$ 0(' #' ?#( #' $,
( $) 0)*$ 0$$ $$#$#) +
- # -%$*$#) $$* 0)*,
$) n,$ 80- n 7
; 0(
?# a #( ?# a n, ?# a %$0($#,
) (a , a , . . . , a ) $0 (2, 7, 6) 0)*$) #'$ 0( ?# #( ?# ##5 ?# U
0' :% 0)*( #( 8*$# 1 $%($#
#$: ; 05%#) $ : $#5 3$4 -59,
*# (1 0# 0* $%( 0#( :,
( #5 $%( 3$4 A$ #/$ 0#$)# -'
0)* n, ?# :#$ {0, 1, . . . , 9} 8* n $%,
(1 $1 $%;D 0)#( #$$1 W 0*#( ( #5
0)*( 9# ?# # : :#$ 8A *# ,
$ #/ 0*#( ( 09#) -% %$0)#(1 -
* .#;
01#) #5 #$ 0)*( 0$$
#'$ # #(1 $%( ?#( -#) % $%(1 ,
:# $0 0 ) *$ + #5 0)*$)
#'$ 0(' ?# #' 0$:# :# *(1 #' :# #*# ##' :# /$'
$#5(' *#$#5 )# -$# $ *# ( $ $ 0) 0)*' #( # /$#*
. 0) 0)#
1
2
1
1
1
2
2
n
2
n
TU
Z$#5 77 W# 0:'
=% %$##5 ?# 0$-#) $ $5'9 *# :# ## % k ?# # 0)*(1 0$ % ?#
?# :#$ #) #*# k 805 0(' ?#
: (-$#5 k 0-$ $:$) % ?#1 %:#' :#
*#$#5) #$ : * %:#' (-$ # ?,
#$; 0)*(1 # k 805 $:$) % k %:#'
(-$ 0(1 1 ?# :# *#$#5) k %:#)
(-$ ##5; #
2
3
2
W. 0)# #( $ 0## 0%$#5) ( ?# 0)# $ 0) 0) $ 0$1 % ## )%($ ?#$' $#$#
## )%( -%$*$.1 $%*( #,
9) : ) 5 : * 0# :
) 0#$ #0 $0 $:' % .1 /$% 0,
*# -%$*$# # #9 6. . < D
=
+.- D 6
)
+ D > D ? @ D 9
? + A D 9. ?
3B 8 4D C ))
D ;
) #( % ?#1 ($:$# #9)
: -C#$ ' 0( 8$0 + ; : $%( -C#$ 8$0 ;
$#$# #$: 01#) #5 #9) :
?#$ # : $%*(1 :# $0 $
/$% D A l ($:$# #
#9 : ?# :#$ #* 0#$#$ ?,
# :#$ 0)(1 0#$#D /$%
9 l l ($:$# #9 : )
?#$ :#$ 0)(1 0#$# X 0)$) l 0$$,
5$ 0)' l : $%$#5 *# l l 3)%$(4 #9
0$$5# 3$1)#)4 ?# #9 2) 0%5,
#9) R #$: )# 3x y + #9 R4 3x y /
#9 R4D * ?# %$0($# #$ xRy P5
R :# 0#$)#5 -' - -%$* #9)
3x 0$$5$ y4 3x 59 y4 #0 - * x < y
x = y #0
:# % # -#) 0(' % )%$(1 #9
R ?# ## -%$* # ( 09 $ # R $%(,
$#) )
#9) R $ :# % #
. 1
2
1
2
1
2
$$ :#$ #9)
T
-#) #' ?# )
)+
X P Q #,
## -$# #0$) 0-(#) #9) R 0 ?#
x ∈ P y ∈ Q # x y # $1#5) $1#5) #9
R ) *$ 0 3$1)#) x y #9 RH4
: #5 ( $0 ) $# (9 #9)
3:# $4 -$#5 #0$) :# :# #* $ -$,
#5 0-(#) :# 0)(1D ) #9) 3-(#5 $#4
-$#5 #0$) :# ' $ -$#5 0-(#) :,
# 0%' ** $ X -$#5 #0$) -$#5 0-(#) #9) 0$$#
# $( # : :# M ( *# #9
M =$ # :#5 #9 0$$,
5# %$$ $ :# 0)(1 #9 < 83594;
%$$ $ :# '##5(1 * #9 = 83$4;
#$: %$$ $ :# '##5(1 *
X R #9 -$#5 #0$) P -$#5 0-(,
#) Q # :# 0)*(1 0$ (x, y) #$1 *# xRy $%(,
$#) 0 #9) R $0 $/ #9) $,
#$ * ?# :# #$1 0)*(1 0$ * #(1
0(' #' ?#( $( =$$ 8 3
4;
0$:# $/ #9) 3-(#5 $#4 $ 0$$ 8
34; 0$:#
X R #9 -$#5 #0$) P -$#5 0-(,
#) Q # :# #1 ?# P #( )%$( #9 R $,- ?#$ Q $%($#) )
#9,
) R $ :# #1 ?# Q #( )%$( #9 R
$,- ?#$ P #9) R
@$ -$#5 0) 0$$# -$#5 #0$) ,
:# %$*' -$#5 0-(#) $0 ) $#(1
(9 #9' 0$$5# 3:# $4 = < ?# $
#$ = :# :#5 #9 3-(#5 0*(4 %$$ $ :# ' *$#5 0*(
$*$5
2' 0 $# . #9 ( -%$*
-' T -$#5 #0$) # -# :# $ $ -$#5 0-(#) :# E - $/$#$ xT y %$*$# *# $%$ $ x $*$#)
$*$#) -' y 8$0 C T 8 T ; E *#
-$#5 0) #9) T #$) *$#5 :#$ T
Z$#5 77 W# 0:'
$ :# %$*' #$) *$#5 E 8Z#$#5 $ 0#
0( 0$:$.1 -$# 0) T -
0$:$.1 :# %$*' T ;
#9 S $%($# )
+ ) #9) R xSy #$
#5 #$ $ yRx #9 -$# ) R -%$*$#
-(* R * -$#5 #0$) #9) R ))#)
) R -$#5 0-(#) $ -$#5 0-(#) R -$#5 #0$,
)D *$## R %$$ $ :# M # R %$$
$ # : :# A* #$ : -$#5 0) #9)
R ))#) ) R
:# %$*' $ :# %$*'
R -$#5 0) E *# #9 R ))#) *5 -$#( ) R D 0?# )# *# #9) R R
)
+ =( ) #9) 3-594 -$# #9 #5 35,
94 ) 3:$#5 $4 301#5 *%4 80: 9 l /
A %$*$# # : *# D A l;
) 3-(#5 :'4 3-(#5 :4 8X#5 #$ #9) #(
$ - -$#( $0 $# 0$$5#5 #9
3-(#5 #4;
! 8; =#5 S . #9 -$#5 #0$,
) {0, 1, . . . , 9} -$#5 0-(#) { , ) , . . . , } xSy %$*$# *#
$%$ &/( x $*$#) -( y (0$#5 ?,
#( $/$ S ?#( :#$ %$*' S 8; =#5 T . #9 %$$ $ :# -
$/$#$ xT y %$*$# *# $ 8
)).) -#( $--$#'; -$ x :#
0# 09#$#5 - y 8$; (0$#5 )#
?# $/$ #9) T 8-; W0$$# -$#5 0,
) #9) T -$#5 #0$)H 8; A# : 0 )
:#$ %$*' -$# 0-(#) 8; W0$$# #9
T -$#(H
8T; X x ## )%($ ($:$. #
#9 # ($:$. -$# #9 8 #$
.##; $%($#) $ x 8$0
. $ ). $
; $'# ( - - - - .
- - - - - - - ) 8=#: 9$#5 $#[;
−1
−1
−1
−1
−1
−1
0
0
0
0
0
JFQ[IZRPF . 9(:
$$ :#$ #9)
TB
#9 $%($#) 0+ $:(' ?#
-$# 0) )%$ ?# #9 #5 ?,
# :#$ %$*' $* ) ) $ x
:# .#$#5 - y #$ *# x y )%$( ?#
#9 80$%$#) *# x 0(' ?# $ y #';
F&$5 #9 -(* $%($# 0# 0 F& 8/&$5 #9; F ## 0#$)#5
- $ #(' 3%$ ###)4 0 # $: ?,
# a -$# 0) #9) F 3#$#) ###4
# 0(' ?# :#$ %$*' $ ## ,
#(' ?# b #(' )%$ a #9 F # ## )
# 0$ aF b "## ?# b -%$*$#) F (a) 8*#$#)
3F # a4; $%($#) ) ?#$ aD ?## 0' *5 $%($#) ) ?#$ b 8=-$% #* #
-$%$ -)%$ -(#5 #(; X x y 0( 0,
-$. ### -$#5 0) :# %$*' F # x $%($# $ y X a 0%5 %$* %$' 0,
' # 0%5(' ?# -$# 0) /& F # ## $%$#5 *# ###. %$* b = F (a) %$,
' 0' # a 80- 3%$# 0 %$ F 4;D
?# -C))#) $%$) 3%$$) 0$)4 3%$,
$) 0$)4 # 3/&) F 4 *$# 09# 3/&) F (x)4
8*#$#) 3F # x4; 3/&) y = F (x)4 8+$%#) # x
y : 05%$#5 -( -([; X x $,-
%$* %$' 0' 8# ?# -$# 0)
/& F ; y ###. %$* /& F 8# -$%
?#$ x ; # )# *# 0 %$* %$' 0'
$ x /&) 0$# %$* y X -$#5 0) #' /& ))#) :#,
M ( - #5 *# ?#$ /&) $ :# M @% 95 $ $#$# *#$#5 : -(#5 19 %$,
/&) %$$( $ :# '##5(1 * +$,
# $0 . #9 Q %$$ $ ?# :,
# xQy %$*$# *# y = x =5 ) $: '##5
*$ .## #5 * )).) $$# ?#
#9 #5 /&) 8#$ *# # xQy : 0$#5 y = Q(x);
X -$#5 0) :# '##5(1 * :#
%$*' :# #&$#5(1 '##5(1 * @
$0 Q(2) = 4 Q(−2) = 4 Q(0) = 0
0
0
0
0
0
2
Z$#5 77 W# 0:'
$ -$#5 0) :# %$*' /& -),
%$#5 :( #)#5 % * =#5 $0 xM y %$*$#
3y $#5 x,$4 -$#5 #0$) #9) M : *#$#5
:# ' -$#5 0-(#) :# :. *
#9 M #5 /&) 805 $: *$ #5 $
$#5;
2' 0 ) $: *$ x -%$* *% 9 (x) #
8; - #$) %$0($#) $# $/ 304 #
) :* ) :. #9 9 #5 /&) -$#5
0) #' ))#) :# ' $ :# %$*'
## % 1 1 - X. 0 3*'4 /& :# :#5 #,
9 T : $ -$ $# 0# B
$5'9 ?#' $ -# :( $( -$%
3*(4 /&
! W# -$##5 $ $ $%* : #,
$ 3/&) 0$ $ :#4
3/&) %$$$ $
:#4 $0 /&) y = √x %$$$ $ :# 81;
'##5(1 * 0$ $ :# #&$#5(1
'##5(1 *
! 8; =#5 P . #9 %$$ $ :,
# - $/$#$ xP y %$*$# *# )
#) -*#$ xy 8$0 -$ $1#) #9,
P - ; 8$; ()#5 ))#) #9 P /&'
8-; (0$#5 ?#( -$# 0) ?#( :,
#$ %$*' ?#( $/$ /& P 8; (0$#5 ?#( $/$ /& G 0' $
:# 0)(1 ## $#).' %$$* *#$)
$*$$ #$' *# ) $: $ %$* /& # $ $ * - ?# 8$0 G(1) = 8;
8T; # 0)# -%$*$#5 *% Magn 8# $#,
\JdRLO 3-59'4; /& 0 $ # 0,
:# :#$ %$$ ## )%($ 8$0
; #$ *# Magn(x) #5 -%$*$. 3(
#054 # *# -%$*$#) x
$0 Magn(
+ ) = )+ D
Magn(
) = D
Magn(+ ) = )
$$ :#$ #9)
$'# %$*) /& Magn # - - - /)
- - - )- - - )/- - - 2 1 0 ) - #9)1 ( ) 0##( $*,
$5 # % 1 #(1 *$## #5 $ -C#$ $ ## )%( #5 #$ $ #( ($:$# #9)
: #) -C#$ $0 8# *# @ 9
; 8# * 8
+ ;
8# * < 6. )
;
: *#(5) 8# *# 0* @ 9
) ; $: : 0)#5 8# *# $ $' %$ $ 0$# A
;
0
$#$# #$: #*$#) #9) : #) *#(5)
- -C#$ $0 A B C #* :$. $ '
0)' # /$%$ 3C :# : A B4 ($:$# 0
#9 : ?# #) #*$D /$%$ 3=)( k l 0,
$#) #* A4 ($:$# #9 : #) -C#$
$ % #(1 0)( $ ##' #*$D a b c *$ #
($: a + b = c 0#$)# -' #: # *# :
$( *$ #) 0 #9 $ 0(1 1
$$ ##5 #9 00&$5# a/b = c/d )%($#
: *#( -C#$
$5'9 ) - #9)1 ( - 0$%$#5
#9) : -( * -C#
#9) : )
+ : #)
-C#$ $%($#) )+
-C#$ + /
+ D #9) #(1
*$## #* n -C# n = 2, 3, . . . $%($#) n,
+
= $$ 0(. ) 0%5 n,# #9,
) R 0)# ($: 3x , x , . . . , x + #9 R 8
/
#9 R;4 :# % # -#) 0('
8#' ##' #; % )%$(1 #9 R ?# (
- $%($#5 )
+/ ### +/- /
# 7
#9) R X ?# :#$ 0$$#
: -' # $( # : :# M ( *# #9 M 1
B \ ? <
GPQP . 9 :
KIZQP . 9 :
2
n
Z$#5 77 W# 0:'
0 n,# #9) R $%($#) :# 1 #1
0)*(1 n, (x , x , . . . , x ) ) #(1 x , x , . . . , x )%$(
#9 R
; 2) #$ #9) 3x y ###
#& $#5 z,$4 -$#5 0(1 ?# #5 :# :*
-$#5 #(1 ?# :# :. -$#5 ##51 :# ' = 0)*' #' 0$:$.'
$/ ?# #9) :# :#5 #'$ 8
;
; $/ %$$ $ :# '##5(1 * #$,
#9) x + y = z 0$:$# $0 0)*( #'
(3, 2, 5) (2, 2, 4) (−7, 10, 3) 0$:$# #' (2, 3, 4) (2, 3, 6)
(2, 2, 9) #0
A05 ( : --.#5 #$: 0)# /&$5 #,
9) 8/&;
(n + 1),# #9 (n = 2, 3, . . . ) $%($#) 0
+ ) $' 0)*' n, (x , x , . . . , x ) :#
.#$#5 - y #$ *# x , x , . . . , x , y )%$( $,
( #9
X ?# 0 0##5 #$: %$* n $ ,
& 0 n = 1 # 0)*' n, -$#5 0# x # ,
(9 0)# /&$5 -$ #9) $:#)
*$#( *$ #5 *# -. 0)#) /&$5,
-$ #9)
(n + 1),# /&$5 #9 -(* $%($# 0
n +/ *$## /& ' 0' ?# #
: $ *# 30#4 /& $$#$9) (9
8)
/& n 0(1 F $%($#) ,
:# #1 0)*(1 n, (x , x , . . . , x ) ) #(1 .#,
# y #$ *# x , x , . . . , x , y )%$( #9 F 6
/& n 0(1 F $%($#) :# #1 y )
#(1 .## 0)*( n, (x , x , . . . , x ) #$ *#
x , x , . . . , x , y )%$( #9 F ; +$# (9 #$ #9 x + y = z
%$$ $ :# '##5(1 * ))#) /&$5,
( #9 # /&' 1 0(1 05 )
$:' 0$( * x, y .## #5 * z #$ *#
x + y = z -$#5 0) ?#' /& :# :#
0)*(1 0$ '##5(1 * $ :# %$*' 1
2
n
1
1
1
2
n
2
2
n
n
1
1
1
2
2
n
n
1
1
2
n
2
n
$$ :#$ #9)
T
$ :# '##5(1 * X -%$*#5 ?# /&
-' F # ) $:' 0$( '##5(1 * x, y - #5
F (x, y) = x + y $0 F (3, 2) = 5 F (2, 2) = 4
; -C 0)5 0$$00$ #5 /&) #1 0,
(1 $%($(1 -(* 3%)4 83(4 39(4
3(#(4; "#$ /&) ($:$#) /' V (x, y, z) = xyz x y z 3%)4 0$$00$ X -$#5 0) ##
% %:(1 0)*(1 # 0:#5(1 * :,
# %$*' % %:(1 0:#5(1 *
T; *$ 0$$#5 8#* 0 0$$,
#5 0:#5' #0; %$# # ( 8$0
$ 0$$#5 )+ #5 ) $ 0$$#5 + ; *#(1 $$#*1 1$$## 0
#( 0$$#5 $#) .##5( $ 9,
#b9# *$ 0$:$ @$* ) *$
0$$#5 #5 /&) 0)# 0(1 x, y, z, u, v
0$) x 0-$# :# %:(1 1
0$$#5(1 85 -9 * 0 -%;
0$) y 0-$# :# e f 0$) z ,
:# e f 0$) u :# e f 0,
$) u :# e f g( -%$*'
%5 ) -%$* ?# /& Fl(x, y, z, u, v) ( - #5
$0
Fl(). ) = D
Fl(). , z, ) = 0 - %$* z D
Fl( , y, z, ) = 0 -(1 %$*)1 y z ! 8; 8$; =# 5 0 0)*(1 #
0$:$.1 $/ #$ #9) 3Z x #$9
*$ y $ n #4
8-; A : ) #9) 3+$#) : :%:(
#$&) x y $ z 4
8; A : ) %$$ $ :# '##5(1 * #,
9) x + y + 1 = 2z
8; 2) $: % #9' 0(.' %$$* ###5 $ ,
0 ))#) /&$5(
8T; =#5 F (x , x , . . . , x ) n % * 1, 2, 3, . . . , n #5
.$) /&) n 0(1 %$$$) $ :# 1 -
$/$#$
n
1
2
n
Z$#5 77 W# 0:'
F (x , x , . . . , x ) = - x , x , . . . , x # 1 $,
(1D
F (x , x , . . . , x ) = ) - x , x , . . . , x #5 $,
( # #1 $(1D
F (x , x , . . . , x ) = - x , x , . . . , x #5 # - $(1
8$0 F (7---*- ) = D F (7---*- ) = ) D F (*-*--*-*) = ;
$'#
8$; F (F (-) ), F (-)- ), F () ), F ( ))D
8-; F (F ( ) F () ) F ( ))D
8; F (F (-)- ))D
8; F (x , x , . . . , x ) x , x , . . . , x 0%5( -(
n
1
2
n
1
2
n
n
1
2
n
1
2
n
n
1
2
n
1
5
4
2
3
1
1
3
100
5
3
1
1
2
2
1
n
5
1
1
100
1
2
100
! " #
W'*$ ( %$') 0$ #) 0:' $%#)
#5 1).1 0 %) 8 $ T; 0# 1
$ 95 $- 0#(1 8 1 -# #$#* ) $)
#) $:'; W$) $ 05%#) ) ?#' &
0&$5( * )%( ($%#5( #$ #,
)# 0 0.# $#$#*' 1$$# W ( :( - 0%$#5) $#).' $
( $* $#) 0:' #(1 #:$#,
) $* #' 0#' #$& $0 >
.8 <- 8
+ - @ 9
) $:' #$' #$& *$## 5 30#4 0 0: *5 # #$&
301$4 *$# *# # #$&
30$)4 ) *$#$ ' ' # W#$&)
*$# :# #)#5 # *# 30#4 -$$#
$,- '# C. ? ,- U ? D %#' $#):' : 0$#5 #$ -$% - #,
#$& $0 0$#5 $9 0 0: $
3_*#5 -$$# # '# *# 094 Z# : $$#)
#$&' 5 *$#$ # $ #)# /$#*
# *# 30#(4 $1)#) $,- #9 8 0#( B ;
$$ W# 0:' 1 *$) %$05 2) 0:' ?# #0$ 0 (' ## $(
0#( ' 0)# .' 0- %$0 ,
#$&) -%$*$#) $,- 8*$. -'; 0$$
# -$1 %$0($#) $ *$# $%(
%$0)#( 1 -59 8"# $ # -(#5 - $
## )%($ - #: $ $0 $#$#*,
; -%$* $0 '# 3-(#5 0994 #9)
30$)4 3$)4 3004 ### -$ ! "
( : %$0$#5 0( (9 0:) #$ 8;
8 ; !8# $ ; "8 %;
Z#$#5 )# -$# $ $ 1# #$ 0-$
%$0 0:' -(*( 0- -%$*) /&' 8
0#( ; "# 1# *$' $:( '#
$:( #9 : 5$ ## )%$#5 #
/& $0 '# M 3-(#5 0#$.4 ),
%($#!) /&) ' 0' M (x) 0$) $ :#
:#(1 #$$) *# ) $: ?#$ x ?# :#$
M (x) #5 ## %$* 0:) 3x 0#$.4
#$ *# M () = M () = M () = G$*,
#9 30$)4 B )%($#!) /&) 1 0,
(1 B(x, y) #' -$#5 0(1 ?# ## % %,
:(1 $ -$#5 #(1 ?# *$# #$: %:,
( ) %$ #$$) *# ) $:' 0$( (x, y) ?# #,
##.1 :# B(x, y) #5 ## %$* 0:,
) 3x 0$$# y4 #$ *# M ( ) = M ( ) = M ( ) = "# : 0- : )%$#5 # /& ' 0,
' $:( '# # /& n 0(1
(n = 2, 3, . . . ) $:( n,#( #9 A$ /& $,
%($# =$#( #*$. '#$ $%($#)
+ #*$. #( 8-$(; #9) + # -. 0 : /$#5 #$
n
+ #5 /&) n 0(1 0#' -$#5
0) :# %$*' #' :#) :#
{ , }
= . 5 0 -%$* *% G(x) ,
#(' 0$# 0(' $ :# $#$5(1 *
0$.' %$* ) *#(1 x ) *#(1D *%
M (x, y) #(' 0$# %$$(' $ :# '##5,
(1 * 0$.' %$* x < y %$* U
Z$#5 77 W# 0:'
#$5(1 *$)1D *% S(x, y, z) #1#(' 0$# %$$('
$ # : :# '##5(1 * 0$.' %$*
x + y = z %$* #$5(1 *$)1 E *# 0('
% ?#1 0$# #*$# '# 3-(#5 *#( *4 #,
' -$ #9 x < y ##' #$ #9
x + y = z
- n,# 0$# ( - #5 *# $$ n =$#( ##5 #(1 -59 &( *$# $,
%($# +
X %$*) 0$#$ $( $%($# + $ %$*) $( + $0 0$# 0(' $ :# ' #*$,
.' '# 3-(#5 #(4 #:# # $ 0('
$ # : :# 0$# #*$.' '# 3-(#5 -#,
(4 #:# :
$% $ $:)1 *$# 01#) #5 0:) ($:$. #:) # *# ?#(
# :#$ -$$# #( '# 3 #(4 3_ 1 0)5 $$ $(4 *# # :# .## ?#( -$$. #(
'# 3g.## %$. 5 )# )%(4
3g.## *( -4 2) #$1 0:' 0)#
.' *' 0- %$0 X F '# .
( ) ?# :#$ M F (x) #*$.' ?# ',
# 0$# 80(' $ M ; # 0: 3 ?#(
:#$ M -$$# '# F 4 *# # : $ 3$:('
8 3-'4 3)'4; ?# :#$ M -$$# '#
F 4 %$0($#) ∀xF (x) $ 0: 3 :# M
.## 8 3#54 3#)4 3$'#)4; ?#
-$$.' '# F 4 ∃xF (x) ($:) ∀x ∃x
$%($#) ),
8 ),
; ,
### = ?# -(* )# 3$# 0' x4
" . (
9 : ; - "
M ; F "
$$ W# 0:' 1 *$) %$05 =: ∀xF (x) * # F (x) #:#
#(' 0$# : 0# *$D 0: ∃xF (x)
: 0$# F (x) #:# : 0# *$ #
=* *# 05 ($:) ∀xF (x) ∃xF (x) 0,
$#( $ 0:) '##5# %$)# # 0,
' x "#$ 0$) ))#) %5 $ )# D :
-%$*#5 -' ' -' # ∀xF (x) : 0$#5 $,
0 ∀yF (y) ∀zF (z) # ∃xF (x) ∃yF (y) ∃zF (z)
=#$ $#$ -.# $#$ .#$) 0 ,
#( 0$#$ $ *$. )# + : $$#$#5 $ 0$& 0$.$,
. ?# 0$#( 0:) $0 )%($) $#
-.# 0 x 0$# C(x) 0 $ :,
# ' %$*$. 3x #4 0*$ # 0:
∀xC(x) 3 #(4 $ % 0$#$ &(x) 0 $
:# -' %$*$. 3x *4 # : 0- 0,
*$ : 0: ∀x&(x) 3 - *(4D %$ 0 0 $# -.# $# .#$) 0,
* # 0: ∃x&(x) 3W.## *( -4 $
)%$ $# .#$) 0 x 0$# '(x) 0,
$ :# ' %$*$. 3x -#4 0*$
: 0: ∃x'(x) 3W.## -#( 4
P$# . *# 0: ∀xF (x) # # ∃xF (x) #$,
: # ∃xF (x) : # ∀xF (x) #$: : $0
0: ∃xC(x) # $ 0: ∀x'(x) :
0$& )%($) $#$ : 0)#5 #,
( 0$#$ ?# *$ %5#$# -# 0:
$ 0$# ##5 # $ & 59 +$# $,
0 (' (9 #(' 0$# B(x, y) %$*$.'
3x 0$$# y4 x $ $ y $ % W)%($) 0 x $# -.# ( 0* #(' 0$#
∀xB(x, y) %$).' #5 # 0' y %$*$.' 3 0$$# y4 8"## 0$# * #:# :; W)%(,
$) # : 0 $# .#$) 0* ' ,
#(' 0$# ∃xB(x, y) %$*$.' 3W.## $ 0$,
$.$) y4 8 )).') * #:# #(
#:# :(; W)%($) # : # 0$#
0 y 0* #( 0$#( ∀yB(x, y) ∃yB(x, y)
%$*$. ### 3x 0$$# ) %$4 Z$#5 77 W# 0:'
3W.## $ % $ 0$$# x4 8=(' % ?#1
0$# #:# : #'
#:# #(
#:# :( ))#); X #05 $,- %
*#(1 0*(1 #$ -$% #(1 0$# )%$#5
#$9) 3-4 0 $# -.# .,
#$) 0*#) : 0: # : $0,
0: ∃x∀yB(x, y) 3W.## $ 0$$.$) ) %$4 : 0: ∃x∃yB(x, y) 3W.##
$ 0$$.$) $,# %4 #
= . 0 =#5 M (x, y) $#(' (9
0$# 0(' $ :# '##5(1 * #*$,
.' #9 x < y A$ 0: ∀x∃yM (x, y) %$*$.
32) - '##5 *$ .## '##5 *
# -59 4 # $ 0: ∃y∀xM (x, y) %$*$.
3W.## '##5 * # -59 1 '##5,
(1 *4 :
@% ?# 0$ : 0* *# $#( -.# .#$) 5%) 0#$)#5
! 8; 8$; (9 -( (0$( $ % 5 0:'
0*$.1) % 0$#$ B(x, y) )%($ -1 0(1
$#$ (09# #$5( 9#5 0# 1 $ '
)%( $'# 1 ##( %$*)
8-; A : ) 0$#$ M (x, y)
8; -%$* *% M (x, y) #(' 0$# %$$(' $
:# $#$5(1 * #*$.' #9 x y
8$; _-#5 *# % *#(1 #(1 0$# %$,
.1 0 )%($ $# M (x, y) ' 0' $
#:# #( #:# : ))#)
#:# #( #:# :(
8-; (09# 0:) 0*$.) % M (x, y) )%($,
-1 0(1 $#$ 0# 1 $ ' )%( $'# 1 ##( %$*)
! ; W## -$##5 $ $ # *# 0 %$0
($:' :$.1 $#( $ -(* )%( )%$,
( 0( # *%$#5 =1# ?# 0# *# # #$1
0(1 $ ( : ?# ($:) %$)#
; X. 0- 0*#5 % # 0$#$ 0,
$# 59' ## ## # *#-( /$#5 %$*)
1
1
1
B ( "
"
S , <
$$ W# 0:' 1 *$) %$05 B
#(1 0(1 $0 $$#$9) (9
# 0$# B(x, y) 0:#5 y = 0*#) ,
#(' 0$# B(x, ) %$*$.' 3x 0$$# 4
A05 ( %$') *' %$05 0:' ,
#( -$%#) % 1 - 0#(1 0:' 0.5
% 2) &' $) $:'
: $*#5)
#) %$ 34 34 34 2) ?#1 % ,
05%#) 0&$5( * -%$*) 0$#*
0$ ?# *5 .# -% *1 -%$*' :(
($:) %$. 0 $ $:' #$
($:) $ 0#) ##5) -( -( 9
-%( ##* 0$ $: $ 0#)
#* 0$#5 %$*) % 0* ?# 0$ -# 5
1$#*( ## )%( %$#5 ($ 0:,
) -$%$ 0.5 # %$ # ($ *$#' -($# -(* 5 :' $ ##
#5 $0# ($ 0:) ## %$*
=?# '*$ ) $ 0$#5 %$* %$ %$*# $%$#5 $
-$% %$# ## %$* 0* 0.5
0:) # ##(1 %$*' #1 0:' % #(1
0* +$%#) 0 ?# %$* %$ 5 0.$#)
-)#) ) &' #$ 0. 0$ 0
##5
$* %$ 34 )%( : 0: -$%,
$ 0.5 8 0.5 -% 0 %$* %$ 3$4;
# # #5 # *$ $ #( -$ #$).1
0#(1 0:) $0 0: 3V #&$
G $ =$: #&$ F$&4 # $ $: % 0:,
' 3V #&$ G $ =$: #&$ 4 3V,
#&$ h& $ =$: #&$ F$&4 3V #,
&$ h& $ =$: #&$ 4 :
C
" " " 9YQN: 9FZ: 9PO: # 9LQN: 9FNIZ: 9]IQQ: #
9IK: 9FL: 9RP:
B" " ) " " " !
@
Z$#5 77 W# 0:'
0)# ) 0%5(1 0:' 3A4 3B4
%$0($#5 0: 3A B4 *
A & B "#
0: $%($#) * 0:' 3A4 3B4D # -$ 0:) 3A4 3B4 #( 0# *$
:
! # %$$ & $ 05%#) %$ ∧
P$#5 ## %$*) C& # ##(1
%$*' * : 0#$#5 0.5 #$-&(
A
B
A&B
P5 $:' # $ # #$5' *#( %$0$$ $ %
*#(1 %:(1 -$&' ##(1 %$*' 0:'
3A4 3B4 $ 0$$ ###. ## %$* 0,
:) A & B =-( + ) ( - 9,
05%$#5) 05
=#5 P %$*$# 32$:( $ *#(4 Q 3W
-4 P 32$:( $ 0)#54 Q 3W *4 A$ 0:,
P & Q # $ 0:) P & Q P & Q P & Q :(
* $5' * 5$ $)# ###5 0,
: 32$:( $ *#( -4 ## '#$1 )%($ $ # *# #$-&$ :) -(* $: #*$#) : 0* 0#$#5 - #,
$& #' #$$) /$%$ ##$ -$% $0 *#
' 9# :$) $%($#5 0)#) )# 0.$
-#) -C))#5 -.%#( #( #$ )#5 *#
$:( $ 0)#5 *# * X 0)#5 0# ?# 5%
0 :# #5 32$ # : $:( $ *#( -[4
-$#) #05 % 34 )%( # 5,
$%(1 %$*' @% 1 $ -# #$#5 #5 $-,
0#-#5 # # (#0$# $0 .1
0:)1 8; 3P5 -% $ %4 8$* 3P5 -%
. 9 : , ^ . !
. 9:
$$ W# 0:' 1 *$) %$05 $ %5 -% %4;D 8; 3"# )- $ #' ' )-4D 8T; 3P$#$ ) 0' 9 --#4D
8; 3P$#$ *$ -# (#0$#5 A A4 8=,
:) 8; 8T; 8; : * 0-$%$#5 #$ : $ 8;;
$: % 0:' 8;8; ## % 1 - 0#(1 0,
:' $: A BD 0 ?# - A B #5#
).' %$# # : $ #:$#
*# 1#) -( % 1 # $ :# -(#5 -$ $0
0: 8; -# 0%$ #( '##5#
0-%# #5 $ # %$ # % #5 #5 $ %D : %$ # ?# 0:
-# 0%$ :( 8* *$)1 8; 8; A B #
-(#5 #( 0# *# 34 0#- 1 %$* * 8; 8T; $ 0# *# ?#1 *$)1
#( 0
+ ($:( )( 0:);
=: 3A B4 34 0$#) #5 *# $%C),
( %$0($#) *
A ∨ B "# 0,
: $%($#) * 0:' 3A4 3B4D #
1#) -( % 0:' A B # 0# *$
8# A B -$ :(; :
P$#5 ## %$*) %C& # ##(1
%$*' * : 0#$#5 0.5 .' #,
#' #$-&(
A
B
A∨B
X P Q P Q %$*$# # : *# 0 0
0) C& # 0:) P ∨ Q P ∨ Q P ∨ Q ,
#( $ 0: P ∨ Q :
* $)#5) ###5 $5' * 0: 32$,
:( $ *#( -4 . # * 32$:( $ ,( 9: "!
%*& %+& %1& %>& ") 9S
B
/: " %1& %>&
" %*& %+&
! . E (
Z$#5 77 W# 0:'
*#( -4 0)# 0* $ : 5 %
34 #. $ %$* 0#-)#) ) )
0:' #1 *$)1 $ - % ?#1 0:'
#5# ).' %$# # D #$ *# 0%#
8 9#; 0: 32$:( $ *#( -4 -( #5 * %$.' 5 -# $:( $ $
&#$ -.') - ?# $:$#5
=' $ % 34 # )%( $
(1 %$*) 0#0#$#5 $ -# ,
#$#5 #5 0 (#0$. $0 #$1 0:,
)1 8; 3X ?#$ $ 0#0$ $$% # $ 0#0$ --#4D 8; 3X %$#$ -# 19$) 0$ ( 0' 4 8T; 3X *$ -( # #5 . 9$
4D 8; 3X $(' #5 0)5(' ( :
05%$#5) #' =/$$4D
8; 3X ) -$($#
% ?# @$ @$*4 $: % ?#1 0:' #,
:$#) *# # 0: $: B # *# # # 0: $: A = ?#
).' %$# # A '##5# 0 $''
$#) ## 8 $# *# $#)
$ 8;; $ %$# %5 ## %$* : 0,
:) # ##(1 %$*' A B ( 0#$$) )#5 -
$ 0 0:) 8; =#5 # $: @$ 0%
?# 0:D *#-( %$#5 $%$ 0$ : ()#5
0#0$ $ $$% --# %:( *#( ,
*$) 8$; $ 0#0$ $$% --#D ?# *$
## *#$#5 *# @$ $%$ 0$ 8-; $ 0#0$
$$% --#D ?# *$ 5%) *#$#5 *# @$
$%$ 0$ 8; $ 0#0$ $$% 0#0$ --#D ?# *$ #$: # $' *#5 @$$ :
8; $ 0#0$ $$% --# 0#0$ ?#
*$ @$ $%$ 0$
- . " "( "
" 9" : % "&
C
" 9:) 9_ :
" . " %*& $$ W# 0:' 1 *$) %$05 T
A$ -$% 05 0: 3X A # B4 :
-(#5 0 ## %$* 0 - $0
%$*' A B ?# 0: : 0*#5 %$* *$ $ A # B : %$* 1 #$5(1
*$)1
0: 3X A # B4 8$* 3@% A # B4 3A *# B4;%$0($#) * A → B $%($#)
0:' A B D : A # B
: 0# *$ 8# - A : - B #;
#
=:) A B $%($#) ### + 0$& A → B ! # %$$ → $ 05%#) %$ ⊃
@##$) #$-&$ ) 0$& # .' A
B
A→B
X P Q P Q %$*$# # : *# 1 0(,
.1 0$1 # 0:) P → Q P → Q P → Q #( $
0: P → Q :
+$%#) $5' * 0: 3X $:( $ *#(,
# -4 ###) 0 #' 0* *# 0%).' : %$#5 5 -# $:( $ $ # : . *#$#5
*# # %5#$#$ :) 1 $ $ %$# &# $ =:,
) 3X * #) $ U # *#4 3X * #)
$ U # *#4 3X * #) $ U # *#4 8
#([; $:#) 5,#$ #$( 0# *# )'
# %$# *# % # $ U # *##5 : *
%$#5 # *# #) $ U $ #) 8 # : ) /$%$
3X * #) $ U # *#4 0 ##$ # %5
). %# $ # * # *5 #$
-(#5 %# ## %$* 0(; $ -1,
#5 *#$#5 #$ #$( 0:) #( %$*$#
"#$ . 9
: 9
: 9
: - !
" E
A 9
B :
B 9: A % 9
:&
Z$#5 77 W# 0:'
*# $ 0)# 0$& 3#$4 3##4 $
$ )# 30$$$54 5 ?# 0:) 95
0( 0( $ *9 ) 3# #',
#$4 0)#) 0$&D 0) #$ 0( ( $ -( $%,
)($ 0)# *% *#5 # $ $% #$
()# 0 *#5( # -($) 1$H W #$
: 01 : -( -( % 0## ## #,
# $ 0(1 #$&$1 *-$ #$ )%($ $#5 (
*# $ ?## )%( 0# ##
5& %4 !!! !%! 1!!
6 6 ' %'!!
A
!
B
4 A → B
!6
. &)/ > ! %!! " = ! &
%'! .D!
'
A
!
.D! B"
A
B/
& !! %!! &!
C &) ' 4 ) %'!!
%! )
? !! 100◦ G & !% / ' ! ) %'!! .D! !
3 !& ' ' ) %/" *, %! !
!& 1! ) ! ! ' ! ! %!
% $ %!! ! ! !& 34!: !!1 !
)"+ %'! .D!
A
B/
' 6) % %!6!'!! ' %! 34! 6 &8 .5!)
%'!
A ! '! 6 !!
B "/ *( %!! ! !
! %'!
%!! ' !! " F"+
% )%( #5 ( $ :$. )
-$%$) 0:' % 1 0:' % #$1 *5 *$# 05%#) $:)1 *$#&$ 34 $(' ,
*$' 0#-) # 0 $ $:' :,
# #$5( ## $ $ #$#) 0 $%( 0* #$ -$% 0: #&$#) # *#
#:$5 #$ $0 3 % *$ 4 3# (-$4 X 1 0: #5 A # 0:
%$*$# 3 *# A4 "# 0: %$0($#) *,
¬A $%($#) A
! # ¬A $ 09# Ā
@##$) #$-&$ ) #&$) # #$' i ¬A
$$ W# 0:' 1 *$) %$05 X P Q P Q %$*$# # : *# 0(.1
0$1 # 0:) ¬P ¬Q :( $ 0:) ¬P ¬Q
#(
W( & ∨ → ¬ $%($#) + P ! & .%!/
!!! & %4)3 %%&!1! ): & & 6 ! ! & ! $!: %!: ! .%/ * !&N31!! ) % 34 .!!/+" #6
!& & ! 34!: !: '! 6 : : : & %! ! 1 !!"
=#5 X X Y Y %$*$# ### 3 *#
*4 3 *# *4 3
*# *4 3
*# *4
8$; $ % 0:' X & Y X & Y X & Y X & Y #( $ :(H
8-; 8; A : %$' & $ ∨ $ →
8; A : ) 0:' ¬X ¬X ¬Y ¬Y $:' 00%&$5' )% ##( -$% 0#$,
)#) #$) 0$&) $ 0:)
$0 C,
& #*$# -$$) 0$&) #).$) -$%$ 0 0:) 1 C&D #&$ #*$# $$) 0$&)
#).$) -$%$ 0 0: #&$) ( 0,
*$ *#( 0$& # -$(1 $ "# 0$&
#$: $%($#) C&' %C&' 0$&' #,
&$ 8A$ -$% $: % ?#1 -%$*$# 0$&
%5#$# 0- #$ 3-C4 30*4 ;
=#5 $ #) 0%5(' $- 0:' X , X , . . .
. . . , X D ( - $%($#5 1 7
+ 1
3# #'#4 0$ #$#5) - X 0,
)#5 ?#$( 0:) 0$& C& %C,
& 0$& #&$) 0*( 0:) $ 0,
)#5 ?# 0$& # -# 0*$#5) 3:( 0:)4
$0 X → (¬X ) (X & X ) ∨ X ((X ) → (X → X )) & X A$ ($:) #$( % ?#$(1 0:' 0.5 00%&$5(1 )% $%($#) 0 !
1
2
n
1
2
1
2
3
2
1
3
1
# E
%
! . & E
U
Z$#5 77 W# 0:'
8$* ++ ; W$ ?#$(
0:) #$: *#$#) /$ 0:'
2) 0.) %$0 / 0:' #) . $$* 0)# $/#
@ *#$#) *# %C&) )%($# # * 0$,
&) C&) # * %C&) 0$&) $ #,
&$ # #$5(1 #1 0$&' $0 ¬X & Y %$,
*$# (¬X) & Y 8$ ¬(X & Y );D X ∨ Y & Z %$*$# X ∨ (Y & Z)
8$ (X ∨ Y ) & Z ;;D ¬(X → Y & Z) ∨ (X & ¬Y ∨ Z) %$*$#
(¬(X → (Y & Z))) ∨ ((X & (¬Y )) ∨ Z)
! 8; =#5 %$*$# 3G' (:$ ?%$4 ' 3 (:$ ?%$4 3# (:$ ?%$4
8$; P$0$#5 0.5 / 0:' 8$ ; *# G' (:$ ?%$$D 8$ ; @% # *#
G' (:$ ?%$ # *# (:$
#D 8$ ; X # (:$ ?%$ # G'
(:$
8-; P$0$#5 0, 8- ; ¬(¬ & ¬ → ')D 8- ; ¬¬(( ∨ ') & ¬ )
8; =#5 X %$*$# 3 -%$4 Y 3 )5$4
8$; P$0$#5 0.5 / 0:' 8$ ; -%$ $ )5$D 8$ ; X *# # -%(
# )5$ -%$D 8$ ; *# # )5 # -%( # -%$ *# # )5D 8$ ; X *# *# *# )5$ # -%$ # -%$ # -%$
8-; P$0$#5 0, 8- ; ¬X ∨ ¬Y D 8- ; ¬(X → Y ) → X & ¬X D
8- ; (Y ∨ X) & ¬Y → X D 8- ; ¬(¬(¬X → Y ) → Y ) → Y 0$& C& %C& 0$& #&$)
: 0)#5 #5 0:) 0$#$ $,
0 K (x) K (x) 0$#( 0( $ :#
$#$5(1 * %$*$. ### 3x #) $ 4
3x #) $ T4 # K (x) & K (x) 0$# 0(' $
# : :# %$*$.' 3x #) $ $ T4D D(x)
F (x) 0$#( 0( $ # :# ' %$*$. ### 3x $# & )%(4 3x $#
/$&% )%(4 # D(x) ∨ F (x) 0$# 0(' $ #
1
2
3
1
2
1
2
3
4
1
3
2
3
2
2
4
3
B a + b · c a + (b · c) (a + b) · c
$$ W# 0:' 1 *$) %$05 : :# %$*$.' 3x $# & /$&%
)%(4D &(x) 0$# 0(' $ :# $#$5,
(1 * %$*$.' 3x *#4 # ¬&(x) 0$# 0('
$ # : :# %$*$.' 3x *#4
A$ -$% $ #5 9#5 0$&' 0.5 #(1
: -$%($#5 % 0$# ( 0$#( 0:)
*#( 0$& #*$. 00%&$5( )%$ 0$& 0#$ $# ($:) -$%$( 0.5
?#1 0$&' % 0$# 3# #4 #(1 (
#$#5) - 8?# 0$#( ( - $%($#5 7
+ ; $%($#) 0 8$ &$
$( ( - $%($#5 1 0# 0 ; $0 F (x, y, z) F (x, y, z) G(x, y) P (x) ?#$( 0$#( # ,
. ($:) ))#) /$
8$; F (x , x , x ) → P (x )D
8-; ∀x¬∃zF (x, y, z) ∨ ¬G(x, y)D
8; ∃y(¬∃zF (z, y, y) → ¬∀z(¬P (z) & ∃xG(z, x)))
P5 $ ( 05%) ( (9 $9 0),
'#' # #05 -$)#) . 0# $#(
)%($# # * C&) %C&) 0$&)
1:)1 0' 0 #' -#) $# # *$#5
/( #' ?## $# ##) )# *# + ?# $# $0 / 8; 0(' $# )%(,
$# $ 1:) y #' 1: z ##' $ 1,
:) z *##(' 1: x A 1:) 0(1 / #( )%$( $#$ $ #$: 1:) 0(1
$ $#( $%($#) + D #$5( 1:) 0,
(1 / $%($#) )+ $0 /$ 8-;
:# $ )%$(1 - 1: x $ -(1
1:) y $ )%$(1 1:) z
)# *# 0$) ))#) #' / ) $' / #) -( 1:) ?#' 0'
F$ :$.$) -(1 1:' 0(1 $%($#,
) 8A$$ $0 /$ 8;;
=5 $ ( (9 8 0# ; 0 )%($ 0,
' 0$# $# 0$# 0#$# %$#5 # ?#'
0' $:$) %$#$) /$ 0#$)# -' 0:,
$ %$#$) 0$# %$).' # -(1 0(1
8 #5 # 1[; $0 /$ 8$; ($:$# *#(1#('
1
2
1
1
2
2
1
3
4
Z$#5 77 W# 0:'
0$# /$ 8-; #(' 8# 0(1 x y; /$
8; 0:
=) # $ ( : $%$#5 *# /$#*
( 0# #(' *' )%( # 0:)
# $#$#*1 / "## )%( 19 00-
) %$0 #$1 0:' :$ #(1 :# -(#5 ($,
: #*(1 #$1 $*' -$%& $# $#$#*
0:) 304 $ *' )%( 0$#) #5,
0# ( : 0 0( #$ 30$4 #$ ( #5 /$ 0#'9 $ ,
:$. 00%&$5(1 )% +$# #05 . 5
0
%5 $*# ?#$(1 . $ 0,
$#$ %$$( $ :# %:(1 -(1 # C(x, y)
%$*$.' 3A x ))#) 0# #$ y4 E(x, y) %$*$,
.' 3x y 0$$#4 8$* 3x y # : - #4;
A$ /$ ¬∃xC(x, x) #5 0: 0 $ '
)%( %$*$. 3$ - # ))#) -#,
( 0#4D /$ ∃z(C(x, z) & C(y, z)) #5 #(' 0,
$# 8# 0(1 x y; %$*$.' 3x y 0# # : - #$4 ¬∃yC(y, x) #(' 0$# 8# 0,
' x; %$*$.' 3x # 0#4 G $ ($%#5
/' #(' 0$# %$*$.' 3x # 8; 0#4H Z#-( $'# #$ / 0% 0-#5 0,
/$%$ # ($%#5 ## : ( 0, ( 0-
8?## 0 #$# 0$# 0 0 ##
)%($ $ '; : $0 ($%#5 #$ 3W.##
- # y )).) 0# #$ x #$ *# )
- # )).) 0# #$ x 0$$# y4 .
$* 3W.## - # y )).) 0#
#$ x #$ *# $ -( -( - # z ?# z
))#) 0# #$ x # z 0$$# y4 G 0 0,
: : 0# $ $9 *' )%( 3-$54
∃y(C(y, x) & ∀z(C(z, x) → E(z, y)))
%5 $*# ?#$(1 . # 0,
$#$ %$$( $ :# ' 81 $,- :91 ( :.1D ##) )%$( #* -C$ ?#
:#$ : %5 0-*5; P (x, y, z) %$*$.' 3x $$ W# 0:' 1 *$) %$05 B
### #& $#5 zj$4 M (x) %$*$.' 3x &
: 0$4 E(x, y) %$*$.' 3x y ## : *4
Z% ?# 0$#( : ($%#5 #( #$
$0
8$; =$#( 3x #& yj$4 3x $#5 yj$4 %$0($#) #,
## $ ∃zP (x, z, y) ∃zP (z, x, y)
8-; 3x ( yj$4 (∃zP (y, z, x) ∨ ∃zP (z, y, x)) & M (x)
8; 3x -$-9$ yj$4 ∃u∃v(P (u, x, v) & ∃z(P (v, z, y) ∨ P (z, v, y)))
8P5 0(' * %C& #*$# *$ -$-9 0 #&
#' *$ -$-9 0 $#;
8; 3x y #(4 8 ( # 0 #& 0 $#;
∃z∃t(P (z, t, x) & P (z, t, y)) & ¬E(x, y) & ¬M (x) & ¬M (y)
8; 3x #$ yj$4 ###.$) /$ #*$#) # 0,
(.' ### C# *$ ¬M (y)
P$ 0(. 0 0$# P (x, y, z) ,
#( 0$# A(x, y) %$*$. 3x 0 yj$4Z% 0,
*(' $- ?#$(1 0$# #$: : ($%#5 #( #$ $0 0$# 3x ( yj$4 %$0,
($#) #$ A(y, x) & ¬∃z(A(y, z) & A(z, x)) & M (x)D 0$# 3x -$,
-9$ yj$4 : %$0$#5 . -$% A(x, y) & ∃z(A(x, z) &
& A(z, y) & ¬∃t(A(x, t) & A(t, z)) & ¬∃u(A(z, u) & A(u, y))) & ¬M (x)
%5 $*# ?#$(1 $ 0$#$ %$$,
( $ :# $#$5(1 * M (x, y) %$*$.' x < y E(x, y) %$*$.' x = y A$ 0:) ($:$. (
'#$ #9) 3594 %$09#) #$ ∀x¬M (x, x) 8$
* 59 $ -);D
y
∀x∀y∀z(M (x, y) & M (y, z) → M (x, z))
8 # * 59 *$ $ ?# * 59
##5 # 0 59 ##5;D
∀x∀y(¬E(x, y) → M (x, y) ∨ M (y, x))
8 $ *$ $%*( # % 1 59 ; P$05
0:) 3X&$ #5 $59 $#$5 *4 # ¬∃xM (x, 1)
- ( C !
% & "
U
Z$#5 77 W# 0:'
=#5 A 0$#( 0( $ :#
- $/$#$ %$*$. ### 3x $$)4 3x $$)4 +$# # 0$# A(x, y, z) 0,
(' $ :# %:(1 34 # *(1 0$,
#5#' #$(1 % 1 - 8 -)%$#5 )),
.1) $ $; %$*$.' 3 z :
#$#5 % x y ?# 0)4 8$ 9$$ $0
0 : #$#5 % 0 ; 0$# B(x, y)
# 0$) 0$) 0-$# :# - #$) :# %$*$.' 3-$ x 1# y4 %) ?#
*#( 0$#$ $*# ?#$(1 : ($%#5 $0
. 0$#(
8$; 3W x ## % ' -(4 ¬∃y∃zA(y, z, x) 8 $ ## % ' -( # #5 # *$ $ 5%) #$#5 % $1 1 ;
8-; 3W x ## % 1 -4
∃y∃z(A(y, z, x) & ¬∃u∃vA(u, v, y) & ¬∃t∃sA(t, s, z)).
8; 3=$) -$ $ x #5 y4
∃t∃z(A(t, z, x) & ¬∃u∃vA(u, v, t) & B(y, t)).
8; 3W x $*$#) $'4
∃t∃z∃y(A(t, z, x) & ¬∃u∃vA(u, v, t) & B(y, t) & (y)).
! 8; ($%#5 *% ?#$( 0$#( 0$ ,
#(' 0$# %$*$.' 3x # 8; $ 0#$4
8; 8$; ($%#5 *% ?#$( 0$#( 0$ ,
. #( #$ D )) 0 #& 8 + $# 05 4 !FG ;D ))D 0)&$D 0$*$D ,
(' -$# 8@#) %$05 / ($:$.1 0$#(
%$*$. 3x yj$4 #;
8-; =# $ ' )%( 8( -%$*' ## : *# 0 ;
8- ; ∃u∃v(P (x, u, v) & ∃z(P (v, z, y) ∨ P (z, v, y)))
8- ; ∃t∃z∃u∃v(P (t, z, u) & P (t, z, v) & ¬E(u, v)&
&∃w∃s(P (u, w, x) ∨ P (w, u, x)) & (P (v, s, y) ∨ P (s, v, y))) & ¬M (x)
8- ; ∃t∃z∃u∃v∃w∃s(P (t, z, x) & (P (t, z, u) & ¬E(x, u) & (P (u, v, w) ∨
∨ P (v, u, w)) & (P (w, s, y) ∨ P (s, w, y))) & M (x)
1
2
3
$$ U $*$$ 0:'
U
8; W 0.5 ?#$(1 0$# 0$ %$0$#5 0,
: 3# :# -(#5 -#( 9'4
8T; = ?#$( 0$#$ 0$ 0$#
C(x, y) %$*$.' 3x y 04 ($%#5 8 # : (
*# %$$* 8;8$;; . #( #$ *% -$ ##5
#.$ 5 %)#5 1$ 9 5 %$ )*&$
) $*1$
8; ($%#5 0$# P (x, y, z) % 0$ *% ?#$(
0$#( 0$ T
8; W 0.5 ?#$(1 0$# 0$ %$0$#5 0,
:) 8$; 3 .## $-59 $#$5 *$4D 8-; 3,
$ $#$5 * #* # &( ))#) $,
594
8U; ($%#5 *% ?#$( 0$#( 0$ #,
( 0$#( %$*$. 8$; 3W x $*$#) $'4D
8-; 3 x $ $( #)# )4D 8; 3W x
:# 8; $ 1:) $(14
8; W 0.5 0$#$ V (x, y) %$*$. 3x $$ yj$4 %$,
0$#5 %$# / ($:$. 0: 3$$ $$$ ' $$4
8
; =#5 M (x, y, z) 0$# %$$(' $ :# $#$5,
(1 * %$*$.' xy = z ($%#5 *% ?## 0$# ,
#( 0$#( %$*$. 8$; y #) $ xD 8-; y = x D 8; y =
x 8B; =#5 #(' 0$# I(x, y) # 0$) 0$)
0-$# :# #* 0# #$) :# 0)(1
$ #' : 0# %$*$# 3A*$ x :# $ 0)' y4 P$0,
$#5 0.5 ?# 0$#$ %$# / ($:$.
0: 3Z% ) #* :$. $ 0)' 01#
#$) 0)$) 0$$5$) ?#' 0)'4
2
3
$ % ?#' $ ( %$') %* '# / 0,
:' *# /$#* # : $ '# 00%&$5(1
)%
$:$) /$ 0:' 0#$)# -' 0,
: ## %$* # %$# # ##,
U
Z$#5 77 W# 0:'
(1 %$*' 1).1 / ?#$(1 0:' "#
%$#5 ) $:' /( : 0#$#5 0.5 ,
##' #$-&( $$*' 0( 0(.' $
#$-&$ ) 00%&$5(1 )% $0 ##$) #$,
-&$ ) /( ¬(X → ¬X ) ()# #$
1
2
X1
X2
¬(X1 → ¬X2 )
2'##5 $; X X X #( # ¬X : 0?#
: %$*# ¬(X → ¬X ) #D -; X X #
$ : # ¬X # X → ¬X # ¬(X → ¬X ) :D
; X : # X → ¬X # 0 - X ¬(X → ¬X )
:
2' 0 ##$) #$-&$ ) /( (X → X ) &
& ¬(X ∨ X ) # 1
X1 → ¬X2
X2
X1
2
2
1
2
2
1
1
1
2
1
2
2
2
1
1
2
2
2
1
X1
X2
(X1 → X2 ) & ¬(X2 ∨ X1 )
V -#5) *# #$-&$ %$0$$ 0# 3(,
*4 %$* /( ) $: % *#(1 $- %$*'
X X $0 ) $-$
%C&) X ∨ X 0$#
%$* $ #&$ ¬(X ∨ X ) %$* D 0?# C,
&) (X → X ) & ¬(X ∨ X ) :$ 8#$ *# %$* 0$&
X → X (*)#5 :;
= 0 0#) ##' #$-&( ) /(
:$.' # ?#$(1 0:) X X X ?# ,
*$ #$-&$ # # %:(1 $- %$*' 0,
:' X X #) $:(' % 1 :# *#$#5) )
%$*) 0:) X 8 : $%$#5 *# ) 0%5,
n * %:(1 $- ##(1 %$*' 0:'
X , X , . . . , X $ 2 ; = #$ ##(1 #$-& -
1
2
1
1
1
1
2
2
1
2
1
1
2
3
1
2
2
2
n
n
2
3
$$ U $*$$ 0:'
UT
$0$$#5 $-( %$*' ?#$(1 0:' 83$4 %
- ; 0 # #$ $ $0$$#
$ -(*(1 $)1 8#$ ( 0#0$ 0 n = 2; 2) /,
( ¬(X ∨ ¬X ) → X & X 0 $/* $0:
# 0*$ . #$-&
2
1
1
X1
X2
X3
¬(X2 ∨ ¬X1 ) → X1 & X3
3
=' #-& : %$0#5 (0 ) $:' #,
0# 3(*4 : $ %$*#5 0,
##5 ?# 0& %$##5 ,0(1 *# 0:)
X X -$ #( # $9$ 0$&) # # %$*
0# #$ ,#(1 *# X # X : #
0$&) #$: #$ #$ $ # : 0( #$#)
0%# 0# 3(*4 ) ' # #' X # $ X X :(
! W#$#5 ##( #$-&( ) /
8$; ¬(¬X ∨ X )D
8-; (X & X ) ∨ X D
8; (X → ¬X ) → ¬(X ∨ X ) & ¬X D
8; (X → X ) & (¬X → ¬X )D
8; ¬((X → (X → X )) → X ∨ X & X )
# %$##5 *# $%(1 /( 0:,
' # #5 ## : ( # -(#5 *( +$,
# $0 0:) A = 3 *# @$ =#,
-$ ##(4 B = 3= $'' % 1 @$
=# ##4 E *# ?# 0:) %$*$# # : ) ?#$( 0:) X = 3@$ ##4 Y = 3=# ##4 ( : %$0$#5 A B ¬(X & Y )
1
3
2
1
2
2
1
3
2
2
3
1
2
1
1
2
2
3
3
2
3
3
1
3
1
2
1
U
Z$#5 77 W# 0:'
¬X ∨ ¬Y ### A05 0)#5 0* A B ,
*( #$ ##( #$-&( ) ###.1 /,
( *# ?# #$-&( 0$$#
X
Y
¬(X & Y )
¬X ∨ ¬Y
8P5 #$-&( $*( -$% ( ;
E *# 0:) ($:$( ?# /$ #$#)
*( %)#5 $*# X Y -( 0,
:) #$ *# ( %5 .# ' 0:' $ /D ?#$ ) # * 0 $ -$ '#$ *1 0$&'
! +$$#$) 0:) A B $ 30$$.
0 (4 ( # ) 0# #*#5 "# 0:)
0 $%$*( 95 #* %) ##b:# (,
( : 1 0$$# &$ ## # 0%# 0: A
00$$# *# -$ % :# %#5
*# @$ =# -$ ##( $# $&# $
0: ?# ) # ) $ 0: B #$'
(' ## #### 8X. $) ?# $%* $ 0 - 0#(1 0:' 3@$ ##4 3
*# @$ ##4; A$ 0:) $%$*( #*
%) ##(1 %$*' : -( -( $%$#5 3*
*(4 #* # 30#5 *(14 $-#,
#:#(1 0 ( 80* #(1 *$)1 ,
*$) ) 0:' -$) ' /
:# 0#5 $#).' $0 0:)
3V #&$ G =$: #&$ F$&4 3=$: #&$ F$& V #&$ G4 * *,
( *' / X & Y Y & X *( 3$ $ 4; A$ *# $ *$' 095
$ T ) - #:# *(1 0:,
' $%$#5 *# #:#)#) 95 3$ 0$4 A05 (
: #*#5 ?# #$ *( 0:) #:,
#)#) 1 ) (%$$ ' ($:$.1 1
/ 0:' 0$#
$$ U $*$$ 0:'
U
( : #05 $%$#5 *# /( 0:'
*( $ 0)# #5 $5( 1 ,
##( #$-&( 0$$# $ - -# /$#5
0 $5# . 5 ' / 2) ?#,
: -# # 0)# # $: $ 0 ,
- 0)# -' /& @ ) 0 ?# /,
&) F (x , . . . , x ) (n = 1, 2, . . . ) #$$) *# %$( 0(
0-$# 1?# :# { , } %$*) /&
#$: 0$:$# ?# :#
) - /& : * %$$#5 0.5 #$,
-&( #* #$ : $ $ # ##( #$-&( #(
0#$)#) /$ $0 #$-&$
1
n
X1
X2
F (X1 , X2 )
%$$# /& 1 0(1 F (X , X ) #$ *# F ( , ) = F ( , ) = F (, ) = F (, ) = X #$-&$ %$$.$) - /& F 0$$# ##,
' #$-&' #' /( )# *# ?#$ /$ 8 /& F $0 #5 *# 0)#$) /&) F (X , X ) 0#$),
#) $ 0#5 /' (X → X ) & (X → X ) 82)
0 : * 0# 3(*#54 ##
%$* /( ) $:' # #$-&( 0. %$##5
*# $:$) % 1 1).1 0$&' :$ #$ #5
#$ $ 0($ #$ $ %$* : $#5
1 C&) #$ $ %$*) X X $( :$
$ $%*(;
1
2
1
1
2
1
2
2
1
2
D &! %8 3 ! 6 ?1!3 ' %
!) ?L ( ? :! &
> %'!) & ) $
! !!"
A05 ( : /$#5 0 $5# #$
C ?"" ` %aIFZWI
bFFXI *2*6.*2U>&
UU
Z$#5 77 W# 0:'
2 /( 0:' $%($#) + 0#$)# # : - /&
2) -%$*) $5# / 05%#) %$ ≡ 8
: %$ $ 0 $ T;
+$5( ))#) $0 /( ¬(X & X ) ¬X ∨
∨ ¬X ( /$#* $%$ ?# (9 $ -:$ 0 @$( =#( 8 ( 0$ #$ X # X Y # X ?# $%#) # $ %$*);
2 0 # :#5 /( (X ∨ X ) & X X &
& X ∨ X & X $ 0$%($# 1 ##( #$-&(
1
2
1
2
1
1
3
2
2
2
3
1
3
X1
X2
X3
(X1 ∨ X2 ) & X3
X1 & X3 ∨ X2 & X3
8; 2$%$#5 *#
8$; X → ¬Y ≡ Y → ¬X D
8-; X → (Y → Z) ≡ X & Y → Z 8; +$5( /(
8$; ¬(X → Y ) X → ¬Y H
8-; (X → Y ) → Z X → (Y → Z)H
8; (X → Y ) & (X → Z) X → Y & Z H
8; (X → Y ) ∨ (X → Z) X → (Y ∨ Z)H
+$5( # -(#5 #$ /( #(1 :#$
1).1 1 ?#$(1 0:' 0$$# 2 #
*# /$ :$.$) 0# $ ?#$(1 0:)
X X 0#$)# #5 /& 1 0(1 X X $0 /& #1 0(1 X X X #$ *#
0 /$(1 %$*)1 X X %$* %)#) 0
% %$*) X +$# $0 /& C(X , X , X ) %$$ ,
.' #$-&'
!
1
2
1
1
1
2
2
3
1
2
3
3
2
$$ U $*$$ 0:'
X1
X2
X3
C(X1 , X2 , X3 )
U
$ X X 0$# %$* ?#$ /&) #$: 0$#
%$* 0 -1 %:(1 %$*)1 X D 0 #$5(1 *#$,
)1 %$*' X X $ 0$# %$* #: %$ #
%$*) X $ %#$ /$ ## %$* #'
#5 0 X = X = 0 #$5(1 $-$1 %$*' X
X ?# X & X A$ -$% ?#$ /$ 0#$)# $9
/& C(X , X , X ) ?#$ /&) 0#$)#) #$: /,
' X & X & X ∨ X & X & ¬X $ 0#5 0#
) ## #$-& A$ -$% /( X & X X & X & X ∨ X & X & ¬X $5(
# . 0 #$ $ #$ ## #$-&
) /( (X → X ) & (X → ¬X ) ( *# $ 0$#
%$* $ X : $ X # $ -( -(
%$* X W$#5 ?#$ /$ $5$ ¬X ! 2$%$#5 *#
8$; (X ∨ X ∨ X ) & (X ∨ X ∨ ¬X ) ≡ X ∨ X D
8-; (Y → X) & (¬Y → X) ≡ X D
8; X ∨ (X & Y ) ≡ X D
8; (X & Y → Z) & (X & ¬Y → Z) ≡ X → Z =5%)5 0)# $5# : #$#5 ) 0,
#(1 *5 $:(1 '# 00%&$5(1 )% 2 ,
#' #0 01: $ '#$ $/#*1 '#' $
*$ . -59 $ '#$ 0$&' $ :#$ ,
#( -( $#( $ ?# '#$ # $,
5#' $%($#) 0.5 ##(1 #$-&D 1
$%($# -(* + + +/ +$ -59'
-%# ( $%-5 1 $ # 00(
1
2
3
1
2
3
1
2
2
1
1
1
1
2
2
2
3
3
1
2
3
1
1
2
3
1
2
1
3
2
1
2
1
1
2
1
1
2
3
1
2
3
1
2
2
U
Z$#5 77 W# 0:'
00 7 '# 5 #9' #(1 *$## #5
C&) %C&)
7 X ∨ (Y ∨ Z) ≡ (X ∨ Y ) ∨ Z 8$&$##5 %C&;
7 X ∨ Y ≡ Y ∨ X 8#$##5 %C&;
7 X & (Y & Z) ≡ (X & Y ) & Z 8$&$##5 C&;
7 X & Y ≡ Y & X 8#$##5 C&;
7 X & (Y ∨ Z) ≡ X & Y ∨ X & Z 8#-##5 C& 0
#9 %C&;
7 X ∨ Y & Z ≡ (X ∨ Y ) & (X ∨ Z) 8#-##5 %C& 0
#9 C&;
7 X ∨ X ≡ X
7 X & X ≡ X
00 77 #$)# # #9) #(1 C,
& %C& *$## #&$
77 ¬¬X ≡ X 830$ )#)
' #&$);
77 ¬(X ∨ Y ) ≡ ¬X & ¬Y 83%$( 2 $$4; 77 ¬(X & Y ) ≡ ¬X ∨ ¬Y
00$ 777 ## % #1 #9' #(1 *$## 0,
$&)
777 X → Y ≡ ¬X ∨ Y 777 X → Y ≡ ¬(X & ¬Y )
777 X → Y ≡ ¬Y → ¬X 83%$ #$0%&4;
W## %$##5 *# :$#5(' ( #9' 00( 777
*5 0# 0: 3@% X # Y 4 %$*$# # : *# $:
% 1 0:' 3@ Y X 4 8777 ; 3%,
: *#-( X -( $ Y 4 8777 ;D % #
X # #5 Y # % # Y # #5 X % # Y # #5 X # % # X #
#5 Y 8777 ;
( $5# 0:' 0%)# 0%,
#5 + ) / # 01#5 # 1
/ $5( 0- # $ 0%)#)
#:#( 0-$%$) ?#$' $- *$##
#9' 7 7 ($:)1 $ X ∨ (Y ∨ Z) X & (Y & Z)
#0 : 0$#5 - 8/$#* ( ?# 5 $% :
$;D #9) 7 7 $# %:#5 0#$)#5 *(
1
2
3
4
5
6
7
8
1
2
3
1
2
3
1
2
3
1
3
2
4
C <
? /
%cLWLRKLR dI VFZWYQ *23U.*24*&
$$ U $*$$ 0:'
UB
%C&)1 C&)1 #9 7 $($#5 -
# ) 0$& : 05%)5 #9 777
777 ($%#5 *% %C& #&$ *% C,
& #&$D #9) 77 77 0%)# 3%$)#5 #54
#&$ #). 0 %C&' C&' 80*
%C&) %$)#) C&' $ C&) %C&';D
#9 77 0%)# (*$#5 '( #&$)
W 0.5 #:#(1 0-$%$' ) / 0:' : 0# # - 0# @ ( 05%)5 #9) 00( 777 #$ 0$& $ #$: #$ '( #&$) 8 #5;
$ %$# #$9) #&$) $5 : 3%$ #54
(*$) 30 4 5 %$. '( #&$) # (
0* / :$. 0$&' 0# #$ ,
#' %$ #&$) #5 #)# #5 0 ?#$,
( 0:) X ?#' / $(#5 - #
0%# /$5 3:4 8*#$) %C& $$
( $ C& $$ 0%); # 0*#) %C,
&) *( #' 0#$)# -' - C& $:$)
% #(1 ## #5 % ?#$(1 0:' .1
.1 0 -' %$ #&$) - 0# ?,
#$( 0:) #&$) -% 1 0- # $ ?#$' $- ) ($: #$ % - *
0.5 %$ :) :) $(# - :
0$##5 0%' - * 8= ?# %:(
#$: 3%C& % *$4; A$ /( 0)# $%(,
$#5 0 *
0 $ 0$#5,
#5 #:#(1 0-$%$' %5#$# #(1 0*$#)
#$$) /$ *
0
X & ¬Y ∨ Z → ¬(X → ¬Z) ≡
8;
≡ X & ¬Y ∨ Z → ¬¬(X & ¬¬Z) ≡
8;
≡ X & ¬Y ∨ Z → X & Z ≡
8T;
≡ ¬(X & ¬Y ∨ Z) ∨ X & Z ≡
8;
≡ ¬(X & ¬Y ) & ¬Z ∨ X & Z ≡
8;
≡ (¬X ∨ ¬¬Y ) & ¬Z ∨ X & Z ≡
8U;
≡ (¬X ∨ Y ) & ¬Z ∨ X & Z ≡
8;
≡ ¬X & ¬Z ∨ Y & ¬Z ∨ X & Z.
8
;
5
1
2
2
1
3
Z$#5 77 W# 0:'
P5 0 01 # /( 8; / 8; 0$&) (,
$:$#) *% C& #&$ 0 01 / 8T;
#$)#) '( #&$) 0 01 / 8; 0$,
&) ($:$#) *% %C& #&$ 0 01 /,
8; #&$ %C& %$)#) C&' #&$'
0 01 / 8U; #&$ C& %$)#) %C,
&' #&$' 0 01 / 8; . $% #$)#)
' #&$ 0 01 / 8
; $($#) -
! =# %C#' $5' / .
/(
8$; X ∨ ¬Z → Y & Z D
8-; (X → Y ) → (Y → X)D
8; ¬(X & ¬(X ∨ ¬X ) → X ) & X D
8; ¬¬¬(¬X ∨ ¬Y ∨ ¬Z)
1
2
3
1
2
$ /&) $%($#) ) 1 $- %$*' %$(1 0(1 $ 0$#
%$* ) 1 $- %$*'
%$(1 0(1 0$# %$* F$ 0#$,
).$) #:# # #:# : -
/& #$: $%($#) ###
A:# #( $0 . /( X ∨ ¬X ¬(X & ¬X) X → X D $ $:$) % 1 0 - %$,
* X 0$# %$* A* #$ : ) *# /(
¬(X ∨ ¬X) X & ¬X ¬(X → X) #:# :(
=( #:# #(1 / :$.1 0,
(1 X & Y ∨ X & ¬Y ∨ ¬X & Y ∨ ¬X & ¬Y D (X → Y ) → (¬Y → ¬X)
Z#$#5 -#) 1 #:#' ## #$ )
1 ##( #$-&(
E *# #:# #( /( $5( :
-' )$) /$ $5$) #:# #' $$
#:# #$D # : ) #:# :(1 /
* #$: *# #&$ #:# #' /( #:,
# : $ #&$ #:# :' #:#
#
A:# #( /( $# *5 $:
5 05 #( %$# # :$) 1),
.1 1 ?#$(1 0:' @$* ) 1 ##5
$$ U $*$$ 0:'
0#5 -$ 1 * # %$# # #
$' 0#' -$# #)#) W$ $0 $
$/#*1 0:) 3X $#$5 * #) $ U
# #) $ T4 3) $#$5 * #) $ T
#)4 -$ #( ##5 0 -,
$ %$$ $/# $ ##5 # # ?#1 %$ %$# ( ) 0%5 $#$5 *$ x -%$*
0: 3x #) $ T4 *% X # $9 0: ($,
%#) #:# #' /' X ∨ ¬X 0* % ?#'
/( 0: #$#) #( %)#5 $*# X
- 0: -)%$#5 $/#*
: $%$#5 #$ -$% *# -$) #:# #$)
/$ ($:$# #(' *$## /,
$ X ∨ ¬X ($:$# %$ * ##5 $ /$
¬(X & ¬X) %$ 0#*) 8 ;
$%$( (9 ( $5#) ( : #05
-$#5 5 (1D 1 -#5 -# # *# #(
% *$#.1 1 0:' 00$$#) #:# ,
#( #:# :( ?#1 #9)1 -$ R
-# -%$*$#5 0%5 #:# # / F 0%5 #:# : X 0%5 0:
7Y X ∨ R ≡ R
7Y X ∨ F ≡ X 7Y X & R ≡ X 7Y X & F ≡ F 7Y F → X ≡ R
7Y X → R ≡ R
2$%($#) ?# #9) *5 0# $0 X 0,
$# %$* # 05 R $ # %$* X & R
#: 0$# %$* D : X 0$# %$* # X & R 0$# %$* G$* $ -( -( X ,
0$&) F → X 0$# %$* 05 0$&) :$
95 #$ $ 0($ #$ $ %$* : #$5(
$5# *#$#5 $:# $
W#9 7Y ($:$# #$ $%($ ; A
% : # *# 80,$#( Sk lJMO> mL>]MQKSI;
W#9) 7Y 1 *$)1 0%)# 0.$#5 /,
( # $1#5 ) 1 $5( /( - 0# $
@ 7Y %C&)1 : (*$#5 #:#
1
2
3
4
5
6
6
2,3
5 ? ,
%eFfYQQIR dLQR gJFKLR *1U6.*+32& . !## h
Z$#5 77 W# 0:'
:( *( $ C&)1 #:# #(D # : ,
) #:# ##5 #:# :#5 /(
$#) #$#5 0.5 #9' 7Y %$
* ##5 0#*) # #9,
' 7 C&)1 %C&)1 : (*$#5 0#),
.) *(
$0 /$ (¬(X & ¬X → Y ) ∨ X) & (Y ∨ Z ∨ ¬Z) $,
5$ X 05 $; 0$&) X & ¬X → Y #:# #,
$ 8 7Y #:#' :# /( X & ¬X ; #$ *#
%C&) ¬(X & ¬X → Y ) ∨ X $5$ X 8 7Y ;D -; %C,
&) Y ∨ Z ∨ ¬Z #:# #$ 8 %$$ *
##5 7Y ; #$ *# C&) X & (Y ∨ Z ∨ ¬Z) $5$ X
8 7Y ; 2' 0 /$ (X ∨ Y ∨ X) & (X ∨ Y ) $,
5$ X ∨ Y 7 7 ! 8; _0##5 /(
8$; (¬X ∨ ¬Z ∨ X ∨ Y ) & (X ∨ ¬Z ∨ X ∨ Y ) & (X ∨ ¬Z ∨ Z ∨ Y )D
8-; X → (Y & ¬Y → Z)D
8; (X → (X → . . . (X → Y ∨ ¬Y ) . . . )) & Z 8; (# #9) $$*( 7Y 7Y ( *$#)
R → X X → F
1,4,5,6
7,8
6
2
1
3
7
1
2
8
n
5
6
& % ?#' $ ( %$') '#$ 0$&' $ 0$#$
($:' -$%$(1 0.5 ?#1 0$&' # /
0$# = ?# ( #5 #$ '#$
#( %$)# # 0( 1).1 /( ?#$(1
0$# =?# ?#' $ ( - *#$#5 *# 1).
/( %$ ?#$(1 0$# # -%$*$#5 )+
0$#( # ###.1 0(1D $ -# - #$
-$% #5 *# /( 1)# 0$#( $ ( 0,
$# $* + + # #(1 0(1 *# ?# 0$#( ( : ,
-( #(
0$#$ # #1 : 0(1 8F$#* 0$#( (
,
( !
" ∀x∀y∀z(A(x, y) & A(y, z) → A(x, z)) A(x, y) .
"
( x < y
$$ $*$$ 0$#
T
#5 0( %$*) #(1 :$# 0$#( 30$#,
( 0(4 #* # 30#(1 0(14 # #(1
0$#( %$)#; =$#( ( # -(#5 +
+ /
+ #
= %$. 0$#(1 #( 0$#$
%$#$) /$ 0$.$#) 0: $ %$#$) 0$# %$).' # 1).1 -(1 0(1
8; F$ ∀x∃yF (x, y) :# #('
0$#(' F (x, y) = %$. 0$# 0,
( $ :# $#$5(1 * %$*$. x < y
/$ 0$.$#) # 0: 32) - $#$5,
*$ .## $#$5 * # -59 4 0
%$. 0$# 0( $ # : :# %$*$,
. x > y : 0: 32) - $#$5 *$
.## $#$5 * # 59 4 0 %$.
0$# 0( $ :# ' %$*$. 3y $#5 xj$4 # 0: 3_ - *$ #5 -($
$#54 0 %$. 0$# 0( $ # : :#
%$*$. 3y ( xj$4 : 0: 3_ -
*$ #5 -( (4
8; X / ¬∃xA(x, y) → ¬B(y) %$##5 #(' 0,
$#(' A(x, y) 0$# 0( $ :# ,
' %$*$. 3x %$#$)# yj$ ($#5) 0 #$4 $ #,
(' 0$#(' B(x) 0$# 0( $ # :
:# %$*$. 3x ($#) 0 #$4 ?#$ /$ 0,
$.$#) #(' 0$# # 0' y %$*$.' 3X
# %$#$)# yj$ ($#5) 0 #$ ?# $#4 8)
#(1 yj %$* ?# 0$#$ #5 ) #(1 ;
A$ : /$ 0 %$. $ A(x, y) 0$# #
x 0-$# :# %*$(1 9 *-(1 0# y :# ' %$*$. 3* y %$# 0# x4 $
B(x) 0$# 0( $ :# ' %$*$.
3x :# -(#5 *# 94 0$.$#) 0$# %$*$,
.' 3X y %$# *- 0#$ :# -(#5
*# 94 8* #:# #(';
8T; F$ ∀x∀y∀z(A(x, y) & A(y, z) → A(x, z)) 0 %$. 0,
$# $ A(x, y) 0$# 0( $ :# ,
' %$*$. 3x #$9 yj$4 0$.$#) # 0:,
3$( -( -( x y z x #$9 yj$ y #$9 zj$
Z$#5 77 W# 0:'
# x #$9 zj$4 $ 0 %$. 0$# %$*$. 3x %$
yj4 : 0: 3$( -( -( x y z x %$ y j y %$ z j # x %$ z j4
8; +$# / ∀x∀y∀z∀t(S(x, y, z) & S(y, x, t) → E(z, t);
X %$##5 ' ( S(x, y, z) E(x, y) 0$#$ 0,
( $ :# '##5(1 * %$*$. ##,
# x + y = z x = y 0*#) # 0: 3W$
1 * %)#) 0 0#$ $$(14 $ %)#5
# x + y = z 0$# x − y = z : 0: 3+$%#5
1 * %)#) 0 0 #$ 59$ (*#$4
0:' $( $-* ## -( $ 0)# $5# / G$* 0)# : ,
# 0$# @ %$#( /( 0$# $%($#) + 0 - %$.
1).1 1 0$#(1 #( 0$#$ 0$.$#) ## : 0$# $ %$#( 0
- #$ %$. 0$.$#) 0:) .
$( ##( %$*)
2) -%$*) $5# / 0$# 05,
%#) ## : %$ ≡ *# 0:'
+$# #05 5 0
¬(F (x) & G(x)) ≡ ¬F (x) ∨ ¬G(x)
$ ( %$# F G 0%5( #,
( 0$#$ F G $ %$# $ 0' x 0%5,
%$* x # /$ ¬(F (x) & G(x)) 0$##) 0,
: ¬(F (x ) & G (x )) $ /$ ¬F (x) ∨ ¬G(x) 0:,
¬F (x ) ∨ ¬G (x )D ##( %$*) ?#1 0:'
0$$# A$ -$% %$*) 0$# ¬(F (x) & G (x)) ¬F (x) ∨ ¬G (x) 0$$# 0 -(1 %$*)1 x $* )
?# $%( 0$#( $ ## : 0$# 8$0
*# 0$# *$#(' *$' /& $ /& 0$$# 0$$# 1 -$# 0) 0$$# 1 %$*) 0 -(1
%$*)1 %$' 0';
! = #5 *# $: -( $
$ # *# /( ¬(F (x) & G(x)) ¬F (x) ∨ ¬G(x) 0*$#) %
$5(1 / 0:' ¬(X & Y ) ¬X ∨ ¬Y %$,
' ?#$(1 0:' X Y /$ F (x) G(x) A*
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
$$ $*$$ 0$#
#$ : $: : 0# ) -' 0$( $5(1
/ 0:' #(1 ?#$( 0:)
%$( $,- /$ 0$# A$ -$%
$5(1 /$1 0:' %$#5 $:
?#$ 0: $',- /' 0$# #
0*( 0 ?# /( 0$# -# $5(
∀x(F (x) & G(x)) ≡ ∀xF (x) & ∀xG(x)
$ - ?# /( %$#( 0$) % 1 0 %$.,
F (x) G(x) #( 0$#$ F (x) G (x) 0$.$#)
# 0: # #5 # *$ $ 0$#
F (x) & G (x) #:# #D ?## 0$# #:#
# #$ #5 #$ $ #:# #( -$ 0,
$#$ F (x) G (x) $* ) $ #( 0:) ∀xF (x)
∀xG (x) . $* $ #$ 1 C&) #
$ $% 0$#$5 $9$ #$) /$
F( ∃x(F (x) & G(x)) ∃xF (x) & ∃xG(x)
$5(
Z#-( -#5) ?# #$#* $'# %$. F (x) G(x)
#( 0$#$ 0 # $ % $91 / 0,
$#$5 -( # 0: $ $) : %$##5 F G 0$#$ 0( $ :# $#$5,
(1 * %$*$. ### 3x *#4 3x *#4
# 0$) /$ 0$##) : 0: 3W.##
$#$5 * )).) *#( *#(4
$ #$) # 0: 3W.## $ *#( #$ *#( $#$5( *$4
∃x(F (x) ∨ G(x)) ≡ ∃xF (x) ∨ ∃xG(x)
$ 0$) /$ 0 %$. F (x) G(x) #(,
0$#$ F (x) G (x) 0$.$#) : 0: # #5 # *$ $ 0$# F (x) ∨ G (x) #:#
:D ?## 0$# #:# : #$ #5 #$
$ #:# :( -$ 0$#$ F (x) G (x) $* )
$ :( 0:) ∃xF (x) ∃xG (x) . $* $
:$ 1 %C&) # 0$#$5 #$) /$
F( ∀x(F (x) ∨ G(x)) ∀xF (x) ∨ ∀xG(x)
$5(
Z#$# 0$$#) -#5) ?# $#)#5 0-$ 0,
1). %$. 8$ 0 T;
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
U
Z$#5 77 W# 0:'
F( ∀x∃yF (x, y) ∃y∀xF (x, y) $5(
2'##5 %$##5 0$#(' F (x, y) 0$,
# 0( $ :# $#$5(1 * %$*$.
x < y # 0$) /$ 0$##) # 0: 32)
- $#$5 *$ .## $#$5 * #
-59 4 8 0 8; $*$ $(; $ #$) :
0: 3W.## $#$5 * # -59 1
$#$5(1 *4
!
8; 8$; 2$%$#5 *# ∀x∃y(F (x) & G(y)) ≡ ∃y∀x(F (x) & G(y))
8-; A : %$' & $ ∨
8; 8$; +$5( /(
∀x(F (x) → G(x)) ∀xF (x) → ∀xG(x)?
8-; A : %$' ∀ $ ∃
$ $ %# % 0(.' $( 0:'
#) 0#' 0- 0%).' ) -(1 1 / %$#5
$5( #$#* $#5 1 ##( #$-&(
0$# 0- 0-$ # -( -( -0% 0(,
#$#5) $'# *# .## $ $5
#$ #(' 0%) -( 31$*4 0.5 1 #1
: *# 0(1 0$ ) -(1 1 / 0,
$# ())#5 ))#) $5( =?# $,
5#5 01#) $%(1 *$)1 $%($#5 0,$% ?#
:# $%$#5) 0# ) #(1 $:(1 *$#(1
*$ ,#$ #5 0#( 0-( $%$#5#$ $5#
@$ $#) $0 05%$#5) #$ 0,
:' 8 (9 0 0(. 0#$ %$*$ ;
) 1 *$ : 05%$#5) '#$ $# #
$- $:( % ?#1 '# 81 *$# $%($# + ; ( $% 1 $ *#( 00(
00$ 7 0#$$ (1 $#
7 ∀x∀yF (x, y) ≡ ∀y∀xF (x, y)
7 ∃x∃yF (x, y) ≡ ∃y∃xF (x, y)
1
2
- " $$ $*$$ 0$#
2) $%$#5#$ #9) 7 #$#* %$##5 *# 0
%$. 0$# $ F -( #( 0$#
$ $) #$ 0$$) *$# 0$.$#) #( 0:,
) #$ #5 #$ $ ?## 0$# #:# #
*$ #9) 7 : $:$#5 $$*
00$ 77 )%5 : $%( $#$
77 ¬∀xF (x) ≡ ∃x¬F (x)
77 ¬∃xF (x) ≡ ∀x¬F (x)
2$: #9 77 P$# 0$#(' F 0,
%5( #( 0$# F X 0: ¬∀xF (x)
# # 0: ∀xF (x) :D $#5 0$# F
))#) #:# #( #$ -(#5 0$# ¬F ))#) #:# :( # ) $,# %$*) 0,
' x 0$# %$* #$ *# ∃x¬F (x) # 0:,
W ' #( 0: ¬∀xF (x) : # ∀xF (x)
#D 0?# 0$# F (x) #:# # $ ¬F (x) #:,
# : #$ *# ∃x¬F (x) : 0:
W#9 77 $%($#) $$*D *#$# -# *5 0,
% 00(#$#5) 0# ?# $%$#5# $
! X #(' #(' 0$# P (x) 0,
$ * :# {a , . . . a } # ∀xP (x) %$*$# # : *#
P (a ) & . . . & P (a ) $ ∃xP (x) # : *# P (a ) ∨ . . . ∨ P (a ) -.
*$ $#( -.# .#$) : 0$#5 $ 3-,
* C&4 3-* %C&4 A$ #,
9) 00( 77 $%($#) --.) $ 3-*(' *$'4
%$ 2 $$
00$ 777 ( $# %$ -
2) 0%5' /( H :$.' -(1 1:'
0' x 0$( #9)
777 H & ∀xF (x) ≡ ∀x(H & F (x))
777 H ∨ ∀xF (x) ≡ ∀x(H ∨ F (x))
777 H & ∃xF (x) ≡ ∃x(H & F (x))
777 H ∨ ∃xF (x) ≡ ∃x(H ∨ F (x))
( $: #5 0 % ?#1 #9'D #$5( $%(,
$#) - $$* 81#) $$ *(;
= ?# ( 0 $%$#5# #5 ) *$) $ /,
$ H %$#$ # -. :# -(1 0(1 -,
. *$ $%$#5# ##) #$ : -$)#) #(
1
2
1
2
1
0
0
0
0
0
0
0
0
0
0
2
1
1
n
1
2
3
4
n
1
n
Z$#5 77 W# 0:'
#1* :) #( ( 0$ *#-( $#5 -
)' -. @#$ 0#5 H %$#$) /$ P$# F 0%5,
( #( 0$# F 0$#( ( 1),
. H 0%5( 0$#$ ###.' ##D
/$ H 0$##) 0 ?# # 0: H A$
0: H & ∀xF (x) # # #( -$ 0:)
H ∀xF (x)D % ## ∀xF (x) # *# 0$# F (x) #:,
# #D 0?# 0$# H & F (x) #$: #:#
# #$ *# ∀x(H & F (x)) # 0: W ' #,
( H & ∀xF (x) : # : - H - ∀xF (x)D 0,
*$ H & F (x) #:# :(' 0$# # 0$# F (x) #:# # #$ -(#5 #:#,
# #$: 0$# H & F (x) -1 *$)1 0:
∀x(H & F (x)) :
00$ 7Y 0$ )%$(1 0(1
7Y ∀xF (x) ≡ ∀yF (y)
7Y ∃xF (x) ≡ ∃yF (y)
"# #9) # % # *# $ -( #* . $ 8 ; 0:) ∀xF (x) ∀yF (y) # $( ,
##( %$*) $ -( -( 0$# F # : $ ) ∃xF (x) ∃yF (y)
1 ((1 '*$ $5#)1 # x y :
$%#) -$#5 -( 0(
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
2
0
0
0
0
0
W 0.5 (1 $5#' 0:' ,
0$# : 0%#5 0$# + ) $$* # $ ?# $#) 0,
:'
+$# 5 0
∀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))
P5 $ 0 9$ 0$&) ($:$#) *% %C& #&$ $ # % %C& (#) %$ - $#
.#$) 0 y 8?# : $#5 05 /$ ¬F (x)
:# -(1 1:' y; $ ##5 #$$$#)
0$&)
$$ $*$$ 0$#
B
¬∀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))
P5 $ 0 9$ $:( 0)#) #9 77 $ #
#$)#) ' #&$ )%$$) 0$)
x / ∃x¬G(x) 0($#) y $ ##5 (#) %$
- $# 0 x $ *## $# 0 y 8=$
0' -1 ) # *#-( : -( (#5 $#,
( %$ -;
1
¬∃x∀yF (x, y) ∨ ∀xG(x) ≡
≡ ∀x¬∀yF (x, y) ∨ ∀zG(z) ≡ ∀x∃y¬F (x, y) ∨ ∀zG(z) ≡
≡ ∀x∃y(¬F (x, y) ∨ ∀zG(z)) ≡
≡ ∀x∃y∀z(¬F (x, y) ∨ G(z))
P5 $ 0 9$ 0)#) #9 77 )%$$) 0$) x / ∀xG(x) 0($#) z $
# 0)#) #9 77 $ ##5 ()#) %$ -
$#( 0 x 0 y $ *## $# 0 z
$: % 0(1 0 %5#$# 0-$%$)
))#) /$ #' $#( 3(( 04 $*
) /$ $*$.$)) 3$#' 0#$4 8 30,
/$4; %$ #' # -$#$) /$ A$ /(
$%($# /$ 0 0 8$.
0; # 0)#5 *# 0/ : 0# - /,
0$#
2
1
¬∀x∃y∀z(L(x, z) → C(y, z)) ≡
≡ ∃x¬∃y∀z(L(x, z) → C(y, z)) ≡
≡ ∃x∀y¬∀z(L(x, z) → C(y, z)) ≡
≡ ∃x∀y∃z¬(L(x, z) → C(y, z))
P5 $*$$ 0)#) #9 77 %$# 77 . $% 77 0 * 0*$#) /$ #' $#( %$( 30,
#0:(4 $ #&$ ## 0$$ # $#' 0#$
A$ 0- : * -$%$#5 #&$ -' /,
( 0/' $5' /
"#$$%& =-$%) 0 / $5,
9 8($:$) 0$& *% C& #&$ #$))
' #&$; 0*$ / ∃x∀y∃z(L(x, z) & ¬C(y, z))
=#5 $0 0$) x 0-$# :# .1)
# 00)#' y :# .1) #1 $ z :# :#' P$# 0$#(
1
2
1
Z$#5 77 W# 0:'
( L(x, z) C(y, z) 0$#$ %$*$. ###
3z $-#$# $ 00)# x4 32# zj$ # 0.$#5 #'
$ y4 A$ ($: #). 1' / 0 %$
#&$) %$*$# 32) $: 00)#) .## #'
$ #(' # 0.$#5 # 1 $-#4 $ 0))
/$ 8$5$) #&$ ?# ($:); %$*$# 3W.,
## #$ 00)# *# $ -( -( #' $ $ ?#
00)# #5 $-# *5 # 0.$#5 #4
! 8; =# 0/
8$; ∀xF (x) → ∃yG(x, y)D
8-; (¬∀xF (x, y) → ∃yG(y, z)) & ¬∃tH(t)D
8; ¬∃x(¬∀y∃zF (x, y, z) ∨ ¬∃xG(x, y, z))
8; -$%$#5 #&$) / 0*(1 %5#$# 9)
%$$* 0$# #) #$: 0)#) $$*( 0,
)#) #:# #' #:# :' /(
0:' 1#) $ %5 $#) @
/$ 0$# $%($#) 0
- %$. 1).1 0$#(1 #,
( 0$#$ $ 0$.$#) # 0: 8
$ %$#$; #:# #(' 0$# 8 $ %$#$;D /$ 0$# $%($#) + 0 - %$. 1).1 0$#(1 #( 0$#$ $ 0$.$#) : 0:
8 $ %$#$; #:# :(' 0$# 8 $ %$#$;
# 3 #$)4 #$# $ )%( *$# ,
05%#) $*(' # 3-.%$*$)4 8%9' %5#$,
# 0$ & (3$"%3I# "3 ;
F )).) (0' ## $%$#5 +
! @% 0' ) *# 8$; )$) /$ $,
5$) #' / $$ #$ # : ) (0(1 /D 8-; #&$ #' /(
(0 $ #&$ (0' #D 8; /$
H -' 0' x #$ #5 #$ #$ $
#$ /$ ∀xH #$ #5 #$ (0$ $
(0$ /$ ∃xH $$ $*$$ 0$#
=- #:# #( /$ 0:'
#( /( 0$# ($:$# + # 3$-# #(4 0:) #( %$,
# # # $' ( 0$#) 1). 1 0$#(
$ 8%$#$) #$) /$ #$#) 3$-,
# #(4 0: )%$#5 -( 0,
( $#$ -.#;
+$# #05 5 0#(1 0
F$ F (x) ∨ ¬F (x) #$ $ ,
%$##5 F 0%5( #( 0$# F %$# $#5
0' x 0%5 %$* x 0*#) # 8 %$$ * ##5; 0: F (x ) ∨ ¬F (x ) A$
-$% 0 - %$. $ F #( 0$#
$9$ /$ 0$.$#) #:# #(' 0$#
F$ ∀x(F (x) ∨ ¬F (x)) #$: #$ 8
%$*$ $ 0(.' #$& 0# 8;;
F$ ∀xF (x) → ∃xF (x) #$ # )
- 0$#$ F ) # 0: ∀xF (x) #
0: ∃xF (x) #$: # $ 0# #$ 0$&)
∀xF (x) → ∃xF (x) $ #$ #$ $ 0: ∀xF (x)
:
' F$ ∃y∀xF (x, y) → ∀x∃yF (x, y) #$
2'##5 F %$. 0%5( #( 0,
$# F ($:$. # -$ #9 # 0($
$9' 0$& #:$# *# -$# 0-(#) #9)
#) ?# )%$(' ?# #9 + ?#
-$# #0$) $ %$* *# ) $: ?#$ -$,
# #0$) .## -. ) ' )%$(' ?# -$# 0-(#) * % ## 0( (#$,
# ##5 %$*) # : ) 0 # %$*
0($ :# $%$#5) :'D #$ -# $0 F (x, y) 0$# 0(' $ :# $#$5(1 * %$*$,
.' x < y 8 (9 0 U $ U; =?# -$#$) 0$&)
∀x∃yF (x, y) → ∃y∀xF (x, y) ))#) #' $ $
(0$ $ 0$.$#) # 0: $0 *$ $ F (x, y) 0$# 0(' $ :# &(1
#&$#5(1 * %$*$.' 0,0: x < y 805
0($ ?# *$ :$;
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Z$#5 77 W# 0:'
F$ ∀x∃yF (x, y) #$: (0$ #$ Z#$#5 -#) ?# $# # : 0$#(
#( -( 05%$( 0(. 0
' F$ F (x) & ¬F (x) (0$ $ -( 0,
$# F ( %$# F 0$# F (x) & ¬F (x) -#
#:# : # ?#' /' (0$ /$
∃x(F (x) & ¬F (x)) 8 (9 0 ;
#$#) -$#5 *# $ $5 #$ 0
/( $ ,##5 $ (0#5 .##D
0: %5 #$ : $ ) $5# 8 (9;
! 8; =$%$#5 *# . /( #(
8$; ∀xF (x) ∨ ∀xG(x) → ∀x(F (x) ∨ G(x))D
8-; ∃x(F (x) & G(x)) → ∃xF (x) & ∃xG(x))D
8; ∃xG(x, x) → ∃y∃zG(y, z)
8; =$%$#5 *# 0$& -$#( /$ %$$* 8; (,
0( ))#) #(
8T; =$%$#5 *# . /( (0( ))#)
#(
8$; ∃xF (x, y) & ∃xF (y, x)D
8-; ∀xF (x, y) ∨ ∀xF (y, x)
8; =$%$#5 *# . /( (0(
8$; ∃x((F (x) → ¬F (x)) & (¬F (x) → F (x)))D
8-; ∃y∀xF (x, y) & ∀x∃y¬F (y, x)D
8; (G(x) → G(y)) & ∃xG(x) & ∃x¬G(x)
0
0
0
' ( #)
*
#
= 0$' 0##5' $-#( ( : #05
0'# %* #) $:' *# ))#) $'
%$$*' $9 $ ?#' .1 #1 $$1 ( - %$,
$#5) #$ $%($( + $:) #).
# *# % #(1 ) *# /$(1 #:'
8$%($(1 -(* + ; ()#) #$ : *# /,
$( #:) 8
; 0* ( )
# ( *# ( ( ## 0( #
( #$' : #0 : -(#5 ( ## #'
$- *#( 0 #(1 $:' # ,
:#5 $#$#* $%$#5#$ /$ 1 05%$) $,
*0($#) $#$#' 1#) $ ))#) #'
$' #' %$ #$ $:) 0%$#) $,
%$#5$) $ 2#( $:) #$)# #C
*$#5 )+/ $:' 05%(1 $$1 8$ ##(1
#$ $#$(1; 0$#*' )#5# # $ -,
$% #( $:) 30($#)4 $:) -
-. $ 0'# *5 $$1 T D $ '*$ $ $:#
%*#5 1 #
=$) #) .$) &5 0$ #) #(1 $,
:' -($ 0#$ . G## 8 ( 0%$) ' $ ; #* 1 *#$5 *# ?#$ #) *0($,
. -$% 0($# -. -( $:)D #$#*#5
NINLJKPF . 9 :
Z$#5 777 W# $:'
#(1 $:' -($ %$*$ 95 ) 0,
-%#5 & 6Y7$*$ 6Y77 8 : $ ; *( $*$ %$$#5 #$#*#5 $##' #
) 0$) $1 #(1 $:' ' // $#$# V'-& 8n>IIlNQS] oQMpSM\ qSQKRQr UUU; (,
0#) 3$5' 1$$##4 8gpJNJ!ISNQOIQ!J
LRQsSNOJMQO; $#$#%$' *' #( #$) $
-( :#5 #5 ) ##* 0$) $:' ) 1 0$#* (0) "#$ #$ :$ -($ #)#5
% %$ ###.1 () 0$ 0$) ?#
%$$ 0#(1 #$ -$% *# )' $% $ #$)
(5 ))#) # ' %$ 0' 0*$#) % %$$
#' 0 ?# 0$$ V'-& *#$ $ //(
# # *#-( 0#5 -# #5 3=*#$[4
W$ V'-& 0# $%#' /$5,*' ,
#( 0 ) (5 *(1 $*$$ $-#$#5 ?#
$0$ =( 5%( 01 $ ?# 0# -( %$
3$-( 4 # 00%&$5' *$# * )%(,
$ $# $ $ ( #( $-( 0( 0)5 0-$(1 $-#$1 G $$ 2:) -( $%#( ) 1
$#' #* #' 0( 676 G B (9$
$ F 8n>IIM>K tNSdS B; 3uSdNQllOO!pNQlI4 83=),
#'$) 05#54; 0%$ 3F5(' )%( *#
(9) 0#(' 0 -$%& $/#*4 0(
-($ 0#$ /$5$) *$) #$ #' #5
0:) 0#$)#) / 0- $#$#*
($:) 0$$ ($ #' % 0( 0#$,
)#) /$5(1 0$&' 0-(1 $#$#*
0# #$ #( #$ $%($#5 $ /$%$(' 0& ($ * F
1 1 *1 *)1 0$$91) $%(
$#$ $ 0#): 51 0.1 )##' -(
$ 01: $ # $ $ $ $:$# * $: #1 *$)1 $ 0# 9 # $%$#5# $0 $#$#* @ #5 T,1 66 ##) &
8nSNpJN] nSRIrSR BBB; 0# i " !
( " # $$ A) $%$#5#$ 00%&$5( 0$$ + $. # 0$ $5 0&$ # $,
:) $* ) 0&$ $%$#5#$
$#$#*'
*) 3,&4 #0$ 9 05%#)
$#). ) # *# #1* $0# -$$#
#( 0.#$ $ #$
0)# %$$#5 - $ *) ## ($ -
$ 0# & *) #$ : 19 81#) 3 0#4; 0($.
$5(' 0& $:) ( - # %: $ *) ## ($
%$* ?# $# #* -%$ -1 %$,
##5 *# $%# $#$#*' %$# #' %$,
*#5' 1)5 ) V'-&$ 0$$ $,
: $ %$ $:' (*) =: $,
:) )#) #( 8 : *$#5 7Y; $ /$%$,
& 3$#$#%$&4 0$#) #5 ?# 0 #
#( $:) #: # -(#5 /$%$( 0,
#5 *# $: $/# $#$5(1 * :,
/$#5 #:) )).) #( 0* ,
##5 1 : #$#5 0.5 $:' #( ),
' $#$# : 0%$#5 $#). $%$#5#$ 0
?# #$ *# $ 5,-5 3$%4 *
* %: 1 /$5(' ( % $ $/#
@ $& /$5( (( *%(*$' % 0?#
$: #1 0$1 #(1 /$%$&) $:' %:,
$ $ 1 0 #$#) - $)#5) #$#) $59 #5 # 81#) $:'9[; 1 $
0$#* $:$#5 $:(' : 0,0: *#5
0.5 -#' (
* ## ($ $ ) *
* 5 $# . +
-$#5
#0$) ?# #9) ## % *(1 :# /
9 : ? '!
%dY[PN jPXGIZK *2U1.*=>+& $
" 'k
*=+* 'k %lLZK akFNIX *=3U.*=4=& (
" ,
'k
( "
U
Z$#5 777 W# $:'
8# 0:'; $ -$#5 0-(#) 0# % / ($:,
3F$ ($ % :#$ / M 4 %$*$# *# /( 1). M 80(; #( # /$ #$:
#$ 0* ?# %5 $ $[ ##5 :
(# % ## 0( 0 0$$ *) 8#( -,
# $#( :; # 3F$ ($ % :#$
/ M 4 ( *$# - 0$#5 * M X :# M ## % ' /( % 1 /
( - #5 0# 3F$ ($ % /( 4
### 3% / 4 0$#5 ### , 8G$* - 0#0$#5 #$ $ M ## % #1 - / %$$ 1 0*; X M 0# ( #
∅ - 0$#5 0# W:$#5 (#5 /(
% 0# :#$ %$*$# *# $ #$ 0 ?# #,
#5 :# -(#5 $%$$ 0 0$$ *) 8-% $1 -( # -( 0(; F( (( % 0# :#$ ( -
$%($#5 + ?#' .' $$1 ( - $$#$#5 #5 300,
%&$5 *$#54 *) ## ($ %$#$$)
# 0$$ #( )%$( $#$ 8+$# ?#1
0$ ( #: $( ; =?# 3/$4 -#
%5 %$*$#5 / 0:' #05 ( - $,
$#$#5 /( #( $) 00%&$5( 0,
( # :$#5 #$: * #$# %$*$.
3:54 0- # $ /( ?#$' $-( $)√ 0( # :$#5 ( 0#)(1 * 2
#0 8 : -( -( 0##5 #$: #$# #1*
- 0$#5 # ¬;
$5'9 ( - -%$*$#5 /( #*( *,
-$ 0* #$$) -$ $ -# %$*$#5 /
A* 0$ 0&$ $:) %$*$# 0: () #1 ?#$(1 39$4 % #(1 $($#)
& $5 $'# 0#( )( / 0$ 0 ,
#( 0%)#) ?#$( 9$ $:)D ?# 0$,
$ :$# *) ## ($ W'*$ ( 0%$) 8#* # % 1 #( )%$( $,
#$;
$$ A) $%$#5#$ 00%&$5( 0$$ $ *$#5 #( 0$ *) ## ($ ,
#$)# / $:'
% 9# $#(1 $ $ *1 0$&' #*$,
# $ 0$$ 0$ ) 0$ $) $ ?#'
0$& $#).' $ ( - #5 #5 0$$
#*$. 00%&$5( )%$
=$$ ) $) $ -# - $0:#5 $
#-&$
; , & ; & 8 * ;D
& 8 * ;D
T; ∨ ; X M, M, ∨
# M, ∨ 8 * ;D
8 * ;D
; X M, # M → U; , → 8 ;D
8 ;D
; X M, # M ¬ ; , ¬ 8 ;D
8 ;
W$. ?# 0$$ -# -%$*$#5) _ 2 _2 @
_@ _
0$ ) $) * :# # )+/
B; 8 ; A
$. 2W;D
; ∨ ¬ 8 $. @A;D
; X ∈ M # M 8 +
$. A;
=* *# 05 -( , , -%$*$# +
/( 0$$ #$#) 0$( %$#5 ?#
-( -( -$ -. -( /$ $0,
$:$) % .1 (#' 0*$#) 0 0$ 2
∨ D & & ∨ D ∨ A : ) 1 (,
#' $%($(1 :
=) #05 :$#5(' ( /$(1 0$
$ : -( $%$ 0 ?# 0$$ 0%)#) 5*$'9
3?#$( 9$4 # $:)
Z$#5 777 W# $:'
=( # 0$$ $ #$: 0)# 9# $#5 0#( *#
05%)5 ( ?# 0$#* $ %$*$ $%$ $
#:) A B ( $ % ?# ( *# # #$:
#: 3A B4 8 C&;D -$# $%$
3A B4 ( $ ( *# # $: % #:' A
B 0 #5# 8$ C&;D $%$ 1#) -( ,
% #:' A B #$ (#) ##5 #:)
3A B4 8 %C&;D % A : (# B #
*#$#) $%$( #: 3X A # B4 8,
0$&;D -$# % ## #:) 0( (#) ##5 %$*) 8$ 0$&;
_$ %C& ?# 0 %#(' 0 $%$ 3$,
%$#5# $%- *$4 $',# #$& 80($'
:# 0:' M ; %:( $ *$) A B 8 -),
%$#5 %$*$.; $: % ?#1 *$ $#)
$%$#5 #: C # ?# #: : *#$#5 -.
$%$( ) $' #$& $0 ( $%$ *#
&( *$ -^59 $( -$$# #( ',
# $ %$# $%$ #$: *# ?# '# -$$# &(
*$ 59 $( # ( : *#$#5 $%$(
*# $( '# -$$# -. &( *$
#&$) ?# ## 0 $%$#5#$ #(' #$,
(1 *-$1 $#$# $%($) 80,
$#( !'#5 "& (' (J4#!'#$ ; 0# *# 80 M ;
#: A # ( 01 %$ : (
# ( : *#$#5 $%$( *# 80 M ; #:
A : 8# *# # #&$; "## 0 5$ *$#
05%#) #5 $#$# 1 $$1 80-
- ?# : $ T; $ #$: -(' :% X $,
0 )# 3W) *5 -( :54 $ ) #*$ 3A$
%) -($ -( $) 0# $ 1$) %$*# :) -(4 ) 05%5 0 0#
$()% = 0# # 9,
$#5 $%$#5# # 0# 0#$). -' -
" '# #
( # ; MFNLR mFQIQR %!
9"
: "
9
#
:
" ( & B " # $$ A) $%$#5#$ 00%&$5( 0$$ B
:(' 0- $:) 8 ( ( - #5 ,
.' $;
_$ #&$) ?# *# $ %$ 0#*) # ( : $$1 U
=$ 2$ W#$ $ 0(' %) $:#) *(
* 0(. 0$$ '##5# $: $,
# $ ## ( 0$# $ #,
-5 :$) 0$%$#5 *# -: :# #:)
# 3X ?# # ) #$'' 0$#4 05%#)
0$ 2$ W#$ @ ?# 0$$ #,
: *#$#) #( $ 0($ 0#$ 8 #
-$:) #( ( -$ $ 0 0$,
&D #$: : $#).' $ 0 ; $#$#*1
$:)1 0$ 2$ W#$ *$# 05%#) 0 $%$#5,
# $%- *$ $%($) *# 0 # M
0$ #: C ( $$#$ $%*( *$ 0 ?# $%($#) *# % 1 M #
8# % ?# *$ (#) %$$) :5; # ( *#$
*# ?# *$ C # 0 M $0 #:,
3 $$ (0 5$ :$# & #
4 8#* 3)$) #)) #*$ $$ (0 ,
5$ ))#) #' #*' ?# 5$4; #,
1#) #( (0( 5 8$ #5;
# $$' 8_ M ## %5 # *# $$#$,
$) #*$ ))#) #' #*' #' $$ $
5$; X. 0 05%$) 2W *#$ $%- *$ : ?#' $ 80 ;
P$ * ##5 %$$# # *1 0$
- #D $:)1 ( - #5 ,
.' $ $ ?#' - $$#$#5 #5 #$ (( #(1 05%#)
Z# $$#) 0$$ #$5' (# # ?# -#
* $ 0$ $. *# #1*
5 #1* $0# *5 - *#$#5 $: #:
(( % - :#$ #:'
# ,
:#) 8 *$## % $ -);
" !
% " '#&
B
Z$#5 777 W# $:'
=& ($ %-$:$#) * ## ($
0$#5# 9$ $0:(1 3 4
$ $ $ ()# #$ %-$: *9 )#5
- $ 0$1
=$: *# & & 2) ?# 0# . / 8 + ;
1 &
3 _
&
2 &
_
?#' / $:$) %#$5$) *#$ #*$# 9$
($ W$ # *#( %$0$ 9$$ 0$$ $. $,
%$ 0) $ ?# 9$ 0$$ $ *#' %$0$( /,
( #( ?# 0$ 0)#) 0 *#' /$ 0,
*$$) %5#$# 0) W$$) :)) /$ 8,
#$) #' # *#(; $%($#) $D $(
1 /( 8# #( # *#(; $%($#) 5 ?# /$ 0*$.$)) %5#$# $ (,
$ #5) 0( 8A* :# #5 $ #5 ,
:# 0( ($ 2 # *# :# #5 5
$(1 #5 #$ *$ 3*#$#) #5 $%4D #$ $# 0 :# #5 ## % ,
' /( & 1).' $:(;
$ 9$ $%$) 0$ ( %$0($ #5 $ -5,
9' )# 0&0 -% 1 : -'#5 $ 0$ 0,
)#) $ # 9$ $ : %$#5 0 /
#).1 $ 0 *#' $ $ :$# 0# #$ 0%),
. *$ $-# ($#5) $ ## ' 9$ $&)
9$ -$% %$*$# *# ( : 0%#5) %$$$ 0) # # : ,
#)#5 0) 9$ ## # *# 3:'4 9$ :
(0)#5 #5 0 # $ (0( 314 # #(1
%$# # # #( $0:( $ 3#)14 3$#.14 %
*#( #*$.' ?# 9$
$5'9 ( *$# *(1 *$)1 - 0$#5
$%$) 0$ $ $ $ 9$
$$ A) $%$#5#$ 00%&$5( 0$$ B
1 .1 0$1 ( %$ (#5 #
1# $%$#5 - $% $#5 ($ )).) $%$#5#
, → , → _@ →
→
_@
∨ 2 ¬( ∨ )
_
T 2W
& ∨ → , , 1 2 &
2 & ∨ → &∨
,
¬( ∨ ) 3
( & ) &
( & ) &
_
_@
_
& ( & )
T ( &&)&
_
4
_
&
7
& ( & )
W.' 0 0$%($# $ 3$-#$#4 0$ #$5,
' (#
, ∨ A
∨ 2
=( 0( 0$%($# *# 0# $ ($
: 0#$)#5 - $ 3-4 % 591 5 A$
1
2 &
_
5
( & ) &
6
0
9(: !
B
Z$#5 777 W# $:'
0$ #$)#) 8$ , 9$; % 1 5 )
& 0 #( 0#) *#$ $ 0 *#' %$0($#)
C&) 1 'D # % ?#1 5 80$; #$)#,
) #* #$ : -$% 8$ U, 9$; $ 0 8; 0*$#,
) 8$ , 9$; % 3?#$ $4 8 #( #
( & ) & #' *#' & ; 0 #( 0,
#) *#$ 0 *#' %$0($#) /$ 8A$ -$% (
0% 30(' $%-4 $D 0-( : -$% :
3$%-$#54 0$ 1#) #$' 3$%-4 -# - %;
=# 0(' (9 0*5 0$ : %$,
##5 *# #(1 % 1 *5 # 0# # *# % $1,
# / *#,# ( $ #(1 # *# % $1,#
/ *#,# ( *# # # $$),# $)
(#5 =$$ 0 #0$ ( - $%($#5 )+ 0$$ # #0$ + _(
))#) 0$$ _2
@ #$5( 0$$ -%(
0(1 1 0 0$1 05%$5 #5 -%,
( 0$$ $ '*$ ( %$') ( 2) * :$#H
#(1 $:)1 *$# 01#) #5 + , #( 0# #$)#) :( #$)#)
= :# :#5 $%$#5# $%- *$ $$#,
$) $:(' #5(' *$' ( 0$ 0. *# ?##
*$' # # $ $ *$ $%-$( ( -59 :$,
) ?#1 0.)1 A : 01# 0 $%$#5# 0,
0# *#-( $%$#5 *# # #: :
( 0$ $*$$ *# # $ $ #5 % ?#' 0#%(
0* 0#* $ #$)#) $& 0 $%$#5#
#:) ( 0$ *# 0($ #$ %
?# 0.) ( %$* $ %$# #$) 0,
. "# # 0$ $:) $ $% 0($#) $9
( 0$$ = 0 $: % ?#1 0$ #$,
)#) # 0. 0.) 8F) 0$$ (
-%$*$ #$)( 0.) *% 0$ _2 *% 0$$1 @ ; ($ 0.) ?# # /(
#( ))#) #5) =?# #$ 0.) :
C -C " ? " C %
" 2& , % U& , $$ A) $%$#5#$ 00%&$5( 0$$ BT
0#$)#5 - $ 3-(4 3)$4 #$D % $5'9
-# *# 3)$4 - #*(' -$%
= 3-4 -59 $ % 591 #( #5) ?#1
591 5 # 3)$#54D # #5) #( 3)#4 &$ -$%# :# 1(1 0( ($ # # :,
# M # ## $ # %$$ (# M $,
%($' 0.5 $ $D 3)94 #5) ?# 0,
:#*( 0.) :# *#5) *$## *# 3)#4 #5)D #$ ( 0* ( % 0# :#$ $* )
5 $ -# $%' /'
$5'9 ( - 0$#5 $ .
-% $(* $ #5) )$. &$ ($ - $%($#5
+ ###. $
=# #05 0 (1 0$ $ 0$1
= ?# ( - %$*$#5 )9 #5) $$#( -
$ ) - 0$#5 (1 -$1 9$$ $ # )
$(' # 80* $%$ ?# $ -)%$#5 $
( - 0$#5;
∨ ∨ [∨](3) 2 [∨](3) 2 ∨ _2
T
∨
8P5 0)#) _2 0#( M ;
→ [](2) A
→ @
8P5 0)#) @ 0#( M =* # %,
(1 #5D ?# %$*# *# /$ → $%$;
¬¬
[¬] (2) _
¬¬ 8P5 0 0 :# M ## % ' /( ;
B
Z$#5 777 W# $:'
! W$ 0$ B 0 T ## ,
.# $%* : 0$$ 2W # 0,
)#) *$ $ ($ #$#$ 0 0 % %(1 #5 $ )$# #$ $ 0 0 2W
%( #5) #$#) %(
→ [](2) A
→ @
¬
→
[](3) ¬ _
2W
T → @
∨ , ¬
[](4) ¬ _
2W
( ∨ ) ∨
[](4)
T [](4) ¬
A
∨ ( ∨ )
∨
_2
∨[4]
[ ∨](7)
∨ ( ∨ ) T ∨ ( ∨ ) [ ∨ ](7)
U ∨ ( ∨ )
∨ ( ∨ )
∨ ( ∨ )
8P5 $:( 0)#) _2 0#( M ;
→ , ¬ ¬
[](3)
→
¬
T ¬
( ∨ ) ∨
$$ A) $%$#5#$ 00%&$5( 0$$ B
→ ¬ → ¬
2 ($ 0*$#) %5 % $ 0(. 0$ ,
-$ 9$$ $ # 0)#) @
F$ ¬ ($ % - :#$ /
$ M 0%5 :# / # 0 0$
A M, $ #$ 0 0$ # *# M ¬
*$## $*# M : %)#5 0# :# #$ *#
/$ ¬ $%$
! # -#5) *# /$ #$ #5
#$ ($ % /( $ $%$ 0$&) → $ # 80 0$ @; → D ' #(
0$&) → $%$ # /$
AA
∆
A → _@
∆ ($ /( → % 0# :#$ 8 ,
. %(1 #5; -# * ($ /( %
/( Z#-( *9 0)#5 # 5 ($ : $*#5)
1#) -( :(1 *$)1 ##5 1 $#)#5 = ?#
0% 0)#5 $ . 0#( -$:)
,0(1 1(1 0( % #(1 $ $:#
*# (# 8# #1 / #( :( -(#5 #5) ,
$; #5 /$ )).$)) C&' $1,- 1 /
# $ 0#) 5 $% 0#5 ?#'
/ 0$ $) C&D $$* ) #$5(1
00%&$5(1 )% A$ 0$ 8#';
1' / & $:( 0)#) _D 0$ 1' / ( & ) & # : 0$ 0)#) #:(D
5)1 0 1( /$ 0)#) _@ 5)1 0 T B _ 5)1 0 T _2 5)1 0 _@ _ 0$ _ _2
A : $ -# /$ )).$)) $0 C,
&' 0*#) $ % 0:#*(1 9$ ($ #$$)
/$ 0)#) $*# 0:#* 0.) ?# C,
& 0#) 0# $#5 A$ -## BU
Z$#5 777 W# $:'
0 8 $)#) C&) & ; 0 T 8 $,
)#) %C&) ∨ ;
,#(1 /$ #$) :$ -(#5 0#$),
# -' C& # 0*#5 ( :( - 0.5 0$$ ) C& $$* ) #$5(1
00%&$5(1 )% A$ 5)1 0 $ 3$
:4 9$ 0)#) 5)1 0 U T 2 5)1 0 @ 5)1 0 B A : ) ' 3*$#*(1 54 8 1#) -( 0 $ 9$ 0)#) $ 9$ 2;
,##51 ( 1# *# (# % %C& 0.5
0$$ _2 ( :( $*$$ (# ?# % $: *$ #5# 8 0( T;
,*##(1 /$ # : (# :# 3,
4 1). #$ 1(1 0( # 5$ )# *#
0#) 0#5 2W 8- *$ $ ?# 34 $1,
)#) # %C& *# -( $#5 $: 05%$#5)
0$ 2; A$ -## 0$1 T A : ##)
) 3*$#*(1 54 8 0 ; @$ 0* 0-(1 *$)1 $-#$# 0$ A 8 0 ;
=5%)5 ?# -$:) : 0(#$#5) $#5 5)
($ 1 % % 1 00 # $0$
A05 *#$# #) 0: * 0:$#5 *# ,
$%$#5 80# 5; . (#
8; & ∨ D
8; & , & & D
8T; , , ¬( & ) → D
8; , , ¬ , & → D
8; , , ¬ , → D
8U; & ( & ) ( & ) & D
8; → , → → D
8
; → ( → ) → ( → )D
8B; → ( → ) & → D
8; & → → ( → )D
8; → , → & → & D
8; ∨ ( ∨ ) ( ∨ ) ∨ D
8T; → , → ¬ ¬D
8; ( → ) & ( → ) ∨ → D
8; ( ∨ ) & ( → ) ∨ 1
1
2
2
1
2
1
2
$$ A) $%$#5#$ 00%&$5( 0$$ B
-$#) #05 :$#5 ( $#(1
0 $:$) % 0*(1 $ (#' 0#$)#
-' .# # 30$ $:)4 ?# 0$,
$ $9 * 0##) $ ( 0$$
0*( (9 80# T; $ ()#) % (1 0$
=?# 1 $%($# + W 0%(1
0$ #5 *5 0#( 0#$).) *( $: -%
) -$) #$( 0$$ 0 $%9$.
0#$)#5 *( C& %C& -
:( $# /$5 0$ #1 (1 0$,
5(1 0- $:) #( % ?#1 0- 0 #
( 0*$ 0#$)# -(' # - 1 (
## $%$#5 #5 A$ (# 0 %$,
*$# *# 0$&) #$ :$ 0($ #
%$* (#5 0$ *# %C&) #,
$ # % :# *$ # ##5 (#5 0$ ?# 0$ %# #$&'
0 $%$ \>]LO I>MMSRO 83#&$#5(' 0-4; # 0: # % :# %$*) #
:#5 0( #( (# 99 #5 *#
/$ %$$ #$: ))#) $:( *$# 05%,
( 0$$ (#5 8; ($:$# #$ $%($ 30$
#$%## 0$&4 8
; 30$ 0#$ 0(4
8B; 30$ ) 0(4 8; 30$ $%C)
0(4
%$* $( %$') 0 )% : 0)#)
(# $%' /( ' #( %*$9)
$ U 0)#) $5# #:# #' /,
( '
=: 0$) $ $*$ ?#' $( 80# ; 0,
) 0 $%' /( 8$%#5 /(
%$*$# *# $ #$ 0 ?# ##5 :# -(#5 $,
%$$ 0 0$$ *) -% $1 -( # -( 0(; (
: :$#5 *# )* 0)# $%# 0$$# 0,
)# #:#' ## @ ?# '##5 #$ /$
0:' $%$ * ## ($ #,
$ #5 #$ $ $ #:# #$ "# #:
$%($#) #' 0# *) 0:'D $%$,
#5# : $'# $1 $#$#*' B
Z$#5 777 W# $:'
@% #( 0# (#$# *$## *# $$#$
$ * :# .#$#5 #$' /,
( *#-( $ #&$ -( $%( ?# *
$ #$ *$ $$ /$ #&$ -( -(
#:# #( $ ?# * %:
Z#-( ()#5 *# #*$# $9 * 0)# $,
5# . 0 /( $%($#)
7
+ $:$) % 1 ($ % ,
' 2# ?$#( ))#) $0 /( & & 8 0 D ) *# 0 / : (# %
#' #* #$ : $ # % 0' 05 *% (
-%$*$ + /(; ∨ ∨ 80 ; ( & ) &
& ( & ) 80 (#5 8U; % %$$) 0# U;
( ∨ ) ∨ ∨ ( ∨ ) 80 T (#5 8; % # : %$,
$); 1 ?#1 0$$1 1). 1 /( $5(
A$ -## -. *$ /( 0:'
# ?$#( *
## ($ #$ #5 #$ $ $5(
*$## ) $:' % (1 $5#' 0(1
$ U : (# *$#5 % 0$' -$# 2)
1 $5#' ($:$.1 #$##5 C& %C& ( ?# : $ ) $5#' ($:$.1
$&$##5 #1 : 0$&' $ # ?#
$#) $$* = . (( #*$. #-#,
# C& 0 #9 %C&
& ( ∨ ) & ∨ & & (∨ ) _ [](8) & (∨ ) _ [ ](8)
& ( ∨ )
U &&∨ & 2
∨ _
T &&∨ & 2
_2
&∨&
& ∨ & & ( ∨ )
5
" ( ) " "
M " " M " %$
" " # 6&
$$ B ##( ##( ((
B
[ & ](9)
[ &](9)
T ∨
& ( ∨ )
[ & ](9)
& ( ∨ )
U [ & ](9)
∨
& ( ∨ )
BB
&∨&
( : #$ -$% (#5 % $ ( 0$( *$# 0(1 0)# (1 $5#' 00( 7 8
0# T $( U; 2) #$5(1 #1 $5#' ?#' 00(
*#$#5 :# 00-$#5 0##5 ###. (( $
8) 7 7 ?# 0# $ ) 7 #1* 5 : 0,
&0$5(1 ##' %5 #; # 0##5 #$ ((
) $5#' 00( 7Y 8 0# $( UD ( R F
: %$#5 0 ?# $ ¬ ; ) 0#) (
#*$.1 $5#) 00 77 777 ) *$ :(
0&0$5 ( #$ $# #(1 ( -$#)
.' $
7
8
6
+ ,
-
-
0(.' $ ( 09 %* *1 0$,
&' -$%.1) 1 0.5 3:(1 0:'4 '
#* %) #*$.') # #' #' ( $$#$ 1 $$1 U #$ ( #$5 #5 1$$# %$,
# ## %$*) : 0:) # ##(1
%$*' *$#' $ #05 $ %$$# - #(' 0 ( 00$$ *# # : 0: # $
-#5) *# ?# '##5 #$H @$* ) ( %$$)
0 - ) %5#$# *1 0$&' ?## ,
0 0$# $ $%(1 0$) % #(1 # #
( 0:$5 $$1 U $%($# -(* $ + +$%* : 0))#) #1
*$)1 $ 1( 30#( 0:)4 0($# *(
/$#( $* ### #(1 0 # ( 0*$ )
$ * :# -(#5 0 "# # -(#5 $0
#:) &(1 #&$#5(1 *$1 $ a + b = c a · b = c
a b c + 82 + 3 = 5 2 · 2 = 4 1 + 0 = 1 #0; #(1 #*1 $/*1 $#*1 /$#$1
Z$#5 777 W# $:'
83$#) -($ %)#$ ) B $4 3$ 0$$# $0',
4 3V$ 0# P4;
-C) $%*) : $* ##( 0,
$ *1 0$&' - $*$#5 0$& 0#$,
$#$ .#$) # %5 ?# $%* 0))#)
$- #*# =#5 F (x) 8#('; 0$# 0,
(' $ # :# M A$ 0 $* 0$
0: ∃xF (x) *#$#) -$( $ $,- 0,
- $5 -#5) *# :# M #) ?# -$$,
.' '# F 0* #-#) *#-( #$' ?# -( )
$%$ $* ) ( -)%$( #5 0# 0 ?,
#$ -$$. $( '# = ## 0$
$0# 0: ∃xF (x) *#$#) -$( 95 #
*$ $ ( : $%$#5 :# M ?# -$$.'
'# F %5 $0 #: 3`W 0 @a ))#)
0( 0$)# ' #$#(4 8$ $0$ 6Y777 $ *#$ #( #; $5 *,
. #: 3W.#$ 0 `W,
$ 0 @a4 8W( $ 34 ) $9' & #*)#5
-)%$#5; .) $%$#5#$ ?# #:)
5 -( -#5( -( ##( ##(
$%$#5# -($ -( #5 $1$ ' 0
2' 0 % -.1 '# * #* % -.1
'# 0((1 /&' # *# ) $ $
f (x) = 0 f (x) * *#' #0 '##5(,
?//&#$ # 1#) -( '##5(' 5D *$## ?# ) $) 4x − x + 7x − 5x − 3x − 2 = 0
#$ $%$#5# .#$) ) $ $)
5
4
3
2
/ %& " 9: 9
: " 9n . S: # C"
) " # "
9: " #A
C " 9
: !
) " 9
E
: E
!
9
: (
% &
$$ B ##( ##( ((
## 0%)# $ $%$#5 $ #,
) X : ( %$# *# $) *$#5 $9 $)
-$.$#) 5 0 0#$ # 0' x *$ (
# $( 0* ## $%$#5#
=' #05 %C& = $* 0$ $
*#$#) -$' ( -( 0- -) *# 1#)
-( % * # $* ) *# # -$
-(#5 :(D $' * # ( %$#5 -)%$( - # )1 $5' *' $&
0: 3A B4 0#-)#) #5 #$ $ ).
%#( ##( %$*) 0:' A B # : )
0 ## 0$ %C&) *#$#) -$'
95 0 *# 1#) -( % * ( -,
$#5 8X###5 #$ 0$) #$# - *'
0#5 *# 0$&) %C& ))#) 0 # $ *$#,
( *$ 0$& 0#$ $#$ .#$) ,
:# $ # 0 0$# F ## % 1 ?#
a b # ∃xF (x) %$*$# # : *# F (a) ∨ F (b);
=#5 $0 1 $$) # 0#0)
0: #$ *# # 9) $ #
0#0) $15 $ *$ $% 1 G -59
#$ -( A$ : *#$#5 -$' %C&
#:' 3=#0 9 G4 3=#0 ,
9 4 $ ?# -$ ## G ) #
*#-( %$)#5 $,# :#5 #-#) * 0* $
& /$&% )%( #-*$) ) 0?%$,
$ $: % 51 $$# 0 % ?#1 )%(
#$$ *# $# # %C&) 32$(' $$#
$# & /$&% )%(4 ))#) ) $: %
1 ## -$'
+$# $ 0$& 0#$ $#$ -.# =
$* 0$ 0: ∀xF (x) F (x) 8#,
('; 0$# 0(' $ # :# M *#$#)
-$( ( -( 0- -#5) *# ?,
#( :#$ M -$$# '# F 80* ?## 0- :#
-(#5 ( $0 $ $5 0# 0# 0#%
*# :# M #) ?# -$$.' '# F ; =
## : 0$ ?# 0: *#$#) -$,
( 95 #$ $ $ #) )(' 0- 8$#;
Z$#5 777 W# $:'
0%).' ) - %$$ ?#$ a :#$ M -,
$#5 0: F (a) 80* ) $: % ?#1 0:'
-$ #$: : -(#5 ##(;
$0 0)# (9 -$ #:) 3)
$ $ f (x) = 0 f (x) * *#' #0 '##5( ?//&#$ # 1#) -( '##5,
(' 54 (#$. % -.1 '# 0((1 /&'
))#) ##(D #: 3) $ $
ax = b a b '##5(S *$ a = 0 # '##5('
54 -$#5 ## $# 0%).'
## -$#5 ###. #: ) -
$) #$ $ $* ) $'# 5 ?#
$) ## 0# # *#-( $%#5 b $ a = %
' -$# #: 3 99 $ *
#1 /$(4 ))#) ## -$( 0,
5 ) $: # 0%) : 0#,
-#5) *# # / 8 ?# ## $ *$
3)(' 0-4;D #: 3 * #1 -(
/$(4 ## -$) # 1#) 0$# #$: # $#)D 0#:$#) 95
( $ % #(1 8 #(; :#
0$#5 0(. #:)
-$#95 #05 C& ( $% *# 05
$ )%$$ $# -.# #$ : $ %C&) $,
# .#$) 8 :# $ # 0 0,
$# F ## % 1 ?# a b # ∀xF (x) %$*$# # :
*# F (a) & F (b); 0 $* 0$ C&) :$
*#$#5) -$' ( $,- 0- 8%: ,
(; -) *# #( -$ *$ $ 0 ## 95 #$ $ $:(' % 1 ( -$#5 X $0,
#: *# @$ $# & /$&% )%($
($%$ $ $ -#(1 ?%$ 0 $: % ?#1
)%( # : *#$#5 ## -$( #,-5 #$# -($#5 # : #: ) *# $*
@$ -( 00$$#5 -$ ?# )%($ $ 1 00$# # #$
-$ -# ##(
@0$&) 0 $* 0$ *#$#) -$'
( $ 0- -) *# *$ ##
0( %$* #$: # $ 0 ## 95
$$ B ##( ##( ((
T
#$ $ $ #) )(' 0- 8$#; 0%).'
0 - -$ 0( 0##5 -$ %$*)
2) 0$ $# . $%$#5# #:)
32 0)( ### 00)( 0$.,
) 0)( #$: 0$#)4 80 *- #
G=$;
w
A A
A
A
i
t
u
g
v n
=#5 F E F G 8 *#:; 0$.) 0)( $ 0)( AB CD 00)( A$ 0##5 0# # *# AB
CD 0$$5( # 0)$) F G -* 00)$ ' %
0$$5(1 0)(1 8 CD; -($ -( 00)$ '
8 AB; #$ *# % ' #* F 0)' AB -( -( 0( $
$%*(1 00)$ F E F G *# %:
"# 0 # $%$#5# #:) 8,
0$&; 3X 0)( F E F G 0$#) $ 0)( AB CD
00)( # AB CD #$: 0$#)4 ?# ,
$%$#5# ## $# $ 0-$ #('
0%) -( $%$$ #*$ 0*) F E F G $%$#5 #*
0*) AB CD
%5 #05 $/#* #: 3X & *
#) $ U # #) $ T4 # 0- $%$#5#
=#5 & * n #) $ U # :# -(#5 0#$ 0%) *$ U $ # & * k A$ 05
6 = 3 · 2 * n 0#$)#) #$: 0%) *$ T
$ # & * $ $ 2k $ ?# %$*# *# n
#) $ T "# $%$#5# ## # $# $#
0%).' ) $: & *$ n 0 -$ #:,
) 3n #) $ U4 0##5 -$ #:) 3n #)
$ T4 $ -$ 0 #:) : -(#5
$%$ *$ k # 0 : $ U $# n -$
# $%$ *$ l # $# n 0 : $ T G,
# #) 0$ 3Z#-( 0*#5 l :5 k $ 4
Z$#5 777 W# $:'
Z# : $$#) #&$) # %5 $%* : $*
##( 0$ #### #&$#5 0:,
3_#: A 4 -' #* %) ## *,
#$#5 -$( # *$ $ 0# 30:#54
#: A 0* 0- 0:) # %$*)
=# #05 $ % $#(1 0(.' $
0$ *) ## ($ $#) ##,
( 0$ *1 0$&'
=: $% *# $#) %$ ,
* ##5 $ ?# %$$ #$ )$)
%C&) $ A ∨ ¬A A 0%5 0:D 0
## 0$ ( 0$ *#$#5 #$ %C,
& -$' 95 # *$ $ : -$#5 - A
- ¬A $* ) - $%$#5 0: A -
0#5
#$5( 0$$ 0 ## 0$ *1
0$&' 1$)# #* ?# %$*$# . # / : (# % :#$ / M 0,
.5 0$ 0*(1 0# T $( -% 0)
%$$ * ##5 0 ?# /( 1). M ## -$( # / #$: : *#$#5 ,
## -$'
# 6!) $ !) " = %
! !&
$ '/ M
&
! > ! %4)3 .
" 5 %) ) !&
M
! !& " " %!! % ! " # ! $ ' 6)
6& " " % ! ' %!) ) .'/
!& ' 6 )" #$ ) 34! &'!8
+ #! % ! ) 7A" C
?
)
& "
M
! !& : ?
! = ! %! ! N31!! &
! ! !& ! 6 ! ! 6 ) "
6+ #! % ! ) MA" C
& ?
)
!!
N31!! ! "
M
= !& ! !& ?
! %! !
! 6 $ ! 6!: "
+ #! % ! ) 72" C
!!
?
)
∨ "
M
! !& ?
= ! %! ! !&N31!!
$$ B ##( ##( ((
! ! ! 6 ) !&
! 6 ! "
+ #! % ! ) M5" C
!
→ ?
)
"
! !& : ?
M
= ! 6 ) !%!
1!! & !! %6
% !
6 !3 %! %!) ! 6 ! & 3!"
#$ ! % !! 6 !! ?
→ ! 6 ) ! ?
+ #! % ! ) M(" C
¬
?
)
M
"
! !& : ?
!
!
" #$ & '! .D!
? :4! M
! 6 ?
' ' ! ) ! 6 / % ! !! )
6 & > ! '! %!8 ) ?
!
¬
6
6) 6 *! ! ! !!+"
+ @ ! 6 & ' ' ) ! %! % !
) 28 $ M
! !& ?
3 !
&' 6 )"
'+ D! %! % ! ) C7 ?
M
:! '
! & '! ! % !"
B ! %) / S
! !&
%4)3 .:$ '
M
* %! : F !& %4 +"
$ !)" D! %! $ M
> ' &:
% " " .!' $ '/ %! !6 !& 6&: % ! * %! : F + ?
% !
4 % !' % %4)3 $
!& ? 4!: % ? ! 6 % $ ' :! M
' !& $!:
!6 & !) : * ?
→
%! F+" @ 3
M
!6
' & 3!) ' ' .$ '/ !
43 % ?
' ! ) ! 6 "
D! ' .:$ '/ .!' $ '/ %!
% ! !3 ! &'!8
&+ , % ! ) 75 * %! : ! +" C
$ '/ ! *! + ?
: 34
! !& &: !) )
M"
(3
)
% %4 %! !! ! 6 ! : ? :4!: 6 !
.!'
$ '
' %!) !
! & ! ! 6 M
!& !
" @ $ &
→ '!
6 !
!%! 1!
:$ ' "
!+ # ! %! C
.!' $ '/ ) 7( * %! +"
.!' $ '/ ! ?
34 U
Z$#5 777 W# $:'
$ ' ) : ! !& &: !) )
M"
(3
6
!&
6
%!! ! 6 & !
6 %!) & !
& & ! %: ?
? ' '
> ! &'" #$ !
? :4! M %!! 3 & ! ?
! ?
M
*" %4 +
%!! & !
? !&
M
" @ $ & ! ! 6 ) ?
6 % " = %'! $
? & ! 6 ! ?
¬
'!
:$ ' "
+ # ! %! C
.!' $ '/ ) M2 * %! +"
.!' $ '/ ' & %! % " (
! !& &: !) )
M
! ' & $ '
> $ ' !) )
!& : .:!:/
?
%! ) : ) :
! !& &:
M"
# %4 3
%! !! ! 6 ! : ?
:4!: !
M !& ! 6
' %!)
!
!! !& ! 6
! 6 !
" )
%! ' !! ' %!) ! !& ! 6 !
!&N31!!
M
∨ ' & %! % )
! ∨ ) " *7 %! '
! )
>
"+
2 ' ' ' ) :$ ' * %! : I J F J !& %4 + !)
&!! %) !' ! : 6 :
$ ' >
:$ ': ) ' ? ' "
P ! ' 6 & ' ) :$ ' ! " "
(( #(1 05%#) %$ * #,
#5 # # #( $#) ##( 0$
*1 0$&' $%($#) + + (( 0( 0(.' $ -( ##(
+$# #05 0 ## ($ 8 ,
##( 0( ( - #*$#5 %%*$;
* ¬¬ ¬¬
[](5)
¬¬ [¬](5) _
∨ ¬ @A
A
T 2W
_2
$$ B ##( ##( ((
) #05 ' % (1 $5#' 0,
:' $#(1 U $5# 77 # ( $,
%$ #$ 30$ )#) ' #&$)4 ( 0$%$ ',
*$ *# *$#5 : (# * ##
($ % 0$' +$ 8$$ 0 B; ( *# -$# 0$ *$#5 : (# % ' = 01 #
$5# (#) ## $%$#5 # % 1 #$) #$$ #5
*# $ ' 0'# $%$ D 05 ( #$ - 1 $%($#5
##(' 1$$# 0$$ )#) ' #&$)
* )#5 - $ 0 *$) $ #5 #:
.#$ -C#$ # ( '#$ = ,
## 0$ #$ #: *#$#) -$(
95 #$ $ $%$ #(' 0 -C#$ :(
'#$D $ ' #&$ %$*$# #5 # *# 0,
# #: .#$ #$ -C#$ #$
0: -)%$#5 $# %:#5 0##5 0
8 # : ) 0# 0$ $ 0 - :# 0:
#:) .#$ : -C#$D ?# ##
( ### 0$$ 0#$ ' #&$);
$ 0$ )#) ' #&$) $ ## . :$) $%$#5 #: A
( 0$ 0#% *# $* ) *# #
#&$ 0(#$) 0# ?# 0#% 0# # (,
# % $ 0#0:(1 #:) $:
B 3 B 4 X ?# $5 # ( : %$*#5 05%)5
0$ ) #&$) *# 0#%$ $ # *# 0$,
#: 3 *# A 4 #$ 0 0$
)#) ' #&$) # *# A # A$ -$%
$%$#5# # 0# : * 0 0#
#* # ## = 0# (
95 0$ # 0#% $ # 0# $%($#)
30:#54 #:
$#$#*1 $:)1 $%$#5#$ # 0# ,
05%#) 5$ *$#D 0 :# :#5 0 (9
1
C B A - " 9 B : % . &
Z$#5 777 W# $:'
$%$#5# #:) 32 0)( ### 00,
)( 0$.) 0)( #$: 0$#)4 $#$# 01#) #5 ?# 0 $%$,
#5#$ $0 .) $%$#5#$ 0# 3W,
$ 0 @4 #5 $%$#5#$ # 0#D # : :
$%$#5 $ - 1 ((1 $%$#5#$1 #:)
*# 3@$$4 3)4 0%) $#$ 8%$
# #0 1 -#5#; Z#$#5 :# $'# 0-( 0(
W# 0* #5 *# (1 *-$1 $,
#$# 3$%$#5# # 0#4 )# #1
*$)1 $ '##5# 05%#) 95 0
0# "# -($# *$)1 $ $%($#) #&$#5
#: A$ $0 $%$#5# 0$9) (9
#:) *# % ' #* 5%) 0# -59 0,
0)$ ' #' : 0)'
$#$( #* 1 $*# 0-) ) %*)
* )%($ 05%$) - 0 00($91) :,
9 Y7 ? F$$ #$ &' $ G$$#$
UBU $'' / +# 8xQ!pJN] uSRIMSy UU;
$%$ 0#5 ?#1 0 0) ) $# %
#(1 -( 0$ 1 $(1 - 0%
) Z# 0#$)# -' ?## $# $%$#5# # 0,
# 0 0#H
W. *#( (# #*$# %$$ 2
¬ & ¬ ¬( ∨ )
¬( ∨ ) ¬ & ¬
¬ ∨ ¬ ¬( & )
* ¬( & ) ¬ ∨ ¬
$$
=( # (# ( $: 0 0#
¬ ¬&¬ _
[](5)
_ T ¬ &¬¬ _
[](5)
U ¬(∨ ) _
[ ∨ ](6)
_2
$$ B ##( ##( ((
[](3)
∨
T ¬
¬( ∨ )
[](6)
∨
¬ & ¬
[ &](3) [¬](7)
T ¬(& )
U ¬
B
¬( ∨ )
[ &](6) [¬](7)
U ¬(& )
¬( & )
¬ ∨ ¬
W:$#5(' ( ?#1 ( 0)# $0 ()
% ¬ ∨ ¬ ( $$#$ $ *$) ¬ ¬ $:
% 1 0 0#* 8# 0#; 0#% & -$#(' ( 8$%$#5# (# 0$ ; ( #$:
0 $%- *$ #05 ?# -# *$ ¬ )
$%-$ #(1 -1 %$ * ##5 *$ ( . 0:#* 0#% # : .,
) 0#%( ¬( & ) 8$); 80:#*$); 0%)# 0# 0# # $%$#5 ¬ #$ : $% (#)
¬ ∨ ¬ *$ ¬ ( %C& ¬ ∨ ¬ * F$5('
( ()# #$
¬( & )
[](3) & [](7) ¬( & )
¬T ¬∨¬
[¬¬](7)
∨ ¬
¬ ∨ ¬
U ∨ ¬
@#$ 3# *##4 %$ 2 $$ $#) $%$#5 ,
## ###5 0' 3*##4 %$*$# *#
( 0#5 C& & #$ . (#$,
# *# ( 0#5 % * =# ?#
. 0 -%$* *% 0: 3) *#
Z$#5 777 W# $:'
* -59 1 : 0#$#5 ( 1 0#(1
*4 *% 0: 3W.## *# * -59 1
# 5%) 0#$#5 ( 1 0#(1 *4 =,
: ?# %$#$) 0#%$ 5-$1$"'$ %9$) 1 00 : ) $#$#$ V$ "',
<#$ 5-$1 1 0 #) $ 0## /,
$%$$) 0#$) =5 0:
$5 ¬ C&) & 0$#) *( -$,
% 0: % * -( -( $%$#5#
# #5 9 %$$* # : $ 0' ##) 0$.') $#'*( ) $#$#[
W. 9#5 (#' #*$# ( $5,
#) 00( 777 % ¬ ∨ → * → ¬ ∨ * ¬( & ¬) → → ¬( & ¬)
→ ¬ → ¬ 8%$ #$0%&;
* ¬ → ¬ → 8-$#(' %$ #$0%&;
25 ($ ) ?#1 0 ( - (0($#5D $,
*) $%$) 0 #( # 1 0##5 0 U
#$#* (# % ¬ ∨ 8*#-( : -( 05%$#5)
0$ @; $ ?# $#5 $%- *$ 0 0$$) *$#5 *( -$% (#) % ' -$
' % 0#% ¬D $ 05%) 0$ @A 0 #$#* % ¬( & ¬) (# D 0$) 0#% ¬ %
% (^ & ¬ *# $# 0#*D 0?# ¬( & ¬)
¬¬ (#5 0$ B $%$#5 0 ,
0# 0 #$#* (# ¬ % → ¬ $ ?# :
$#5 0) 0# 0#% #*# #$ : % ¬ → ¬
(#) ¬¬D #$ 05%)5 0$ )#) ' #,
&$) 0$& 0*$ (#5 0$ ###5 0$ %$*$# *# $ #5 ,
)(' 0- 0 ) -$ 0( 0$& 0#,
#5 -$ %$*) #$ . # *# ( 0#5 0( -$#5 %$* X ( $0
-%$* *% 0: 3`@$$a `)a 0%)
$$ B ##( ##( ((
$#$4 $ *% C& 0:' 3`@$$a 0,
% $#$ 8$ 51 1;4 3`)a 0% $#$4 # % #$5( -$% # 1#) 0#5 -$#5 ( W ' #( ( $%$ *# #&$ #
-(#5 #( ?# . $# $ 0-$ 0 ),
## -$ ##5 ## -$,
D ?# ( ### 0$ = :#
:#5 0 (9 $%$#5# #:) 32 0),
( ### 00)( 0$.) 0),
( #$: 0$#)4 F$#* #$ -( $%$ *# ,
# -(#5 #( 0: = 3=)( F E F G 0$#) $ 0)( AB CD 00)(4 #&$,
0:) = 3=)( AB CD 0$#)4D #$ 0*$#) $ 0-$ #(' 0%) -( $%$$ #*$
0*) F E F G $%$#5 #* 0*) AB CD
$& ( ### 0$ ## # *#
( $0$$ 0- 0 ) 0: 0:,
) ##5 0: 0:) ?# . $# 0-$
0 ) ## -$ ##5 ##
-$ = 05 3P$.4 ' 0,
# ' -# T
: -$:#5 )( (
)) 3W$ 0 @4 % ) 0:) 0,
# 3W$4 0*$5 -( 0: 0#
3P$.(4 # $%#) $ 0-$ 0%)9 -(
0C)#5 05 3W$4
)' $% $ 0C)$
)) 05 3P$.(4
! =$:# *# ## $$# *)
## ($ # # . (#
8$; ¬¬¬ ¬ 830$ )#) #' #&$)4;D
8-; ¬¬( ∨ ¬) z> =# 0# / ¬( ∨ ¬)
05%$95 (#5 0$ T{D
8; ¬¬ =0-'# $#5 :$#5 #$ ?#1 /$#
D! ! % ! !!! & !) % ! 5C % ! ! !1 ! % !!!!
n " !
" 9S(: 9,:
Z$#5 777 W# $:'
' ! & !3 ) %!& % ! " 2 $ ! ! % ) !!
!! 6& !%)& ! 5C ?
¬¬( ∨ ¬)
$ ) *"
% *6+ ) ?! & !+" 9 ' & ) ! 6 & % ! ! !1 ! !) & !3 )" 9' % & ) ' ' !) !! %! ! " 7 8 !& !!
→ ¬ ∨ → > & ? *" !& ¬ ∨ ! ∨ ¬ *" ' %!
+< !& !! %! % ¬(¬¬ & ¬) ¬¬ → 3 %!) % ! ! !1 ! " " ¬(¬¬ & ¬) >
%!
% %4 %! +
& ?
%!
* ! ) 6! +< !& !
' %! % ! ! !1 ! ! & !) !)
¬ ∨ ¬¬"
¬¬
!
"
R !! %!
& 6 & !3 )8
7 ' & !) !& !&' 4 4 & !3 ) & !! ): % ! !
!! " " ' 6) !& !: %!& % ! : ! )" , ? ' & ) ! &'! &)
%!!"
. ( #)
?#' $ ( $# * ## ($ 3
0 -C4 -$ 0$$ ) $) $,
# W 3/$4 -# #05 %$*$#5 / 0,
$# #* # $( ( - $$#$#5 /(
#( $) 0$#( $ # :$#5 #$:
* #$# 3#$(4 0$$ $$#$9) $$1 B 0)#) /$ 0$# #* #$ :
$ /$ 0:' # 5) ($ #(1
0)#) #5 ?# 0$$ # #* #$' : (1 0$$1 $: 5 -# $#5 0#$$ /
' 0' # 'D 0?# $ 0#) '*$ #$,
#5) $ ?# 0)#
X (x) /$ :$.$) - 0 x 8 %,
: . $,# 0(; ( - -%$*$#5 *% (y) /,
0*$ %5#$# %$( / (x) 1 -(1
$$ A) $%$#5#$ $#( 0$$
T
1:' 0' x 1:) 0' y 8$0 (x) #5 F (x, t) & ∀zG(z, x) # (y) #5 F (y, t) & ∀zG(z, y); X / (x) %$##5 0$#( ( #( 0,
$#$ $ 0$##) #(' 0$# # 0' x 8
%: . # $1,# 0(1; ## :$#5 *#
/$ (y) 0$##) #$ ## : $(' 0$# #5 -%$* $#$ A$ -# $ ,
- 1: x (x) $1#) -$# '#) $#,
$ 0 0' y =#5 $0 (x) #5 ∃zF (z, x) P$# ?#' / 0$#(' F #( 0$# 0,
( $ :# $#$5(1 * %$*$. *# *,
#). $ 0 # -59 *$ #). $ # ,
# ( 0* #(' 0$# # 0' x %$*$.'
3W.## $#$5 * # -59 x4 8?## 0$#
* #:# #; X ( #05 0#$ /
∃zF (z, x) # 0' x 0 y 0*' /
∃zF (z, y) %$# 0$#(' F # : $( #(
0$# ( 0* ## : #(' 0$# *# $59
# 0' y $ ( 0#$ / ∃zF (z, x)
# 0' x 0 z 0*' / ∃zF (z, z)
%$# 0$#(' F # : #( 0$# *#
0: # 0*#) : 0$# $ 0: 8*
:; 3W.## #$ $#$5 * # -59 $
-)4 =%9 ?# 0# *# - 1: %$)'
0' x 00$ -$#5 '#) $#$ 0 #' 0'
$ # ( %$ #$ *# 0 %$( - 1:
#$ )%$(
$5'9 ( - 0#$)#5 / 0
# ' 95 # *$ $ $' / - 1: %$)' 0' $1#) -$#
'#) $#$ 0 #' 0' $ # ( %$)
A$ 0#$ ( - $%($#5 =)# *# 0$) y -. 1# / (x) #
0#$$ 0' y # 0' x / (x) #,
$ 2) 0.) / 0% #$: *#$#5 *# -$)
/$ (x) 0*$#) % $' -) 0#$' 0' x ,
# -) $' A$$) 0#$$ $%#) #$
- " "
" x) (y) !
(x)
(x)
Z$#5 777 W# $:'
A05 ( : /$#5 ( 0$$ #( (
0 # 0$ *) ## ($
; X M (x) 0, T; X 0#$$ 0,
$) x 1# - ' y # 0' x
/ % M #
#$ # ∀x(x) (y)
M ∀x(x)
8 ),
;D
8 ),
;D
; X 0#$$ 0, ; X M, (x) 0,
' y # 0' x
$) x 1# - / % M #$ # (y) ∃x(x)
8 ,
;D
/ # M, ∃x(x) 8 ,
;
W$. ?# 0$$ -# -%$*$#5) ∀ _∀ ∃ _∃
=$$ _∀ ∃ -%( ∀ _∃ (
$( "#$( 9$ # $:) ,
#( 0%)#) 0 #5 *# /$( 0$$ 8
0# T $( ; #)# .
/$ + ?# %$$ :#$ (
$%$ *# 80 # M ; -$$# '# A #
( : %$*#5 *# ?# '# 80 M ; -$$#
?#( $ :#$ 8 -.#;D
% #:) 3 ?#( $ :#$ -$$# ',
# A4 # *# ) - ?#$ y ?# :#$ 0$,
#: 3y -$$# '# A4 8$ -.#;D
% 0$# #:) 3y -$$# '# A4 1#) -(
) ?#$ y %$$ :#$ (#$# #:
3 $ :# .## ?# -$$.' '# A4
8 .#$);D
) /$ ?#$ y %$$
:#$ % # *# -$$# '# A # 80 ,
M ; #: C # ?# #: -# $#5 80 ,
M ; #$: % ,
$ :# ?#$ -$,
$. '# A 8$ .#$);
_( ( ?" ,
/
% " *1& % ( & ( ) 9_ " " !
:
$$ A) $%$#5#$ $#( 0$
Документ
Категория
Без категории
Просмотров
16
Размер файла
1 364 Кб
Теги
логика, современные, гладких, pdf, 2001, введение, мцнмо
1/--страниц
Пожаловаться на содержимое документа