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

1

31

.1

3 31

01/2

1

4 -

$ / " h

i {{ }

{

}}& J#/ %? " ** < .*-

* %? 9

% !

% 2

h i " h i " " '

i< ( h

i " h

i& i $ / "* H .*-

0

{{

} {

}} " {{ }

{

}}'

J$( *<+ * <$* $. @$ (

"

< C* < ; $

{ }F& </ @* / " ( %

"/<HD $;/ &

i< (

* "

6"

& J #/ * +

% {

}

-

. /%<:

"

* %

& d . * $* /

"

+

% !

$% *

$* /"+

"

% 0

$% ! & m* 0 * $ %-

* " @ { }0 " @ {

}& i$% * % .+* 0

/%<:

"

* * * +

% * + @? ( $%* /*-

"* * < & m* 0 {

} " {

}& n /$<# !

-

$ *? 0 /* "* * * +

% {

} $* /"+ " -

% ! $% *

% 0 < * $* /

"+ $ % ! 0

< $ %* { } C

" ( <" *

+"

@? (

$ %*

/%<:

"

* * <F& 4 H /

0 $ -

@ %"

( &

" < ! 0

f*"

# * +* $.@$(

$*?!

#/

6"

&

"

"

4 " ( $

$ (

< H 0 #/

"

&

" < {

} " { } < "% ;

(

/ ** #

* $% *

%

( {{ }}& f * "# *? @$ -

. 0 $% ; #

(

( {{ }}

0 <

" 0

% ? $ "*

0

0

0

% / H &

m 0 % .+ *?

/$<#

$ /"* ;

<-

$; / ** ! $? 0 /

"

; $?: *"# *

< %$+ /-

*

%$* 0

* #

AE"

E

#

?

"

B %

$ /"

* *

$

</ @*?! :*-

! $ &

'

=4 @

#

G hA < i 3 {{ < {A}}< {{ }}})

1 D * * *?: * + %

* <$ " (*?

"

0

: +*

"

/?% ( 0 < * + ( 0 % .% / ( %

*( &

$ + * @ @D ( * D* @ *-

*?: * +

% 0 /" ;

&

+ ( :

i< (

/% * + % & ' @?

D *

0 * / %.; ( D*

( * +

% "

0 "

* $

H

; &

"

* $ H ; 0 : *-

/ .* ( * *$ HD ; $%* D *? *-

+ % 0

0 & 1 D *

( @ / * * ; @</ %

D * ! * + %

&

< * * ;

D *-

' @?

. @ + (

!

;" (*?: @ % 0

"/<

(

%? $ + * A D *

( * + %

(

< D *-

! * + %

B /

%? $+ *

C

.** %?9

# $ /"* F& ) ?

/"

; </ @-

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

$ + *-

; &

@? $ %$( $$ * (

8

$* "/ %"

#

$ / * ; / .( 0 D *

( * +

%

0

0 * .% " # 0 ** *$

HD -

;

0

0

* + %

C$%* D *?

F ? %?@$ &

C' 0 %$ 0 % /* &F

% " < ; @? *

" -

"; * *?: * +

+ * * <$ " (*?:

"

&

/ %

@?

D

/ .( 0

) * 0 E $

(*

0

0

+"* %?@" $( &" +*

/ " ( 0

*$ $ 0 2 "+ 0

" × {5}

0 "

× { }&

+

!

i "/* ! $ @"? * @</ $ $ /"*

"

&

!'&

D *

! D *

/$ % $ .% /-

* ; ×

& C) " (*?+.* ;

H

; %

" &F

$

J$(

$ /"

! !'& !

!

!'+ &

";

#

$ C/"

; / **?:

F * +

% %

: E <* !

% / 2

→ C* * 2 .* 0 : @" (

$ /"

* ; (

0 @"

( .* * !

/$+

; %

F&

* +

% @ .* ;

0 # D *

( @</

$ .<

"

( $ % .% / * ; %

*( &

"

-

" * +

%

* *? /$+

* %

%

% ** 0

/$+ $ .

"

-

* % &

/ " 0 $ / ";; E <* H 2

→ 0 ?

/

" + *? $ /" (

.* * * + / .

"*-

% &

+ *

/" (

@ 0

" <

%

#

%$* % &

#

*

# ? /

C G

==

$

F )

4@ .*

$ . ,

-* @</(

* +

-

%

. /%<: "* % 0 *$ $ 0 {5

}& '

,N

i $ / "* H * +

% E <* !

2 N → {5

}&

J

E <*

<D

%<

"

/ %" (*

-

*<"

! / * 0 "

( %

' ' '

? 9

C5F

C F

C,F

' ' '

Cj $ "

(*

"/ %

"

(* ( " -

* %

*$ # * + %

$ /"; ;

E <* ; N → &F

m 0 ,

$%* D * C F C% *

" <-

" N ? / .?% "

/" ; @D #

" < ; /-

. "

(

% + F&

"+ * ; < * + * ; C <-

4@? *?

% ! %

%*

( 0

%*

(

/

$@< %*

(F

:$ -

*;H

" < /"

; $E D * ! 2

C

"

F

F

"

C

×

"

×

× C

×

F "

C × F ×

C

F ×

" C ×

F C

×

F '

j $ "

"%

A D -

(*

:

"/<

( 0 .@ # ;

*"

(B

; " (* # @ 2 *$ $ 0

×

"

×

.* 0 ×

× $%* D *?

C

"#

$ %$( 2 h

i 7→ h i @</ %.* /* .*-

*?

%

%

+ /<

* F& 4 "

(*?

% ! %

/ .?% H ;

" ( + $

& ' < (

"+*

% ! % 0

%

" H HD % .% / * %

*( 2

C

"

×

F

"

×

C F "

× '

i $ %$ $% . * : & G. #

Cl <-

/

( 0

* $

H ; &F

#

"*-

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

*

& J ; E <* ;

. /%<: ! 2

% #

<+ * ;

*

C.* * ; * $#< * : .

H ; -

+ 0

" (*? @$ ?% H ; F

% #

<+ * ; *

&

J

? /"; + / #

"

* * + %

?

"

< $ <

"

* % .

& @</

-

%.* /* .* *

% % &

F ×

n

% % + /< * + % C ×

×

? +

" % ; & ) $ $ 0 "*

% CR × R

FR

( @$+ * R → R × R 0

* +

( $% ; 7→ C F " h C F

C Fi * "

& J ;

$% ; ./ ; $ ! E <* !

2 R

R &

% $ ; *-

n % % + /< C

F

× →

" ( $ + & "*

×

;%"; ; @$ + -

*

×

→ 0

( 0 %

@? * !

$ * "# 0

E <* ! /%<:

$#< * % C$%?! .

0 %$ ! .

F&

"

.E $ % (

%

* !

%$ !

$#< * 0

<-

2

→ 0 $ / " ** ;

"

;

E <* ;"

* 9 *-

C F

C

F

C * 0 Ch

iFF& 4 @$+ *

7→

0 $* /"+ D

C F 0

%

%< "* <

7→

× & C4

: /* ; *

$< ; % $ ;

# @$ 0 #/ * #"* /%<: $ **?: $

% "

-

$% H * #

"

* /* ! $ ** !

E E-

* % "

( * #"* % %$ ! $ ** ! &F

1 D *

(

* # * + %

%" @ .*-

;

0 D *

(

* *<<

C$ . " * + -

% @ * *?:

"

/ %

"

(*

! *<

"

! / * F

&

@ .* ; c & i $ / "* H 0 c " ,

C

% **?! %$

2 %

? " */ 5 %

0

+ 0 4@? *

@ .* * *(-

9 <H * *<H D *

( C ?

<% / 0 ;

<D -

%< F& = . * *<< 0 $ ! ? < *"

*

& e 0 < %$+ / 0 c

" &F

G.% *? *

% ! %

*?:

* + % + * . -

( 2

•

"

/" ; * * # C @ / * *

* #

* * #

* + %

* F

•

"

C @ / ** /%<:

*?: * + %

* F

• ×

"

C @ / * *

* # "

*?:

* +

%

* F&

4 H /

+ *

E $ " (*

" < (

* #

E ?

* <"; ;

D * ; & )$ $ 0 $ -

% *

%

c × c " , × , " , " , " c

.?% 0 $; ;

"

( $%* D *? &

f*"# *? @$ . 0

c " C, F " , × " , " c '

=E C+O' ? +

# G

c c 3 × c × c 3 I × c 3 I K × I

3

I K

3

I 3 c D

=J > , ( $ × c 3 c )

i $% /

**? * % !

% D * ! "

.*

-

(

$ ! 8 *$ l$*9 !* & )$ $ 0 . -

0

c " , 6

6 c " c

<

"

c

C "% 2 * +

%

% : @ *-

*?:

"/ %

" (* ! * <$ "

(*?: "

D -

*

( * *<< F&

=M

>

# ' ?,# $

,

?

F

'

?,

'

. $

K 6 ( K 6 ) > , *

' #* ?

F ? ( ? )

,$

EN H

' # ?

'

# ,

F

,

<

( ? ,#'

F ?

+ (

,

+

K

D D D)

E$ > , ( c$

3

Ic ) ? ( ?

&

. , + , . ##

)

# $

F

E! &

. ,

?

,

*#

'

#. $

, ? ,

E% &

. ,

# $

F ,

*#

'

E- ?

#

, * '

+ , ( / +

*

/ $

?

#/ #/

,

"/ % ? <% / 0 /"; @ * *?: D -

*

!

× "

" C

F0 * # ? / .(

* + & i

<

% ./ :

ec0 e6 * $ 9"

( %

-

"

(. % ( ; @: /*? * %$ 0 @? / .( 0

.

" c

"/< " c

" " c & n"/<HD < %$-

+ / *

@ @D $ 2

1 9 " * +

% ' '×' ×' ' '× $.@

* *$

HD ;

0 * !/

; -

0 $ $ D *

(

* *(9

D *

&

/ " 0

$

$

$ H

* + %

× ' ' ' × *

& "

: ; @? $ /*

*

$?%

" *

(H

0 %

/ .* &

" * 0

%?@$

/" ;

+ / #

* $? <H

<

&

) @$

h

' ' '

i *

%: /

*

%

/*

. * +

%

0

$ %$ $ / "+ * H &

m 0 % E $<" $ %

# < %$+ / * ; C-

$ * #/ * .?% H

$ !

8 * # F # %$ ;

/$ % $ .% / * * * #

"

* +

% 0 -

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

C + 0 ×

×

×

@</

; ( . $ h

i0 $? < ( $?

hh

i

iF& $ % $ .% / *

* # " *-

+

% <+

* $ / " 9 ( & ?: / ! 2

× × ×

× ' ' '

C *

"

* + "!F + *

$ /'"' ('

* +

% %

:

"/ %"

(*

!

0 <

$?:

0

( * +

% % : E <* !

0

$ / " **?: *

N .* * ; % @ / * * % : 0

$

C

F

$ %

:

& i " # $ / "* ; -

$ 5

#

$ *

; *

*? C + *

"

" H @? F $ .% / * ; &

* # +* E $-

i$ : /; $ * ; 0 $ < 8

<"

$ % ( 2

" $ %

:

"

5

,

' ' '

/" ; D *-

!

%?

" * * *$% * %

0

> ? %; 0

c × c

×

' ' '

C * $ .% / * F $ %-

0

(

"/ %

* c

c 0 + *

E $ <" $ % (

$ ? 8

* # 2 " * *<< $. @ * * -

" / * +

% 0 /* . * : D *

( *-

*<< &

? + # )

E4 @

E= > #, $ < K < < D D D . ( ? > I '

" ) > (

$ K D D D 6 $ × K × × D D D

EE ># , $

K

D D D / . ' ? $

, , . ) @

( #

K

D D D ?

' $. )

) * 0

@* $*?

*9 *

* * + -

%

* .?% ; / * + %

×

%

h

i 9 <

&

l *$* * 9 *

* * + %

* .?% ;

' !'& !

& $

!' '

& 0

" %?"

* *?

"/<H -

D

% !

% 2

• C$ E" %*

(F /"; %

:

• C $*

(F /"; % :

• C$*.%*

(F

/"; " H @?: " -

* %

&

G

"

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

< %$+ / * 2

" * +

$ . @ % @

1

C F

%

/-

* * *$ H D : ; / * +

% 0 * 9 * A" -

+ ( % /* / * + % B ;%"; ; * 9 * %-

%"

* *

&

* 9 *

% %"* *

" < ;

C F ;

**?

@ . *$ # $ . @ * ; &

i$% < %$+ / *

% % /*

? $% /

/ . "

(

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

.<H ; %

<* ? $ /"* ;

% %"* * & G 0

< ( * 9 * % %"* *

& "

; + / #

" -

* $

$ # $ & $ !' ' &

* + % % :

0 /" ; $?: %$* &

+

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

0

*-

% " @ * $

H ; 0

"

@

% / H & i< ( *

$

H ; 0

(

H

@D !

"*

& J #/

0 </

C $*

(F

C$ *.%*

(F0 +

C $*

(F&

i-

< /";

" H@ #

.

"/<

C$*.%-

*

(F * @$ &

" <

-

4

"

( .( 0

%

$ E"

%*

+ /?! "*

$* /"+ ./ % <

"

< 0

( / ! %" (* % * +

% $. @ * *$ -

HD ; "

? &

EJ

>

(

+

'

$

,

G A A

?

+

' )

EM

,

#. $

# { < I < < < }

JN

'

$

( +

K ( /. K

$

) # ? A

A K A

,$

# * + ,

, ? +O$

$ ?$

J B

'

+ * 0

+

(

# ,

) @

( ' +

1 0 ( $ ?

*

? # # )

>

3

G + $

+

(

+ $

) >

3 I

3 I #

# ,

G + *

/ +

, +

+

* ? ?

( + +

$

* ? ?

) & * # $

'

( / + / , +

? ? ( + ? ? ( $

'

' , )

$

1 * + % "

%

% %"* * * .?% H

"

'

!

"

* + %

* 9 * H

% %-

"* *

& C