Верещагин, Шень. Лекции по мат. логике и теории алгоритмов / 1.Начала теории множеств

F ?

, ? )

i / " %

"* % % * *?: * + % :

* ;

#&' $

" & ! & )$? *" (*?

% /-

* ; . @ *$ $% / *? /"

(9 %

% . -

/ & n !

* % $%<H $ /( *$ < "/<HD !

$* 2

( $ @< 0 @? + / <

"

-

C.* ; /*.* *

* < $% # * +

%

% % %"

$ %* / *

"

-

* %$ # * @$ &F

$*-

* " ( $ $ % " (.% * ; #

&

+

=

# +

$

' )

* + , #* ,

+ $

#* , ( #

' (

, +

G ? # ( ? , #

$

# #* , # # #* , ( +

$

' * +

)

E &

? + , # $* $

G .

.

H

G

3 )

J @ ( ? , ( $

# F ( , ( , ?

#

{ < I< D D D < }) H

G

# ? #

{ < I < D D D < } #

' ?$

, ,! (

"

$ F

(

, " )

M @ ( ? , # F

( F

(

#

$ $

?

$ * )

" * .?% ;

&&

&

!

$'& &+

#

@? *@ .*" (;.< ;% @$< .* * : * + :&

%

* $**?:

!N @

( 2 L

2 LL− )

! @

( 2 L

3

K

D D D

L

I

L

)

2 L

2 L

3

$

(

!! ># , ?#

) @

?

( /. #/ . , (

, ( , / . #/ . , ) H

G

# +O ?

?

(

/. ' ,

)

!% @

( 2 L$ − 2LK 2 L − D D D − L 2 LL 3 ) H

$

G

'

? #.

!- @

# #

G

L 3 2 L$ L

2 LK L−K

D D D 2 L L−

D D D

2LL L D

!4 @

( ? +

+

#

$

/. ? ' F ?

, ( , ? +

+ , ?#$

$#* ,

#* , ?

/. '

* ' ) @ '

? ' ,

6

#*

( ,

?$

+

,

#* ,

#* ,

( ? $

' *

, ) @ ' ? '

'

?' #* ,

' ?

)

% * + % * .?% H

" $ ' # '! &

0

" + /<

* + * < * % ( %.* /* .* *

%-

% 0 $ $ + / <

"* < /* # * + %

% %< $ %* / *

"

* /$<# # &

"; * *?: * + %

.* 0 % * : /-

* %

"

"

* % 0 * $ /"

*

?

"

/"; @

* *?: * +

% & ) $ $ 0 $ .

5

5

,

$%* D *? 0 " ( < @$+ * 7→, <-

D

%";

%

% &

<

<

!= @

( / +

? ' . )

!E @

( /+

#

?

. ) @

( /+

#*

?

. )

< . ? #$

!J @

( ? #

#

< )

"

+* ; ./ 2 / .( 0

)

"

( @"

*$ % " C5 F " < C5 ∞F $%* D

*? & / " ;

& m 0 @$ + *

7→k ;%"; ; %. -

* /* .* *?

% %

+ /<

C5

F

C ∞F0

7→C − F %.* /* .* *?

%

%

+ /<

C

∞F C5

∞F0 <

: . ;

7→

7→C k F −

;%"; ;

? %.* /* .* *?

-

% % + /< C5

F C5 ∞F&

@D 0 # %$;

0 * 9 *

$%* D *

(

'

!'& ! & $ !'

' &

& .* 0 *

" !

! &

' C + / * + % $%* D*

<

@ F0

&

!

"

&

&'

C

"

$ %* D *

0

$ %* D -

*

F

" $'+

&

& '

C "

$%* D *

$%*-

D *

0

$%* D*

F& n% ! % $ *.%*-

? " ( %

" (. % " ( 0 %.;% " < C

∞F %

% $ + < * # * + % &

D *

" ( $ $ % 2

• 1 * + %

@ * *?: "/ % " (*

!

*<-

"! / * $ %* D * * + %< % : / *-

+

% * <$ "

(* # $; / & C

/" 0

-

%

+ / !

"/ %"

(*

(H * + % *-

$ %

0 * $?:

; / * ? 2 *$ $ 0

"/ %" (*

( . /* : *<"!

%

%<

< < * +

%< 0 . /* : / *

* <$ " (-

* <

$;/< 0

"/ %" (* (

5 5 5 5

' ' '

* + %<

*?:

"

&F

• 1 * + % @ * *?: "/ % " (* ! E $

50 0 ,0 $ %* D * * + %< @

* *?: -

"/ %" (*

! E $ 5 & C

/" 0 + -

* ./$ % ( E $?

5 0 0 ,0 #$< 55 0 5 0

5 0 & 4@$* $ @$. % * $. @ %

" -

/ %" (*

( *<"! / * * $ ? 0

"

#

+ / ; $ .*; ; * E $< 5 / &F

• 1 * + % @ * *?: "/ % " (* ! E $

50 0 , $%* D * * +

%< @ * *?:

"/-

%" (*

! E $ 5 & C1 +* @?" @? ? ( ;

$

<+ / ( 2

* + % . " H * + /<

/%< ; * + % /* ! ! + D * 0 -

< $%* D* + / < . * : &

: / ?

"!

$%"* 0 .?% $ 8 *$ l$*-

9 !* . $ ./" &I& ) ./

( +* @ ! (

@ .

! $ ? 0 "

./$ % ( E $? 5 0 ,

"

/ %"

(* ; 5 0 5 2

"#

@$ . ( 0

% ; ;

"/ %"

(* ( *<"! / * /-

* .* * $. @ % ; * @"

"

% *$% &

J !

@ /$ % * ; * .?% H A$ E *?

/ B&F

• i $ $

"/ % " (*

;

*<"!

/ *

+ *

@ @D ( 2 * + %

/ * + %

" H@-

#

* +

%

C * @? *

@ .* ;

C F

-*#" ! * .?%

;

F $ %* D *

* +

%< % : E <* ! 0

$?

%; %

-

% % + / < "* < /* . " 5

C * + % : E <* ! @? * @ .*-

H , F& C

/ " 0 + / < * + %<

% %< # :$ $

; E <* ; &F

1 ? $ /" +

0 *

*" ".* /-

.( * " ( $

?: E %

*?: * + % :

C$ %* D *?: * + %< * <$ "

(*?: " F&

'!

1 * + % * .?% ; &

0

" * $ %* D -

* * +

%< N * <$" (*?:

" 0

( " #

+* $ / % (

% % / {

' ' ' }

C. /

(

"

* 0

% %<HD !

<

%

% %.

-

"

* /* .* * 0 %

$." *? F&

)$ $ 0 * + % " ?:

" Z

* 0

" ?

" + * $ "+ ( %

"

/ %" (*

( 50

0 −0 ,0 −,0 0 −0 & & &

1

8

C F i / * + %

* # * +

% -

* * "

* &

%

/$+

*

C F ; @ * * * +

/ * + % &

"

* # " *-

C/F 4@ / * * * * #

*?: "

*?: * + % * *

"

* &

" C F i< (

/ * + %

* # * + %

{' ' '

' ' ' }& ?@$

. "/ %" (*

*?

0 $? * $ * /

"

+

C :$ *;;

$;/

"

%9 : ; F& J #/

%9 ; "*? @$ .<H

"

@ * *<H

"/ %" (* ( C #/

* * F0

"

@ @

* *<H C #/

* F&

/$-

C@F i< (

@

* * & J #/ * * <

+ *$?!

"

*

&

l </<

@ * *? 0 *-

+

%

* $?% ;

"

*

% .(

-

!-* @</( /$<# !

"

*

0

& / & i

"

<

;

"

-

/ %" (*

(

"

' ' '

$ * * $ $%

; * *

@

* * & J$ (

* + -

9 # 0 ( <

%

" {

' ' ' } @</ ?

*? / * + -

% & Cm

0

% %

* @;.*

% / (

0

/ +

"

* &F

*

"

*?: * + %

C%F i < ( ;

' ' ' d "

+ %

"

* ?

+ / #

. * :

"%

*$% % "/ % " (* (

C

"

{

' ' ' }F -

%

"

/ %" (*

/$<# / /$

<#

0 "

<-

@" <

' ' '

' ' '

' ' '

' ' '

' ' '

' ' '

' ' '

' ' '

' ' '

J$(

< @"

< + * $.%$*< ( %

"/ %" (-

*

( 0 *$ $ 0 $ : /; $ / / # *" 2

"

' ' '

"

-

* +

%

* $

"

( 0 ? "

<

$ /

%"

*

/"

; : @

/ * * ; &

" $

-

"

( 0 . $ ** !

"/ %" (*

* / %?@$ -

( %$ * ; &

" - . *-

+

" * + % * * "

% * *? 0 %

! *

$< "* % *

@</ * ;

"

@ * * 0 " @

* *-

+

% &

!M C ?

? ?

*

'

?

$

#

#$

, +

' N

×N N ) " / + ? (

' ?

# * $

?

F

, F

) H

$

* )

?

/ . " (

% < %$+ / * ;

C@F $ -

, ( * ! * 2 * + /

9 #

? /" + -

*? %?@$( / * . %9 : ; "* % * + %

"

* ?

( 0 * < *

* * # $%

" 0 -

.%";HD #

!

%?@$

( & i $

@"

E $ " (-

* $ * $ * + % <

*<+ *

" ( ;

*

" (*<H < 0 * .?% <H

$

&

! #" $ &

m **

(

! ? %? .?%" @" (9

$? % *-

" ,5-# % 0 * ** * ! $%?"

0

$?

!

* %

$* H ; &

$ / * %

%" !

"# 8<$ =

/" ( / . " 0 < %?@$

*" (.;

$ %$#*< ( 0 "

(.<; ( "

(*?

$ * +

% 0 % ab5- # /? $*

! -

i"

+ & 8 *

/ . " 0

*" (.;

%?%

.

" (*?: & C8 * * 0 * *

: < %$+ /-

* ! $ @< /$ @* # ."+ * ; $ * +

%

! $ &F

'

%N B

,

, # ' )

* $

,' ( *

C G

(

0

(

,

# N 0 ) # +

,

, $

' ( ? #

' ? , #

+O 0 N )

D * " ( $ $ %

*?: * +

% 2

• 1 * + % Q $* " (*?: "

* &

/" 0 $ *" (*?

"

$ /

%" ;H ; *

$ -

?

/$ @;

" ?

" "

.* *-

" & 1 * + % /$ @ !

/ **? .* *"

* 0 <

Q $ / %

%

% /

@ / *-

* ;

* # "

*?: * +

% & m @ # ; %-

$ / C & $. / " &bF0 0 * +

% R % :

/ ! %" (*?:

"

*

* &

• 1 * +

% N 0 "* $ # ;%";H ; *-

@$? .

# * <$ " (*?: " 0

* &

"#

/ .(

*/< !

#

& i $

#

"

,

* + %

N

" N

× N $

* <$" (*?: "

$. @ % ;

*

* "

*?: * + % {5} × N

{ } ×

× N ' ' '

C "* -#

* + %

@</<

$? 0

$%? ! "* $? : $ % *

F & i < N

* &

f* "# *?

@$.

* + % N $

* <-

$ "

(*?: "

$. @ % ; *

*

"

*-

+

% { }×N ×N & 8 + / . * :

. $ 0

$%?! "* $ ?: E $ % * < $%*-

D *

* +

%<

N 0 $

* & J *

+

+ * $ !

*

* + % N

*

* + % N &

• 1 * +

% % : * *?: "/ % " (*

! *-

<$ " (*?: "

* &

/" 0 * + -

% % :

"/ %" (* ! / ** ! /"

*?

*

C ? " ( % /"

F0 *$ <H D

*

* +

% $. @ % ; *

*

"

-

*?: * + % &

• $ /? /<D $ $ * @;." (* # %$ (

* <$ " (*?:

" :

+ * %.; ( " H @

*

C" * * F

* +

% & )$ $ 0

* +

%

% : % 0

" (.<HD : $<

! "E %

C-

! +*

( * * !

"/ %" (-

*

(H @< % 0 $ @"

% 0 .* % $ * * ; & &F0

*

+

+ *

.(

* + %

C% : ?

"

?:F (H $*?: $ #$ & / &

• ' " * .?% H $ % !#" $&&! & 0 " * ;%"; ;

$* * *<"% # * #"*

" ?

E E-

* & 1 * +

% "

# @$

:

"

-

* 0 * #"* %

* " C * #"*

./ ; * * ! "/ %"

(* (H " ?: -

"

#

E E * %F0 + /?!

* #"*

* *

" $* ! C* @"

/"

; *-

#

"* %

* F&

• 1 * + % $/ : /$ @ !

* &

/"

0 ; /$ @( + @? ( . * *-

* ;

"/ %" (* (

%"% . * * # *-

+

% C.; ; 0 E $? 0

@ F

*$ $ 0 /$ @(

5

bbbb

' ' '

+* .

( 5

CbF&

f : -

/ %

"

(*

!

* * +

% &

"

% @

( / + ? / . ' $

?' ) H

G

'

F , '

)

/ . $

'

%! 5 @

( / + ?

,

?

)

,

$

+O #

/. ' # / +

$

)

7

# #

*

# $

' +#

! )

**

, $

%% @

(

*

#

/ +

# F , *

*#

$

)

#+

/ $

%- @

(

.

# F , *

*#

$

)

@ * * 0 * +

1

" * +

%

-

%

* *

"

* 0 @ / * *

$%*-

D *

&

1 +*

( 0

*

$ ;

C$ -

* + * %?@$ ( .

0 * ; - $ + * <

* * "

* * + % F&

@-

? /" %

* / * + %

.* $ .

& J #/ * * / / .( 0

$ %* D *

C.*

%" . $< @

/ *-

* *$

HD : ; * +

%F& i

" ( <

@

*? 0 + /< *

<D %< %.* /* .*-

*

%

% &

# "

# $ /" + ( /

% % ;

+ /<

C + /?! "* * + %

% %<

@ F&

%4 > # # F/ ' #

$

#

<

? #

< )

%= B

?

(

+

* $

+ #

' *

. )

,

? #

@ (

0 +$

' ' ' (

1 (

0 \ 1 . 0 )

%E

F

) @ ?

? + * G + (

. #

# ? # (

?

/ . # ) > ( #

@ %"

;; * *?

"

*? * +

% 0

"# -

*; ( 0 $; ; 0 % $ +< * $; !

C$ . 0

*$ %" ? 0 "

< *$%"

? F0 "

< 0 : * *? "

-

*? @

/ * * ; & & $%* D *? /$<# /$<#< &

%J

H

#

< I < < D D D

< )

%M @

( ? '

?

. #

? ) H

G

( ? '

/ ' ?

+ ,

/ ' )

? #? ,

? ( $

-N

@

(

. ? #

#

?'

.

? )

* ( / * $

#/ ?' #/ ? #? , )

%< % :

@

1

4$ . 5

$%* D * * +

* *?:

"

/ %

(*

! *<

"

! / * &

"

"

5

. ?%-

/ " 0 + /

; % % / @ * * ! /% * !

/$ @ &

i $%?!

.*

!

/$ @ $ % * 5 "

% .%

# 0 -

/

"

"

%

"%<H "

$ %<H

"% *< $ .&

' @? $ /"

(

"/<HD ! .* 0 * / %?@$**<H -

"% *< /" (

* % "

$ ( 0 </ -

/

0 & / &

( % /$<#<H

$ -

+

% % + *

*< 2

"/ %"

(*

' ' '

%

%< " 0

;%";HD ;

< ! $;/

,

e

6

' ' '

C

$ * ? "

(.< *$? E ? .

# *" . 0 * </ %" (* * *-

$

<H

% !

% / ! %" (*?: " &F

% %. -

4

**

% %

*

* /* .* * 2 /% *-$*

(*?

C/$ @ %-

/

k,

F

H

/% $ /

%""* ; &

) "$ $ 0

"

k6 + * .

( % % / 5 5 555 ' ' '

0

% % /

5 5 5' ' '

n % %

* %.*

/* .* *? 0

" @$

( /$ @

/ * ! % $/ C $ /$ -

@ 5 ' ' '0 $ <H * /

% (F& ) : /$ @ !

*

" 0 < * D *

( * %" ; &

- &

' ' +, # #

@"

/. " ( % +* @?"

@? " (. % (

$%? *? / ; *? /$ @

% /% *?: &

i" <" ( @? 0 $ . 5 $%* D * * +

%<

% : @ * *?: "

/ %" (* !

E $

5

' ' ' a&

' @? $ !

H /

"/ %" (* ;

*<"!

/ * 0 +* % " (. % ( ;

$

0

**?

*

& &

# % /"; / . " ( % # </ %-

"

J$( %

(* # E 2

(H F $ %* D *

1

8% /$ C %*<$ **

$ .< &

5 × 5 $

8% /$ $ %* D * * + %<

/ !

%" (*?: "

0 + / . $?: "+

* -

$ .

5

C / $ / * F& 1 ? <+ .* 0 %

"

*

$ . + * # %$(

"

/ %" (*

;:

*<"

!

/ * & 4 "

(

.( 0 $ "/-

% " (*

! *<"! / * h

' ' '

' ' 'i + -

*

% (

%

% %

/ % (*

(- (

' ' '

"

"

% % @</ %.*

/*.* *? &

# ,

+ ? #

* # F

$

* & # * * ( ? , #

? # # . #. /

! $

# ( ? # +

, + ,

( ) &

?

@ $

# I

/ '

*

( + # ' ? .

?

*

G &

' (

? # , # , ( '

? ' $

'

' ?

' ? ? * ' ! )

? @ ( $

# ,

&

? ' ( ?$

, #

, , ? + $

' ( *

?

+#

, )

* ?

, ( '

? 6 ? ? ?

, (

&

( + ( , ?# '

F

, *

" ) #

? ,$

, ) ? ( # ? * +

' #

,

6 #

/ '

+, ' )