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

.% *? *$? *" (*?

% / * ; . <$ -

# *" . &

0

4- >

( ' ' * *

R # , # ( / + ' , ? $

' 0 ?

# # ) H $

' (

!

,

. ## ! )

44 >

( / + ?#

#

0 R + . , ## )

4= > ( / + # 0 R $

+ ( + ( + . , ## )

H

) 1 0 ( '.

0 ( / +

*

#* 0 )

1 ?# ( 0

) 1 ?# ( # $

)

./ .?% 0 /"; .*< ?: / *-

+ % $; ! %$* # . * *<< 0 < %$+ / H -

D ; 0 " H@ / * +

% $; !

" @ * * 0 " @

* 0 " @ $%* D * R & C8 *$ 0 / .%9 !

E 0

$

$%" # $%?!

9 #

/ . " (-

%< # .? * *<< /"; @D # " < ; 0 * .

-

# * # * %?9" &F

? ,

$

4E

? +

) @

(

' ' , ? $

' ( + * ( / + +

,

#

( / .

$

+ )

(* !

*

$< &

1 ? .* 0

$* ; / # *"

* + % "/ %"

(* ! *<"! / * $ %-

* D *

* + %< / * + % * <$ "

(* # $;/

C + / < / * +

%<

% %< # A:$ $ -

; "/ %" (* (B0 < $ ! / * ?

-

; * : .

# / * + % F& i < + *

$ E $ <" $ % ( < $ < 2

"

/ * +

% * <$ " (* # $;/ &

#-

*" (* ;

"

/ %"

(*

( % : $* : $ /

%";-

@ ! * +

% :

0 /" ; $?:

0 "/-

%" (* (

0

<

% % %9

; % $

"*

0 $(

@</ # / " * * C

" {

|

k }F&

i $

.?%

; * <D

% **?

0 ? -

/"

* <$ "

(*? $;/ 0

? $ : / <

< %$+ / * H 2

1

1 41/

0 1 01

1

) * + %

* $%* D* * + %<

% :

% : / * +

% &

i< (

%.* /* .* *

%

%

+ /<

* + %

C F

% : / * + %

*-

+

%

& d

$ "* ?

0 $?

*

$* /"+

% %<HD <

/ * + %< &

i< (

@$. % ** * +

% 2

" { | k C F}'

+ 0 / * + %

*

% %< *-

<

"* < * + %

& i < (

*

" C F

/" ; *$ # "*

& J #/

k C F k

C$%

$ * H * + %

0 %$

$ /"+ * H C F

"

F& i " < ** $ %$ -

.?% 0

/ !

%" (* * < *

%

%< 0

*

%.* /*.* * &

$ %* D -

n /$<# ! 0

$ *? 0

" H @

* +

%

* *$ !

* + %

C F&

/"

0 -

+ / < "* < + *

% ( %

% %

/* "* * / * + % { }& i < 0 % * ;

$ /"*

$%* * ; * + %

D * C &

,cF0

+*

.( 0 D * ( * + % % #/ *(-

9 D * * + % C F

4J @ (

IL ' # ,

3

3 <

< I < D D D

#

+.

?' ' '

+

&

* ) ? & *

# F' ( ? /. '

)

)

/" ? <+ $@" . "

( * ! #$ -

* 0 #/ * #";/*? $ / %"* ; * +

% : $ -

% /; $ %$ H &

/" 0

$ $ *-

+

% % : * + %

0 "*

$ # ;%";H -

; %

* + % & J #/ 0 % *

0 % / * + %

* +

%

@</<

#

"* 0

C F

0

* % .+ * $ 8 *$ &

$

<+ / * +* $.%$*< ( 0 % * % /-

. " (

% $ ? 8 *$

"

< ; * .?%-

?! $ /

d

" & # @? * .

" # H &

J *? * + % * ;%";H ;

%

"*-

& n + 0 * + %

* <$" (*?: " N

*

;%"; ; * <$ "

(*?

"

< * @</

%

"* & 4/* % $* +*

@ $ / % (

* + % 0 $ ;%"; ;

% "* C*$ -

$ 0 * +

% % : * + %F& ) . % * + -

% A* @? *? B& d

$ $( * + % % :

@? *?: * + % & l </

" * @? *?

" *

@? * 0 * ;%" ; ;

%

"

* < *-

@? * 0 * @$ & 8 +

% 2

1 / E$ % ** ; %$

;

# $/

@</ * .?% ( $ " #"

(*

$* ? 0

"

* @"

/

?% ?

% !

% & ) $ $ 0 $

" -

#" (* A$<

!B

$* 0 $

" #" (*

A#" *;*?!B * & $<# !

$ $ 2 $ "

#" (*

A$

:-

"+ *?!B

$* 0

A/%<

"+ *?!B

* & J$(

%$ 2

@</

"

$ " #"

(*

A*

$* ?!B

$ * ?

C H@ !

%

% /*

$% /

$ %$ H &F

/

9 $

.%

* #

A$/

4 H /

* /"

" + B0 # %$;D #

A; "

#<B 0 "

/

$

" / 0

$?! /" + * @?"

@$( %

:

"

/ /* !

* -

0 * @$

;

& &

% 0 ? @;.*? / (

-

.%$D ;

( $ * +

@

% 0 ": # @?" % $

<+ / * ;: 0 $ -

% /9 : $/ < d

"

& $

/" * $ -

! 0 # @

<+ / * %* 9" % H $%<H "%-

*< ,5-# % & G #

# @

<+ / * ; $@" . " (*

+*

E $<" $ % ( 2

• 1 * + %

" 9 @ $*? @ ? /";

# 0 @?

%$

A

*

/"

B "

?

" & ) $ $ 0 % $@ 8 *$ 6c6 # / @? -

"

E $<" $ % *

' &'

%&

!+ $ 2

% ;

/ * +

% $ .

"

@

%%* * 0 "

@

* 0

" @

$%* D * % <

$ .< & C $<#

"

%-

0 + /<

*? * + % * + %

D * * *<< * $ + < *?: D *-

!F& 8 *$ * " 0

+

@? (

/-

.* A

D (H

*$ #

/ */< 0

% ."+ * $ # ? * @</ %: / ( ./ (

/$ @* B0 * *

/"

/ .(

< *

</"

( & l "

# 0

**

"

;

* 0

< %$+ / *

* *<<-# .?

+*

(

**?

"

"+ *? 0

$

" < H ;

$.*? $ * +

% 0 * % @D - * /* .

: $! *

" < 9 /$<# ! &

J< ( *$; *"# ;

* %"

/ % ! #-

$! & 1 ? +

( A ; ?!

<"

%" -

/ B C$ . / **<H < $ : / * @" /* !

$; ! 0 $ ""

" (* ! / ** !F

**? & J #/ -

" < ; #$; 0 * .?% ; %" / % ! & f + -

* $*; ( % % ?

$ %"+*

< %$+ / * 2 $ . *$<H < + * $ %-

/% $." *?

$; ? 0 $ "" " (*?

*-

$ !

$; ! & J #/

" < ;

* %" / %

#-

$; & 4 0 0 $

$

$ *

** .@" <-

+ / * 2 <- 9 $

?

"! * <-

/ + /" (*? % *< ? . -

* ! C & (H %

* f / ) < 0

%;-

D **<H H @"

H @ % # F

H 0 % *-

%"

/ % ! #$ $ "" " (*? $; ? $ -

H ; &

*

$ "" " (*? $; ? %

%"

/ % ! 0 % * %

"

/ % ! #$ $ /";-

H ; $; ? 0 $? * $ H ; &

$

0 %" / %

" * %

"

/ % #-

$; $ %" (* A*

/"B0

" % @D

? " 0 * ;%"; ;

$

@

"

/<

$9 % ( E.% & 8 $ *-

+ %

* ; % D

@" (9 !

* 0 $.%

"# ;

C8 *$ * /*$* @

<+ /"

%-

$ ? $ * + %

$ E

*" - " -

# F #" @? % $* $ */ % ( * *-

" (*?! % &

• " ? : $

<+ / ( * +

% : 0 * % / ;

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

$ + * (

. @ # ( $ /" **?: % / % $

<+ / * ! & l . -

*? C $!* ! $ * $ % /9 $ -

%$ H F $%

"

@$ D * ;

* + %

E $ <" $ % *? %

!

$ *-

+ %

CE $ " (* ;

$; 0 * .% ** ; %

(

3$ " j $ *"

;F&

@ % %

! $ -

< %?@$0 " < $H 0 * .?% <H

C 7

-*#" !

%?@$ F&

( /$ <# 0 -

* <";$*? $ &

4/* E $ "

(* $ * $ * + % %? -

: / . $ * 9 # @ <+ / * ; & i

< ? #$*-

; * E $ " (*? * #$ * * ! 0 *" /? -

% ?: % .@ + * $ %$ ! 2 *"

(.; $

$

$ (

* + %

% : * + %

"

* + %

% :

* +

% 0 * ;%";HD : ;

%

"

* 0 -

"

( < "

*"

(*?: $ */ * %

" 9 A*-

@ .$B& 1 * + % + *

$ (

" 9 ( ** &

)$ $ 0 + *

@$ . % (

* +

%

% : / *-

+ % / ** # * + %

C

$

& $

!

!'& F& 1 + *

$

$ ( / * +

% / ** # * +

% 0 @$ . -

% ** "*

-

% ! % C$

& $ ! !

!'& F& 1 +* $

$ ( * + % % :

"* % 0

%: /;D : : ; @? % / * .

"

* % / ** # * + -

% C$ &

$ ! F&

( /$<# ? &

-

G." # ;

% / * ; . $ * +

% 0 ? @</

$( ; /$ + ( ; /"

(9 * ! $ ? 0 < .? -

% ( * * ( % :

: 0 #/ % .* *

<-

9 * ! $ $ @

"

.( ; & i

@?

" /* 2 ? $ /" ( D *

( * + %

"

C * + % F % : $%* D *?: < * + % &

: $ ?

$ "

( #$* % ( ; * <

E $ " (*

! # %$ " E <* ;: 0 : $#< * : 0

.* * ;: 0 . & & @ . ? / ( $ /-

"* ;

: *; ! & n !

? / / E $ "

(*? $ -

/"* ; &

/% * + % & d

$ * + -

i< (

% %

: <$;/ **?: $ h !i0 #/

+

&

* + % * .?% ;

!

$

"

"

&

!

!'&!

*-

+

%

@ .* ; ×

& C8 %$

< 0

<$; / ** ; $0 ? D

%$*

; *

& e &F

H @ / * +

% * + % ×

* .?%"-

;

' !'& !

+ /<

* + %

&

"

&

"

0 # %$;

#

&' $" '

' !'&&

* * +

%

)$ $ 0 * * +

% * <$ " (*?:

"

+ * $ -

$ ( @ *$* * 9 * A@? ( /" "B0 @? *

@ .*

% " |& J #/ + * % $* @?"

@? * ( h, bi | h,

ci k |& 4@? * 0 /* 0 .*

* 9 * ; 9 < + /< @

C*$ $ 0 ,|bF&

4M

?

'

' G '

+ ,

$

!

,'

!

$

C G (

#? ' ?

? ' $

#. )

+

" $ #< * E <* ;%";H ; "* ? *-

% 0 .* * ;

"* ?

* +

% 0

+* $

$ ( * 9 * + /<

0

;D

. $ % / h

C Fi& i * "#

#$ E E <* !

* "

* + % + * * .% ( #$E

E <* & n E $ "

(* ! .$ * ; 0 /* 0 </ @*

* %% / ( /" (* # *$ /"; # *; ;

E<*-

0 %

# + /

% ( E <* H

#$E-

&

4 * 9 * ×

* .?% ;

%' &! &+

0

" * *

/$+ $

/ * %? $%?

"*

$.*? %$? &

$<#

"% 0

.* 0

/" ; + / #

<D

%< * @ " /* #

0

$ $ h

i &

J "* ?#

0 /" ; $?:

<D

%< 0

@$ .<H

$

+

" !

!

!'&

E <*

& 4*

@ .*-

;

C *#" ! #

"% F&

"; " H -

@ # "*

+* $ / " (

+' $&!'& !

E <*

* $#< *

CA%

B0 * #/ # %-

$; F / * % **?!

"*

0 /" ; $ #

h

i & "* . ?% H+

&

C

F&

* ?

@$.<H

'

!

' $ !'&

E <*

0

"

* ;

&

$ @ .

"

k 0 # %$; 0 E <* ; ' ! " ! !

!' $

*

& m 0 * 9 < $ /"* H E<*-

;

.

%

*

@;.*

@? (

$ /"*

*

%

:

" -

* : * +

%

@"

( $ /"

* ;

+

@? (

" H@? / * + % * + %

& n $ -

*? @$. * + %

.* * ! + *

% / (

* + %

&

$ /"

* ; E <*

.

%

%-

" @" (

/

0 9 < 2 →

&

i $ $ 2

!

!'' $ E <* ; "2

→ $ -

% / * +

%

%

@; 0 $ C F

/"

;

" H @ #

& 4* $ / %";

@ ! * + % $ % / h

i

/" ; % :

& CG*/

% * #/ < H 0 "

;

* 0

* + % / $ ( &F

→

+& & !

/%<: E <* !

2 →

2

* .?% H E"<* H

2

→

0 $ / " **<H

* 9 -

*

C

F

C

C

FF&

$<#

"% 0

$ /

%"

;

@ ! * + % $

{h i | h i

h i

/"; *$ #

}'

8 .;

E <* !

@ .* ;

◦

C ? 0

%

@" (9 *

% * # 0 9

$% E <* H 0 $ ; $ -

*; ; $% !F&

4 % /* 0 .; C $; * / E <* ; F

%* 0

( ◦ C ◦ F " C ◦ F ◦ 0 < %

. * " ( : /$;/ /<D : E <* ! + *

< (

@ &

& $" #" $+ / * +

%

0

i< ( 2 →

+ % %

: " * %

0 /";

-

* .?%

; 0*& 4* @ .* ; − C 0F2

$?: C F

− C 0F " { | C F 0}'

(#" $+ * +

% 0

* .?% ; * +

% % :

.* * !

E <*

* %

: " * : * +

%

0 &

4* @ .*

; C 0F2

C 0F " { C F |

0} "

/"; * $ #

0

" {

| h i

}'

n $ # # % $; 0 @ .* * C 0F + $ %

<-

* C /*

+ $<#" ?

@

< $ @";H ;

/" ; .* * ;

E <* 0

/";

@$ .

* +

% F0 *

@? * ;

* 0

; % % /< &

=N &

#/.

00 ∩ 000

3

00 ∩ 0006

00 000

00 0006

00 \ 000

3

00 \ 0006

−K 1 0

∩ 1

00

3

−K 1 0

∩

−K 1 00 6

3 −K 1 0

−K 1 0

1

00

−K 1 00 6

3 −K 1 0

−K 1 0

00

\

−K 1 006

\ 1

3

−K 00

0 6

0

−K 00 00 6

−K 1 0 1 0 6

−K 1 0 1 0 6

◦ 0 3 0 6

◦ −K 2 0

3

−K −K 2 06

0 ( 1 0 < 1 00 1 ( 2 0

, G 0 → 1 ( G 1 → 2 ( 00 < 000

2 )

G* #/ %

E <* !

# % $; @

@$ + * ;:

C$ . $% $ <; $ * AE <* ;B

/";

@$ + * !

-

" %? $#< * .* * ; F& 1 ? * @</

$ -

# $ / $+ % ( ;

: $ ."

! 0 < $ @" ;;

"

%

A @$ + * B AE <* ;B

* * ? &

)j <* ;

2 →

*.?% ;

&' )! & ' 0 "

&'

!

& ! 0 "

!'&!

0

"

* $ % / $.*?

"* ?

% $.*? 0

(

"

C

F 6" C

F $ $.-

" *?:

&

j)<* ;

2 → * .?%

; " )! & ' 0 "

"

!

& ! 0 "

'$

!'& !

0 " * + %

.*-

* !

( %

& CG* #/ E <* * .?% H

#"

$

!'&

& '$

&F

$*? 0 +

/% $ /"* ; @"

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

;/ 0 .?% H . -

/ 2

( # F ' G 0 → 1 ' ' ' $

= @

*

, * ( *

# F / G 1 → 0 ( , # F / ( ' ◦ 3

3

) @

( # F' G 0 → 1 ' ' ' $

*

, *

( *

# F / G 1 → 0 ( ' ◦ 3

)

=! @

( # F' G 0 → 1 ' ' '

*

, *

( *

. ,

G

◦ K

3

◦

#

K

3 '

/ +

# F K (

( +

'

0 ) @ ( # F' G 0 → 1 ' ' '

*

, *

( *

. , ?

G

K ◦

3

◦

#

K

3 '

/ +

# F K (

( +

, ? ' , 1 )

4 @$+ * CE <* ;F 2 →

0 $ /* %$ -

** ;%"

; ; *

!

H $

!

C%

"+ *

*"+ * F0 * .?% ;

#&!

& ! 0 "

%.*

/*-

.* *?

% % &

<D

%<

" $

E <* ;

@ ; 0

' $

− 0 /"";

$ !

− C F " C F "#

&

=%

*# '

# F

' ?

' +

$

#. , ( + ,

$%* D *? 0

"

) * 0 * + %

<D

%< @ ; 2 → &

" <

<D %<-

* ;

C%"+ * F 2

→

#

*; ( 0

%"

+ * ;%"; ; %.* /* .* *?

% %

+ /<

*$? / * + % * + %

0 -

< %"+ *

<D %< #/

" ( #/ 0

#/ %

( / * +

% 0

$%* D *

0 & & -

#/ D *

(

* $ % : / D *

C%

? "

$ /"

* ; 0 / ** # % $ ./" &IF&

( 2

*"+ *

'< ( * % / * /$<# !

$ .<"

*

<D

%<

#/

"

(

#/ 0

#/

D -

*

(

* $ % : / D *

&

/ " 0 < ( * "+ * 2 →

<D %<-

& "; + / # "*

* !/ ; : ; @? / *

"*

0 /"; $ # C F "

& ?@$ % /* <

< "

0

* < 0 ? " < / * +

%

0 -

$ * : /

; % %.* /* .* *

% %

* +

%

& Cm/

(

* %

" (.< ; %?@-

$ 0 $ ! ? # %$ *

& I&F

@$*<H

$ *< 2" " - / * + % 0

* + %

$ %* D * * + %<

; @-

; 2 0

0 * "+ * *

+ * " < ( 0 /-

$ / " %→

0

< @ H * "* : %*

<# /*

@$ . &

+#

# (

'

, )

=-

)

/"

$ /" + * % .+ * 0 "

(

"

* <

0

$ %"

(*

< %$+ / * .%<-

2 *"+ *

*

<D

%< " ( "

(

#/ 0 #/

* < $%* D * *$ < /-

* +

%<

0 " #/ @ * +

% < ? &

* -

* 9 ."+ *

; D

/ * * %"

*; *?! * 2 A<$;/ ** ; $B

) E $-

" (* # %$; 0

@ . /%<: @

%

@$ -

. % ( / * @ h

i0 $

@ @" /

% ! % 2

h

i " h

i "

"

'

$* 0 +*

( *; <$; / *-

* ! $? * $ /"

; ? 0

% ! %

! &

4/*

$

E $ " (*

$ *

$

* + %

</ @*

"

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

8<$% 0 . @ + ( ;%"

* ; /" (* #

*; ; <$;/ ** ! $? & C) * 0 { } @-

.*

* + % 0 / * % **?

"*

$ #

;%"; ; 0 {

} @ .* * +

% 0 $

-

/$+

*

/$+ /$<# :

"* % & J

-

? {

} " { } " { }0 " "

&F