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

" |

| C "/* *$% *

% < %$+ / * $ /? /<-

D ! $ ? F& 4

; % " (. % ( ; $ ! 8 *-

$ l$*9 !* ." H ( 0 |

| " |

|&

J$( +* / .( @

"

" (* < %$+ / * &

1

" @

* * 0 × $ %* D -

*

&

m 0 /";

* # * + % C 0 %$ -

0 /"; * *<<

*

!

* % +* F ?

<+ .* & i < %

( / * + % 0 $ %* D -

*

% < % /$ < &

d

$

! % % : : / * + % %-

% %<HD @ ; &

"* #

! % @</< $? h

i0 #/

/ * +

% 0

2

→

×

%.*

/* .* * % % &

% / *

! % *?! $;/ 2 h

i 6

6 h

i0 "

#$* * @$+ * ;

*

% /

C$

& bF&

d

& b & 4 @$+ *

%-

%.* /* .* *

% + /< "

? % /

$ #

$ * !

/ @-

%"; * < %.* /*.* *

% %

+ /<

\

A<# " B

C

×

F \ C

×

F&

J$( $*

"< 3$ * & ";

# *<+* <@-

/ ( ; 0

" H@ " * !* <$;/ ** C% ?

" -

** # $; / F * +

% $ < .** # % / -

%$:*HH #$* < &

/

0 @

/ * %

$-

%? * * ?

: $

< ("

: @ / * * &

8 @? * 0 #" % **

( @$ + * ! C#$*$<-

; $ /"* $;/ F .%";

/ * ( @$ -

+ * ; % /* & @$+ * C* . %

# F @$ -

+

%

& 4* @</

* ! 2 .* *; C 0F

C 00F $ $×

0

00

." *? :

$." *?

C% .(

@ " (-

9 . * +

% 0 $? $* /"+

0

00

* *

;%

"

; ; *

! $ /

"

+ * H F& n /$<# !

00

-

0

;%"; ;

H $ ! 2 /"; " H @ ! $?

$ *? 0

% .( * +

% 0 . $?: $ .h9" i 0

00

×

0 %?@$ . * : @ " (9 % * 0 ? -

" %.* /* .* *

% % + /< * #

% /$ &

3 $*

% * 9 * <$;/ **

i

"

* + %

<D %<

"

(*?!

"* &

i< (

"*

(

h

i&

1 ? .* 0

( %. -

*

/*.* *

%

%

+ /<

×

< |

| " |

| × | |& J$(

( /% % .+*

&

"

$ %* D *

0

×

$ %* D * ×

%

/ .* & 4

"

(

$

$ (

"

< ! 0 #/

*

$%* D *

0

( *(9 <H D * ( C@

" (-

9 ! * ( * + 0 @</< / * + % F& i< (

%9 ;

;

( 0

( \

& J #/ | | " |

|

" C

F0

"/ % " (* 0

$%* D *

@ "| (9|

|

D| | *|

& .(

%

(

0 0

$%*-

D *<H

0 "+

0 "

0

C$

& cF& 4@

0

0

d

& c& i $ / " + *

% % ;

*

0

"

0 &

0 ×

* + %

0

$ %* D *?

& i <

0

$. @ %-

; * e 0 + / ; . $?: $%* D *

×

0 0

"/ %"

(* 0

$%* D *

C* * 0 < *

(

%.* /* .* *

% %

+ /<

×

F&

%

/

0

n %

+* $ / " + (

% % ;

+ /<

0

0

×

0 0 / " * % #

% %

+ -

/<

0

C

0

×

0F \ C

×

F C $.*

(

. $ :

* + % 0

$ %* D *?:

0 $ %* D *

F&

#

?

" <

@" (9 <H

$<

h

0

0i0

$ -

%$ < %$+ / * H "

?

3$*

" (*

&

J @$ . 0

" < ! * % .+ * &

?% / $( *$?

"/ % ; . / .** #

< %$+ / * ; &

*

1

C F i $ .% / * /%<: @ * *?: D -

! $%* @" (9 ! . * : & C F

" * + %

@

-

* * 0 * + %

%

:

"/ %" (*

! /"

-

*?

50

%"**?: .

"

* %

0 $ %* D *

&

C/F

" * +

%

@

* * 0

* +

%

%

:

* *?:

"/ %" (*

! 0

%"**?: .

"

*-

%

0

$%* D * &

i $%

< %$+ / *

/ .?% ;

$

2

"

| | 6 | |0 | | 6 | | × | | 6 | | × | | " | |&

$ < %$+ / *

"#

/ .?% ; */< !

" 2 " | | " | |0 | | " | | × | | " | | × | | "

| |&

"

J$ ( + $

2 * +

% * *?:

"/ %-

(*

!

(

' ' '

+ / ; . !

C$

$% ! 0 $ !

+ *

$ * @$ (F $ %* D -

* C / .** <F0 < %

%

( | | ×

× " | |&

m 0

.

"/* #

< %$+ / * ;

$ ?

%? 0

! %

% : * *?: / * + %

@ * * # * + %

< + D *

( 0

C / * + % * @"

(9 0

* *?:

"/ %-

"

(*

!

*

*(9 0 /*

"

* *?: / *-

+

%F&

!! > #, 0 + ) @

( |0 | 3 |I |)

!% . ,

3 $ I I

D D D $

' # ) > (

, ' . , ( $

' + , . N ( N ( N ( D D D

> $

( 3

I )

J$(

? + / .(

< * %9 ;

$*

< %$+ / * $%* D *

@ .

% &

1

H@?

/%

@ . % @ * *$*

%$* $ $ * % H / * %<H D*

( &

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

%$ ! & ";

+ / #

%$

. $% # @ .

E

$<

!-

" @

@ %? $.( # $ . %$? %$ # @ . &

%? $ + * < %< * * * + % %-

$ %

%$ #

@ .

& J

@$ . 0

(

*$ ;

E <* ; 0 $; + / < %$< $% # @ .

-

% %

% % *$ * * * +

% %-

$ % %$ # & 8

? " ( % /"

0 % .+*?:

.* * ! ! E <*

" ( + 0

"

(

"* % %

%$ @ . & 8 $ # 0 $ @$. + / # .* * ;

. %$ % $% # @ .

0 %? $ + HD : ; -

$ . / **?! C * *?!F * @$ %$ % %$ # 0 -

< * * & ?: / 0 $%?! @ .

$. @ * #$<-

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

# #$< * @" (9 0

%$ % % %$ @ . & i

< D *

( $% #

@ . * $ % : /

D*

%$ # 0 < * + ** !

*

C # 0

?

.* 0 D *

(

@

* * #

* +

% * *; ; F& 4 "

( $ %

$ -

* $

<+ / *

"

( ; * $ < 8 *$

l$*-

9 !* &

0 "

&' $ * .?% ; $;/-

8 ? <+ # %$

"

%?!

%" * <$;/ ** #

* +

% 0

(

"

% : . $E *?: <

<$;/ **?: * +

%

C

% ** 0 * @</< %"

* <$;/ **? F&

) $ / *"

:

% ** $ /";

;

" * !*?! -

$; / & ' @?

$%* ( /% $ / *"

0 % .( :

$ / %"

& i $*

$ <

,,

-

$ 0 ! . $

:

" < %

C

. $E * *"

(* <

$ .<

0 "

* < % #

* +

%

. -

$E *?

. $E * *" (* < $ .<

0 "

* <

%

#

F

& $%

" <

0 % %-

$

"

0 % $ (

&

! 0

* %-

1 ? %" ; $</*

%;.**?:

* ; $ * +

% C & $. /"

&bF

E $ "

(*

+* $%/ ( * 9 $

<+ / * ; 0 ?

D

@

</ &

i *$ ?

% ! % $ / *"

% &

• 1 ?

$ / " " * $ /*" : " *!*? !

$; / &

$; / @</ " *? 2

" H @ * <

!-

% $ / *"

% * *(9 ! "* C$ -

, $ .* " 9 ( % 0 ? * <$ @";"

"% A$ / *" B0 # %$ " $ /

%" ;:F&

• i< ( *$?! $ / * " & d

$ *-

" (*?! $ . 5 F % "

$ / *"%

C @$ . -

% **?! % $ / *

" 0 *(9

%

? "

< .** # $;/ F&

$ . <$;/ *

<

C

( . $E * $ / %"

;

$ /-

*"

F&

/"

0 < (

/ *

.

$ /-

%"! $ / *" & 4$ / *" ? 0 *(9

0 -

% %<H

@ % **? C*

% / HD

F

*" (*? $ . * +

%

& J $ .

H % / 5

F

? * : /; ; % %.*

/*.* *

% %

"*

* + -

%

& C # $ %$( 0

% %

:$*; $;/ &F

n .** +* $ E $<" $ % ( 2 + /?!

$ / *" <$; / * * + % *(9 : $ /-

*"% & C /* . E $ " (*?:

$ * ! $

$ / *"% + /?! $ / *"

* + %< % :

*(9 : $ / *"% &F

• 4$ / * " * .?% ; ' ! " ! ! +'! 0 "

<D %<-

*

$ / % ** $ /9 %<HD ! < C%

?

"

< .** # $;/ F $ / *" &

" # * 0 $-

/ *" * .?% H " ! ! +'! &

• H@

#$* **

! %

$ / * "%

*<H %$:*H H #$*( C* *(9 ! $ / *" 0 @

" (-

9 ! " $%*?! % $ / *"

! % F&

/" 0 % .(

!- $ / *"

0 ;%";H -

D ! ;

%$:* ! #$* ! & J #/

%

$ / *" ?

-

! % . $E *?

*" (*?

$ . * + -

%

0 $ / %"

;HD #

$ / *"

& "

$ /

: $ .% (

0

@</ * ! %$:-

* ! #$*(H C * @" (9 "*

!

% F&

" * 0 $ . H % /

5

F /" ; $.-

" *?: "* %

& d

$ * +

%

%

: :

"* %

&

"

* #$* * %

0

@</

* ! %$:* !

#$*(H &

"

#$ -

* * 0 * *<H

%$:*H H

#$*(

0

5

F @</ * ! %$:* ! #$ *(H

!

% &

1 +*

.( 0

! % $ / *"%

@? <* %$ " (* %" * <$; / **

!

%

" H -

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

. $E *

*-

$ < *"

(* <

$ .<

#

!

% & i <

? * /"** $/

$ %$ H 0 "

.:

$

$ ( * +

%

%

: $ / *"

%

C% /(

/"

;

% ;-

#

%"

* <$;/ ** #

* +

%

(

D

@

"

(-

9

/ @ % * < * %?!

"

* 0 @"

(9 ! % : $ -

/? /<D :F&

$/

* .?% ;

$"

$

%

"

$

&

"

&

&

(

' '' *

!- @

, *

)

: 0 * % / ; % $ -

8 + $

<+ / ( @ $ / *"

%$ ;

$*

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

@

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

: $ / %";:

%

-

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

( $ B&

$<# ! /: / C$ /"+ **?! E * ) ! * F $*;-

; $

$ * $ * +

% 0

* $ $* %

"/<HD 2 ? @

;%"; -

+ /?! $ / *"

$%*? * + %< % : *(9 : $ / *-

"% & J #/ *" (*?! $ / *"

5 C$;/ %?! <-

# * + % F @</ < ? * + % 0 "/<H -

D ! . * $ / *"

C$; / %?! /* "* * #

* +"

% F @</ {5} " { }0 . , " {5

} " {

{ }}0

{

5 ,

}

"

{

{

0 e "

{

5

,

}

& / & m

}

{

{

}}}

% *-

*

"/<

$ / *

"

C

$; / %?!

* +

<" $ " (*?:

" F0

$ %*?! {5

,

' ' ' }0 "

{5

,

' ' '

}0

,

"

{5

,

' ' '

}

& / &

1 ? * @</ # %$( /$ @* @

-

! $ * + % 3$ "

j $ *"

; 0 * /% @-

;" ( %

"

/<

(

%

% /< &

- $%?: 0

%

* !

* * :

@

% 0

$

* +

% 0

(

$

&

$

!'

&

'$ +'

&

C"

#)

'

& F0

$ ;

#%$ 0 /% @

0

/$+ D /* +

" -

* ? 0

$%*? & i

<

<D

%< " 9 ( / * @

0

*

/$+ D !

"* %

C <

* +

% F& -%-

$?: 0 % * !

( $ & $

' &"

$'& 0 $; # %$ 0

* 9 * E <*/$% * 2 % % ; * + %

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

( " -

*

0 /"; $ #

∩ " & 4 H /

"/< 0

* * + %

* + @? (

%

"*-

C * /" ; * + % { } *$<9 " ( @?

E <*/$ % * ; F&

#

' (

#. $

!4

# A ( ( ( ' A A )

j

"

E * $ **?!

@ ; *"

@?

?

"

? E <*/$ % * ; 2 * +

%

$ ; ;

. $*

$ **?: * +

% 0 * * ;

< # 0

< %.+ * */< ; $ * H C/ .?% ;

-"

@

% !

%

* + % 0 +*

$

<+ / (

*-

/< %*

$ /" # ( 0

* %$*

/"; % : #

"* %F&

$ / *" ?

& l </

#-

J$( +* $ /" (

%$( 0 * + % " $'+& & '

0 " % ; !

" -

* * + %

;%" ; ; / * + % * + % 0

( " .

"/< & ) . %

"

&' $

$*.%* * +

% 0 % ; ! "* -

$ # $*.% * & $ @ % * #$*$< 0 *

"* : " H@ # $ / * " * 9 * ;%"; ; C $ -

# F *? $;/ &

#$ *$< 0 *?!

f E <*/$ % * ;

$;/ * " H@ $ / * " ;%"; ; E <*/$ % **? &

i

"

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

;

" * !*? C 0

"/ %" (* 0 " *? F&

!=

5

? , #'

?

$

*

(

(

, )

7 > # ,

*

? ' ) @ (

$

' ' '

? ' ) 8 @ (

? ,# #/ # F / ?

#

# $

/

(

#

, ) 9 @

$

( + # , $

# # #* * *

, *

( * ' ' ' *

) B

+

(

#? ' ? ? $

) @ (

' ' ' $

, * )

m

D

0

" + /?! $ / *"

(

*-

+ % % : *(9 : # $ / *"% 0 * ; %$:*;;

#$ *( * +

% $ / *"%

( : @

/ * * &

1 ? * @</ /$ @*

$ .% % (

/: /

- $ +* < @</ * %* $ / %"

; (

@ $ / *"

?

$;/ %? ? %"

* <$;/ **?: * + % &

i $ + / $ !

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

*"% 0

% !

% 2

1

i< (

/ * + % %" * <$;-

/ ** # * +

%

& J #/ $;/ %?! * + -

%

* $ %

: / $;/ % # * +

%

&

4

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

"

;%"; ;

@ % **? / * + %

& ) $ -

$ 0 *? * <$ " (*?

" H + $;/-

%?!

0 % * <$ "

(*?

" &

d

<+ / ; $ %* # 0 $ /"+ 0 $;/-

%?! * +

%

@" (9 & J #/

. $E * *-

$ < *"

(* < $ .< * + %

0 *

% /-

HD <

%

& i< (

%$:*;;

#$*

C%

F

# $ .0 2

→

% %<HD ! . $-

E. & J #/

$ # % .$ < C

F >

/";

% :

C$ cF& * 0 C

F >

0 *

$ /

"+ * H

" H @ .* *

C F *(9

$ -

%$ &

1 ? $ /" "

< < $ .% / * " * !* <$;-

/ **?: * +

% % $ ./" ,& & C) * 0 %

"* ? $ /9

%<H "*

0 % ×

?

*"

$%* %

-* * ? $ 0 %

" < :

$% * %

-* * ? &F

# $ %$ (

"/<HD

% !

%

"+ * ; 2

•

n"+ *

%* 2 C F " C F &

•

n"+ * * < %* 2 *$ $ 0

" 0

* 6" &

•

4 % /* 0 5 " 5 " &

•

n< % .$ $ $

%$ # $#< * 2

-

"

0

& C

/" 0 < (

0

* <

. $E * *

(* < $ .< %

"

% #

"

& @ %

< . $E.< + /-

% ** @$+ * * " < . $E.

+ /<

*" (*? $ . %

0 -

" *?

&F

•

n< * <@?% $ $

$% # $#< * 2

-

"

0

6 &

C

/ " 0

. $E * / * +

%< %

&

/-

* +

% * ;%"; ; *" (*? $ . 0 * ?

+ %

"

(. % ( ; $ ! c&F

• 4$ / "*

< ?

#" % *

@ .* *

/";

"

/<HD # .

$ / *" & Cm/

(

-

$;/ %?! /* "

* * # * +

% &F n"

/<-

HD .

$ / *

@</ $ / *

C

F

"

C

F

"

"

, & / &

"

• "

> 0

<D

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

*"

0

/";

$ #

&

C

/" 0

. $ E* *"

(* < $ . < %

%9 ; ;

(

@</ ? $ / *"

&

/ * % *-

*

(

"

/< . * **

"+ * ; %$ -

< $#< * < &F m 0

< $H + *

•

* .?% ( A%? *

"% B&

A ? *

$ % B0 *$ % 0 % .+ * * % #/ &

i< (

*$ ?! $ / *"

& J #/ <$ %* *

"

C *

" (* F $ 9 * #/

"

( #/ 0 #/

*$ /"

(*?! $ / *" 0

C & & #/

* @"

(9 !

"* F&

4 $ /"*

< ? /%<: $ / *"%

%

" <

-

%* +* $ $ $ * ( * " H@ * * -

"

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

< <

' ' '

* !

"/ %" (*

$ / *"% C

"* ?

$ /9

%<H

"*

$

%*<$

+ /-

#

$;/ $ +* ! F& 8

"#

$ %$( 0

*-

+

%

/ ! %"

(* @</ %"

* <$;/ **? 2 -

@? * ! *" (*?! "* % # / * +

% 0 $ -

$ * * ? 0 $? / * + % ./ %-

0 %?@$ .

* : * * <

* *(9 *$

%

" (.<

;

" * ! <$;/ **

(H &

$ * + * .* ( * <$ " (*? -

* +" *

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

<$;/ **?: * + % 0

P