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

E <* H

.

%

D (H $ * E * * ! $ <$-

2

"

C F

C F

m 0

$ <$

%* $%"

%";

C F *-

$ /" **? 0

" # * %? $ .#

"* *

<-

D

%< & C8 $ # 0 + * ( 0 ?

* %

" (.< <

%?@$ & l " /$ @*

"/ %"

@?

.( 2 %?@$

<D %< *$ ;

E <* ; 0 $; + / < / * +

%< $

$ *-

% 0 $ . $ * %

%? $+ ; 0 < .?%

/ * . * %? $.?: "* % & m E <* ; -

"

(.< ; % $ <$ %* $ /"

* & $ 0

-

%?@$

<+ " (.% * /"

;

/ . "

( %

$ ? 3 $ " &F

#$*$< 0

;%"; ;

* -

$ /"*

!

@"

#

+ *

< %$+ / ( 0

% .*-

* ;

%

* + %

@$.<H

" * !* * .%-

* +

% &

/" 0 < (

"

* !* ; @-

* ; *$?: .* * ! E <*

"* % *-

+

%

$%* *<" H & 1 + *

( 0 % E E-

* ?

%

! @ * " *? *<";

C @$ %

*<"

%?

"

# ? F& : /;D % @ * H

.* * ;

E <*

H % / C F $ $ ." *?:

& i $

* . * : 0 $?!

* @" (9

$ -

* H * /"

+ * @? ( " * !* * .%

" (*?:

$ %$ &

? $ /"+

"

0 * +

%

-

i

" ( <

@"

(9 <H D *

( 0

0

$ <$

%* $ /"

*

./ E <* H * * %

0

( * *$ *-

"

(* $ .

5

F0 %

" $ <$

%* $ %

"

aF&

* $ /"* C$

.* 0 % %-

$? $

$* %

%? $+ H ; $ .

"* ? * + -

%

.* * ; E <* * $ +<

5

F& 8 $

# 0 ? % /" 0 % %$? * .%

? & J

@$ . 0

?! @ .

* !/ * &

)

/" + * @ ! ( @ . * +

% @" (-

9 ! D * 0 <$;/ %

$

$*

%

& i $

* + / 9 # $ <$ * /

" @ / @ %" ; ( -

$ /* !

"* @</<D < @ . <

C

" * * %? $ + -

; $ . $ /? /<D F0 "

@

%"; ( @ .

@ . . -

* * ! &

4 > # ? + )

l .

="; + @? (

"

(. % *

/";

$ -

* ;

$.*?:

. : $ $ % &

*$? .

* : 2

1

8

n<D

%< C% H /< $ /"

** ;F E<*-

; 2 R

→ R 0 /" ; $ ! C F " C F C F

$

% :

0 * $; *

( < * + * * * * < &

d $ R %$* $

$* % * / -

" Q & * ( @ .

= "; & i <

( / * .

%$ % @ .

& d

$ E <* H

0 $ ;

-

+ /?

"

C$

$% ?

%$

%

$ -

$*

% R * / " QF

%"; # - $ / * <

C EE * $

% / * % ** %? $ + *

$ .

%

$?"@ . F& E <* ;

" * !* * / Q 0 <

C

F

" C F C F /" ; %

:

R & 4* " * *<-

"; C

C F

F $*

" 9(

$*" (*? .* * ; 0

< * + @? ( < * + * * * * < &

= >

( '

' # F' ( +

/ . ' # $

I

( *

( + * ( *

/ # ? R )

1

8 f // %*? #$< ? R R R . $E *?

/$<# /$<#< &

d

$ R %$* $ $ * % * / Q

%?@$ @ .

% $ $* % & 4 % /* 0 * @

-

* * & l .

% R R +

@? (

%"* . /%<:

! 0 + / ; . $?: $ / %"

;

@ ! @ .

%

/*

. . " ;$ % R & 8

?

<% /

< (

.+

C & $./"

, &aF0 /" ;

" H@ # @

* * # * +

%

</% ** ; D * (

C D *

( @

/ * * ; /%<: *-

$

HD : ; * + % 0 $ %* D *?:

F $%* D -

*

& ) * 0

"

( .( 0 $

$ *

%

* / /*

+ "

$ %* D *?

@ .

. $E *? %$*? $

$ *

% @"

#$< ? &

E @ ( / + + ? R ? $

Q . , ## ) >

, ? $

* ' ' #,

I ) )

1 ? % /" 0 $ * E * * ; */< ; .%" ;

/ .(

<D

% % * @ . %

" H @ %$* $ -

$*

% & i $ /"

+ ;

<

" * H 0 +* / .( 0

" H @? /% @ .

%$* # $

$ * % $%* D *? &

CJ @$. 0 *; $. $*

D * @-

. $$ * $ /"

* /"; @ * *$*?: %-

$*?: $ $*

% &F 1 ?

%$*

; < .+ 0 *

& a C$ bF&

<D

% % * @ . =";

+ *

4 0

" (. % ( A% $*?: " ;:B0 * " ( /"

; $ -

* ;

.

: $ $ % & G .%

* ; A$ (; $ @" -

="

(@$ B

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

# #$** $%* # @

#< * @? ( $%* -

%"*? & C .* 0 / * . * : *" (.; $.$ .( *

*(9 * # #$**

"+ ( . * : /$<# ! * #-

#$ ** &F

";

* # <#" (* % * "

< ;

* ; 2

" /% * # <#" (* $%* %" C H $ %-

*<H

"D /(F0 * $%* %"

*? &

1

8

8<@ *"

(.; $ .$ .( *

0 . -

$?: +* @?

"

@?

% ( $%" (*?! $

/$ C*-

.% @

"/* # F&

% / *; !#) $ * # #$** & 8

@ 0

% / @

@</ // % * C "

* # #$ *-

* $ . @ *

0

< : %/ @ % $ %*

% / @

< : /* # * # #$** F % / @ ?

$%*?: * # #$** % @</< $%*? & 4 H /

"/< 0

% / @

?

$%*

%"

**?: * # #$ ** %

@</<

$ %*? & 1 ?

/@$ %/ @ 0

@? <

<@ * $%*;

"

;

*<" H 0

< $

/$ *

/ . -

" (

% @</ .%$9 * &

< i

% / @CF0 #/ * # #< $@**$ ; ? %/$ $ "@$ * #<--

#$ P

"

"

** 0

/

*

-# $ @$0

/%<#$**?! <#

$ $ @$ 0

*$; E <* ; & J $ -

/"* % #$*$< 0 $%*? * #-

#$ **

H

$%*? % / @ ? & ' *<+ *

E <*

0 @?

%/ @

@?"

// % * i $ /-

%

@ 0 * # #$ ** $ .$ .

; " (H

* /%

0 " ( $ : / $ . <+ HD ;

$ @$ /" *?

& J #/ /%<#$ **?! <#

" $

$ @$

$ .@ % ; * /%

& i

< % %? $ + * /";

% / @

%

" # #

C F ;%

"

;H ;

"

# -

?

C F

C F0 C F / "

+*

$ %*; (

;

C F

C F&

8 $

# 0 $ .$ . HD ;

"

(

+

@$ . % (

* % $ @$ 0 $ 9 (

!- #$ *(H & 4@ .*

/" *< # $ @$ .

0 & J #/ %

% / @ ;%; ;

" # ?

0 C F 0 C − F

C/%

@$ . % %9 : ;

/%<-

#$ **?: <#" / " * " (*? F0 $ ? %

< / " +*?

$ %*; ( ; *<" H &

/ " + * @" / (

J $(

;

* 0

% !

%

E <* ;

& )<+* 0 @?

C

F "

C F

C F -

@? C F " 5 & J #/

% / @

@</ % $; ( // -

% * & f <$ * ; $ % $ $ @< * # $ / " * ;

*; ; * # #$ ** C * $

F0 ?

$ % / (

*

@</ &

) #";/* // %*

( + ;

% /* ! 0

@ **

" <

( 0 %

$ .$ .?

+ -

* $ % / ( "

; C $ #< " < ( ;

@ " "

0 * *

$ 9 * F&

/

*

-

G 0 /";

. % $9 * ;

$

<+ / * ;

$ ( E <* H 2 R → R 0 /"; $ !

• C F " C F C F /"; % :

R

• C F

" 5 C

% ! % %

$ /? /<D

# -

$ * $< // %*

( %/ @

F

• C k,F " 5 C % / @ <@ $ % * *<" H

% !-

% 0 % $ 0

"

#

" /< . /%<: $ /? /<D :F

• C F 6" 50 #/

/%<#$ **?! <# " $ $ @$ $ -

% "

(* # $ /$ &

n<D

% ** ./

( 0 * 9 *

k $$ -

* " (* & i $ % $

& ? ?

/%<:

/* : #$ * ! 0

<D **?

* @D

$ @$ √0

0 @√$

0.<H,* /$ %*/ @ ./$ (**?!0

$ <# " (*

$ *

<#" ?

# $ <# "

(* *

. $?

& >/ @* $ -

$ ( *

0 /$<# ! <#"

$ <#" (* C/% /$<# :

<#" $ <# " (*

$%*? F

@.*

# & √

,<#√

0"

$; <#"

(* # $ <# "(*

$

*&

0@?

<#

F

"

C

√

,Fk√

"

"

C7

"

−

@?

"

. $

0

@?

@?

. $ 0 <

*$;

*(

# "

* # "

$%*;

"

(

@?

( 0 /*

0 * 0

/ * ( < & 1( + * $ %% /$

√

, C

Z

F % " -

"

"

"

−

/ % $ ."

+ * * * + "

% *

/*.* * &

4*

" (* !9

$

2

$

$

"

&

* .% ? "* ? %$* # $ $* % R

* / Q 0 / " * : / @ .

$

$ Q-" * !*?!

E <* * "

2 R → Q 0

$%*?!

E E * < $

%

$."+ *

< @ . < & 4 % /* 0 % $ @ % * ;

$ @</< %? " * *? &

J >

( # *

# $

' ? ' + , + +

' G

? $

' ,

,

(

,

$

+

F'

#* (

/. '

?

#+

)

%$ **?: < @* : $ / % $ ; $* -

E * * ; */< ; % ; 2 * .*; ;

?"

!

* * .?% <H

"

< 3$* & n !

? + 0

/"

; 0 * $ $ $ ?

<D % % *

@ .

%

" * !* $

$*

% &

1

9 4

61

i< (

* <$;-

/ ** * +

% 0 % $ % ; ; ( %$:-

*H H #$* < & J #/ %

* + %

( "

(-

*?! "* 0 0 @ " # 0 /"; " H @ # "*

<-

D

%< "*

>

0 ;%";HD ! ; " (*? % &

C

!

+

/ * +

% 0

" H@? /%

"

*

$ -

#

$%* ? & $:*;; #$*

"* 0 @" (9 !

" $ %*?!

" H @ #

"* &F

i $ + / % # 0 " 9 ( * <-

$; / * 0

< * / $." ( "

(*? *-

@" (9

"* ? & i

! + $* ? %?*<+ / *?

< $ @"; ( #$ *$$ *<H * $< H

A@"

(9 ! " $%*?! " H @ # C" H @ < FB0

" ( <

-

.( A* *(9

" H@ # B C * /$ *?! %?: / . "+ -

* ; F .*" @? .* (

?

" &

<+ / * ; $

$ -

. " ( % %$; $

* @ .

0 * % @" @D !

<

C$( < *

*

" * !* * .% ?

!

% 0 $ .%" (*?

"*-

?

F&

"*

& i $ /"

+ 0

i< ( / * $ .%" (*?!

*

<D

%< "

(* # "*

0 @"

(9 #

"

$%* #

& .* 0

/"; " H @ #

>

* !-

/ ;

& J #/

< * !/

;

& / &

i $ /

+ ; $

/

* /

# 0 ?

$ -

% " "* ?

$/ $ %$"H &

/-

i $ % /

$

<+ / * <$ * C ?

+ * " (. %"

<

"

% "? 0 HD ; !F&

.(

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

/ *

@" (9 ! D *

C@"

(9 ! 0 D *

(

F& i $ -

$ # %.$ HD <H E <* H 2

→ $* -

E * * ! $ <$

&

.* * * *" (*

"*-

@</ $%*

& i $ /"+ 0 ? <+ .* %

.* * ;

*

% : "* : 0 *(9 : *$ #

&

" <

* **

.* * ; $*

$ %* ? &

i

<

<D

%<

:

%$:*;;

#$* 0 $; 0 %

*

0 @"

(9

"

$ %*

& .(

!-

"

-

*

"+

C F " $ * H * *-

*

(

:$ * ; & J

?

$ %* D *

0

$ %$ # %?@$< &

( $ @" 2

$

<+ / * 0 E $ " (* # %$; 0

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

* ! $ <$

/ .?% * ** (

D (H

$* E * * ! */< & ) 9 $ <$

%* $ /"

-

*

?

"

0

" 9 (

" <+

$ ** ; ( E<*-

* ** & j $ "

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

$ ! a0

; 0 "

/<HD .* * * $ /-

"* 0

" <+

$ **?! < * * * * 0 -

" < ( E <* H 0 $ /" **<H * %

"

* *"

(-

* $ . &

"

* $ /"* * *$ *"

(-

*

$ . 0 * * ** * *

$ * H 0

<

"/<HD .* * + $ /"* $ -

%$ &

="

8

$

$ *

@ .

;

C./

I0

& 6,F0 + * @ ! ( @ . * +

% @"

(9 ! D *-

& " * <$;/ * + %

D (H $ -

? 3 $ " &

$;/ * *

%;.*

: /*?

$;/

*

?

@</

@.* ( #

% " &

i $

D (H

$ * E * * !

$ <$

E<*-

H 2 →

% ! % 2 C F

C F >

/";

" H @ #

C,F

* ** %

"/<HD

? " 2 -

"

0 C F 6 C

F

C F C F * + @? (

$ #

*(9 C%

? " : /* #

$;/ 6F * $ &

" ; & m* * C

F /" ; -* *(9 #

"*

?

"+ $ %*?

" @

0

"

@

C

"/-

*

F& m* *

C

F / ;

"

(*?:

(

" @ %$:*;;" #$*

.* * ! C

0F"$

0

"

C $ /-

+ * H */< * + % : .* * ! " * !*

<$;/ * < *$<H %$:*H H #$*-

<

F0

" @

C

"/*

"

F&

" < * ** * + % .* * ! E <*

" * !*

<$; / *

%$:*H H

#$ * < &

#$ * C @ .*

F @" (9 " $%*

C$

( C

FF

;%"; ;

?

"

(*?

"*-

2

"

/"; *$ # 0 C F 6

0

$ %$

% !

%< C F&

M >

# ? + )

0

J$( %$

/ . " ( %

$ ?

@ .-

"

(.<;

"<

3 $* &

i<

(

$ .%"

(*

%$* $

$*

% & d

$ * <$; /-

** * + %

0

;D .

" * !* * .% ?:

/ * +

%

$

$ *

%

& i$;/

*

./

;

* 9 * A@? ( / * +

% B&

* *? & i< ( -

i $ %$ 0 <

"% ;

"? %?"

; *$ ; ( 0

(

! %

"

* !* * .%-

?: * +

% 0 $

" H @? /% * +

%

# -

! %

$%* ? & 4@

/ * % * + % -

+ 0 " < ** * +

% @</

"

* !* * .% -

? C

? * @</ %$:* ! #$ * !

"* %

F&

/" 0 *$%" (* ;

"

* !* ;

@ *-

; % " H %

@; - * * " %$ % 0

+ /?! .

% # * + % & : * + % * *

" 0 <

$ / * :

( * @" (9 %" H -

* H C% * *

" * !* <$; / ** * + % (

* @" (9 !

"

* F& * @"

(9 * +

% /$-

+ % %$? *$%" (* !

" * !* ! @ * 0

" * !* * .% $ /"

+ * H 0 * 9

*$%"

(* ; " * !* ; @ * ; " * *<" ; &

J

@$ . 0 +* $* ( "< 3$*

. " H ( 0 " H @

" * !* * .%

* + %

%$ %

/$+ ; % " (* " * !* * .% -

* +

% %$ % & 8

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

* /* #

%$0 *

./ % "

* !* ! .%

0

* ;%"; ; ? @ . &

/ .(

<D % %-

f*"# *? @$. +*

* $ # *" (* # @ . % #"

(@$ % $ $* %

C $ /"* @ .

/$<# 2 $.$ 9 H ; @ *-

*? " * !*? @ * 0 * ?

< ? $;-

/ %F

"

<D

% % * @ .

$* */ * * C-

" (* ; " # @$

* .% ; "* %

% $ 9 $ * "!F&

1 ? $% / /$<# ! $ $ $* * ; "? 3$-

* 0 #/ E #<$ $<H <+ .%

*? * *; ; &

1

; ! *?! $; / + @? (

$ /" + * /

"

* !* # &

i< ( C 6F * <$;/ ** * + -

% & J$ < %

$+ / 0

<D

%< * 9 * -

$; / 60

* 0

$ / " + HD

: /* C .* 0

6

60 F ;%";HD ; * 9 * " * !*-

# $;/ & C8

0 0

"% A" * !* # B %

E $<" $ %

$ ? *" (.;

.* ( *

"% A" -

* # B

*$ $ 0 " : /*?! $; / " * !*?! 0 *

* "

*?! &F

$ -

= %; ( $* * H "? 3$* 0 $

* <$;/ ** * + %

0

"* $ -

# @</< *? $;/ *

C ( / * + -

% * +

% × 0 @" / HD

% ! % $ E" -

%*

0 $ *.%*

* $* F0 <-

$; / **? % " H * H 2 6

; *(9 "

$%*?

6 0

"

6

$ / " +

6

C.

6

"/<-

6

F&

"

%

"? 3$* %?" *-

# $ %$( 0 <

* 2 " < *

(

!

%

*?: $; / % 0

"

* !-

* <$; / **

%" H * H 0

@

/ * *

:

$;/ % ;%"

; ;

*?

$; / 0

$;-

/ @</ %$:* !

#$ * !

!

% & Ci $ %$ 0 *-

$ $ 0 @ / * * @"

/

% ! % $*.%-

*

& i<

( 6

% /* . $; / %

!

% C6 F0

6 % /$<#

/ * . $;/ % C*$ $ 0 6 F $ -

/" +

/$<# ! 0 #/

6

6

<

6

% @

/ * * & d E"

%* (

* $*

(

$ %$;H ;

" ( + $

&F

n"/ %"

(* 0

"

3$* * * + %

<-

D %< " (*?! *?! $; / 0 $ /"

+ -

HD ! : /*?! & 4@ .* # 6 C < * ?

-

: /*? $;/ * % .* * 0 : /*?! *

@" (9 * *<+ *F& ) * / .( 0 * @</

"

-

* !*? & i< (

/% *

$

%* ?: "* &

0 0 $ $

d 9 $ $;/ / * % # $; / 6

60

&

* %?!

$;/ $ / "; ;

2

60

0

C F

"

6

" C,F

6

6

& )

"+ *

$ -

%$( 0 6

0

@</ *?

$; / & d E" %-

*

(

% /* & J$ *.%*

( 2 "

60

60

0

( ? $ % .+*

& "

% @ :

" < ;: -

" < !

C F0

6

6

%

% /* & "

60

%

" <

C F0

6

%

" <

C,F0

6

6

6

0

6

0

%

" <

C,F& f* "# * $

-

$% ; $*?!

" < ! & ) * 0 /%<$* ;

?" * C,F * % .+ * 0 #/ C

6 F0 C

6 F0

C

6 F C

6 F0 " <

; 0

6

6 0 ?

$ /-

" #" 0

*

$%* ? & f*

$*

(

/ .?% ; * "# *

& J @$. 0 * 9 * 60

@</ *? $;/ 0

$ #

/$+ D 6 0

$ %$ " (* &

!N > ( / + +

+ F

F + # ' ( A A ( A

A ( A

A ) )

+ , ?

* ? '

) @'

$

?

* ? ' +

/

? * ! )

( $

!

?

'

/ + # '

' / $

. ) > ( / +

?

/ . $

' ?#

,

?'

? # # ?' ( ( ? $

' ,

) H

)

? ,#' #

(

, ?

/ . '

0 1

? , ?# 00 1 0 )

#+ , ' ( *

F

# 00 1 0 ?

'

+ ?' #/ )

J $( ? + /. ( *

"

( < %$+ / * !

D * ;: &

×

1

8 "

@

* * 0

* +

%

× N $%* D * &

" * <$;/ * + % & 1 ? <+ .*

C &

& bIF0 % ; !

"* * +

%

/* .* *

$ /

%" ; ; % % /

0 #/

$ /" (*?!

"*

C* HD ! * $ /

% ** $ /? /<D # F0

*-

<$" (* " & .* 0 $%* D *

×

× N 0 #/

* +

%

$ / " (*?: "* % &

CJ<

( * @" (9 ; $</*

(

"/*;; #$<

"

*-

% * * 0

" % * +

%

( * @" (9 !

"* &

) ? <+ .* 0 / @ %"* * * # "

*-

# * + % * *; D* 0 + *

$ * @$ ( &F

J$( < %$+ / * $ ? % /* 2 × N $%*-

D * C

×NF ×N 0

(

× CN ×NF ? ×N

C$ .% / *

*?: * +

%

* F0

(

&

i $

8 *$ l$*9 !*

H /

"

/< 0

$ + < *? D *

C% *

0 | |

| |0

+

" H @ $ .% / *

* * # * +

% F

% / H

| |& D

/*

"/

% ".* %? / " ( 2

1

n< /%<: @ * *?: D * ! $ %-

* : < < &

i $ + / % # * * 0 " H@? /%

D *-

$%* ?

C$ ,I0

& caF& i <

( 0

+ 0 | | 6

6 |

|& J #/ |

| 6 | | |

|

6 |

| |

|

6 |

| × "