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

( #. # ? +

( ? / +#/ # $

) C

'

> ! )

G. $ ? I

"# " < ( *# /$<#: < %$+ /-

* ! $ $%* D *

( #$

: @ % 2 $<#

$%* D * $<+ *

0 $; ; $ %* D * "

& &

+ .( 0

$ $*

%

C

1 +*

$ # ./ H ; $ ; $ / * h

iF $%*-

D * "

C* / ./$ % ( $< h

i

/*

"F0 0

"

/ %" (* 0 $; ! & J

+

+ *

$ /"

( /" ; $

$ * % @" (9 ! $. $* &

-!

@

(

? $

, ,

. R #

, )

-% @ ( + ? $

, ,

. R )

+

4 0 ? * < / .?% ( 0 *-

% / !

%" (*?: " C" * +

% @

*-

*?: "

/ %" (*

! *<"! / * F *

* &

@</

/" * % $./" &b &

* .?%-

1 D *

( * +

% / ! %" (*?: "

H

# '

+

'

&'

$ C "

*

#

"% 0 .*-

HD # A*$ $?%*?!B%% ; % % /< 0 *

$ . + *$ $?%* /% # ( ; /* # *

/$<# <F&

4$ /"* $ %* D * < *; * < %*<H

/ H * +

% : A / * % # $. $B& f

E $-

" (* $ /"

( 0 #/ /* * +

% A@" (9 B /$<-

# #

% # ' &

' ! # + !

= %$; 0 * +

* + %

0

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

+

%< * +

%

C% .+* 0

<

F&

-- ?

? G 0 $

* , #/ . , ( 1 ( $

.

1 ( ?

/ .

1 ) > # ? #

H

) > ?#$

'

/ ' $

* ?

( '. *

/ ) &

+ ,

#

,

$

(

'/ , + , #/

,

#

, 6

#* ? ,

#

, $

)

A ( * @

" (9 <H D *

(B @" /

4*9 *

* #

% **?

% ! % 2

• "

$%* D*? 0 * @ " (9<H

D * ( 0

& C4 % /* &F

• "

*

@ " (9 <H

D *

( 0

0

* @" (9 <H

D *

( 0

0

-

* @"

(9 <H

D *

( 0

&

CJ +

* "+ * &

i< (

* : / ;

%

%.*

/* .* *

-

% %

0

0

* : / ; % %.*

/*.* *

0

&

J #/

$

% %

%$

% %

0

%

%<

*$ -

< * + %<

00

0

0 .* * $

& 0

<

00 &F

$%* D

*

d & & J$*.%*

(

$%* * ; D *

!

• " * @ " (9 <H

D * ( 0

0

* @" (9 <H D *

( 0

0 * $ %-

* D *? &

C % %

* % /*

< %$+ / *

%";

/$+ *

$ ? 8 *$ l$*-

9 !* 0 $<H ?

!

/ + &F

• "; " H @? : /%<: * +

%

%$*

C: ; @? F

/* . /%<: 2 " @

* @"

(9 <H D *

( 0

0

" @

* @" (9 <H D *

( 0

&

C . "

(

% # E $ @< * .?%-

! A$ * E * * ! */< B

& $ ./" ,&b0 -

$ ,I&F

" * + %

1 01 0

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

0

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

0

* + %

$%* D *? &

i< (

$%* D *

/ * + %<

* + -

%

0

$ %* D * / * + %<

* + %

C &

$ &

,F& i $

%.* /* .* * % %

d & ,&

+ /<

/ * +

%

$ : / % *-

$ / * +

%

& i $ % $ * + %

0

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

$%* D

*? * +

%<

0 " 0 + 0

&

J$( ? + .@? ( $ * + %

#

/-

* + % / .?% ( ! E 2

% &F

C

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

i< (

E <* ; 0 <D

%" ;HD ; %.* /*-

.* *

% %

→

C "*

%-

%< "* < C

F F& 8 #/ $ : /

% 0

d

& &

*(9 * + %

$ : / % - * + -

%

C & $

& F& f* "# *? @$.

$ : / % *$

* +

%

& i $

0

$&< H

i $ /" + ;

< *

0 ? " < <@?% H -

D <H "/ %" (* ( * + %

' ' '

→ 0 $

%.* /* .* *

%

%

2

$

% %<

C * #/

. ?% H

2

C F "

+ * (

F& j $ " (*

* +

%

:

"* % 0 $? " < H ; . -

#-

"*

* +

%

"

- $* # $ -

* * ; E <*

& f*"

# *?

@$ .

. : " (

:

"* % 0 $? " < H

; .

#-

"* * +

%

" - $* # $ -

* * ; E <* &

m 0

$

*

%

: * + %

%" *

+ @? ( * < 2 *

. : "* %

0 < -

$?: + *

" ( <# /* $ . @$(

- $ @$. & J-

$( +*

.( 2 * +

%

? $ . @" *

*" $

H D ;

"

"

\

*

$ / % *<

&

nT

0

0

0

' ' '

$%* D

*? CE <* ;

<-

D

"

% % + /<

%"; %.*

/* .* *

0 + /<

& / &F2

−→

−→ ' ' '

−→

J +

+*

.( $

"

* *? *-

$ 2

−→

−→ ' ' '

−→

1 + *

D

(

C 0 %$

0 * * / @ ; F0

E <* ;

*

* +

%

<D

%" ; # -

$ * % < C%.* /*.

* *

% %

@ !F&

"

#

*; ( 0

$ (

%.*

/*-

J$(

.* *

%

%

+ /<

&

i< ( &

J #/

%

%<HD ! <

"*

C

F $ ; 2

C F " C F $

C F " $

"

C

& $

& eF&

d

& e &

'

$

) &

# #

+

$

,

* # ( + . ' G

&

# ' .

# ,

+ ?

+ *

' / +

$

+.

! ) C

* + . ' $

? ( ?

,

+

) & + ? & (

? ?

*

, # # $

, /

, / +

)

I ) (

I (

' ?' )

+ $

&

? * ? ,

?

# '

6 F / ' ? # / )

J $ 8 * $ l $*9 !* .* "

(* <$ D -

/. " (

%

$ %* D *

2 *$ $ 0

"

?

: / .( 0 @<@" 9 $ % $

$* % $%*-

D *? 0 / * .( 0 . @<@" + *

%? $ .( "*( ! 9 $ C# *?! @"

(9 <F0 .

9 $

"

*( ! @<@" &

-4 > ? ( * + $

,

,

. , ( #+ , ( *

? &

, #? $

. )

( *

*# (

$

-= @

. ' + # ?' (

. )

(

-E @

(

+

' +

.

# ) H )

$

( ? ,

,$

' &

) (

( ?

'

,

(

*

,

,

(

, '

# &

)

-J @ ( + (

' +

.

# )

J +

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

@ $* C . @ % ( ; < * * ; * <$ " (*?:

" F& ) * 0

2 →

(

%.*

/*-

.* *

% % + /<

* +

%

# /-

* + %

0

*$ $ + < * *-

+ % & ) . % * +

% A:$ 9 B0 " *

/$+

\ .*< * " (* 0 & &

C \ F C F

C ? " (.< .*

/"; @

/ * * ; 0

" ( < @ -

/ *; ? * + % .% / * $

H ;F& #

$ %$( 0

$

*

" H @ #

!

% :$ 9 :

* + % :$ 9 0

<

"

? $

% :$ -

9 * + % 0 "

< *" (* %" H * H

:$ 9

* +

% & ) .%

#

& #

$ %$( 0

* +

%

C \ F C F @</

:$ 9 0 -

<

%

"

< *" (*

%" H * % $ /"*

:$ 9 # * + % $ %$ D ; % $% *

% 2

" C \

F C F'

J$( %

# % /"; $ * ;

@ 2 → &

@ ;

% /

%*<$

+ / % **

%*

&

-M >

# ? + )

$

<+ / * </ @* $

$ * -

! $ * + % 0 % * * *<+*? * <-

$ "

(*?

" C$?

$ ; ; /"

*

$.<F& )

<D

%<

+

$

<+ / * 0

" ( <

(

' ' '

4N > #,

# 0

?

1 (

$

# 1 ?

0 ) @ ( + , 0

?

/. '

00

000 (

1 $

? /. ' 1 0 1 00 (

#. '

#

00

1 0 (

# 000

1 00 ) H

G #

?

, &

$

)

4 @ ( + , $

(

? +

,

#* )

, G

+ ,

00

000 (

1 0 (

000

? + 1 00 ) H

G ? , # , ? #.

)

% % /< $ < 8 *$ l$*9 !* 0

J$( 0 ;

%$* ; %$

< $%* * D*

! & "; / **?:

* + %

$ H ; ? $ % .+ -

*

2

• $%* D * *

$ !

0

$ %* D *

*$ !

& C

" < 0 ? .* 0

* + % $%* D *? &F

• $ %* D * *$ !

0 *

* $%*-

D * * !

&

" < # %$; 0

&

!!

!'+

%

# '

+(

&

!

&

•

$ %* D * * $ ! 0 * * $%*-

D * * !

&

" < # %$; 0

&

!!

#

+

%

# '

+(

&

!

&

• ) * $%* D *

* !

0 *

*

$%* D * * !

&

"

< ! *

-

/"

* % .+ * 0 * ?

# * .*

C & $./"

,&bF&

4! @

(

, #/

. , ( / + )

0

, #/

4% > ,

# (

. , ( 1 (

1

, #/

. , ( 2 (

0 , #/ . , ( 2

, $

' . )

? <+ /" # # %$

$%* *

m 0

D * ! 0 * %./$+ % ; < * * ;

A D *-

* +

% B

;"

(* # @ 0 "

(

$ %* %

D *

$.*?:

* + % &

$*

+* @?" @? $ /"

( D * ( * + %

"

% : * +

% 0 $%* D *?:

& J "

? /";

* + %

% / H % " (

" < 0

#/

$%* D *? 0

"% A H $ %*<H

D * (B $@$ "

@?

@< %"

(*?!

?

"

& i $ @"

< % 0 : * +

%

C$ %* D *?: * + -

%<

F

" 9

* # 0

"

( <

%

*

% +

@? ( :

"

* & G: * " ( * # 0 @$. % (

. * : * +

% . $</*" (* 0

+ $%

$ /

C & $. /" &b0

& F&

%?: / % & n ?!

G.

!

<

( * " (

$

!

- $ + * < # %$(

"

(

$%* *

D * ! 0 * *

: D * ;: & 1 +* + %%-

*;

A

"

B

!

@"

(9 !

% < *

@

% 0

<+ *" (.;

(

"

* /$<# :

% < *

!

CA

"

%?

* 0

; < " -

<H B

/ @ %" @?

n % . * + **-i<: F0

( D *

(H * + %

"

% : * +

% 0

$%* D *?:

&

D

/ * %?: /

/"

; + / #

%? -

@$ (

*$

A */$ * B * +

% 0

$ %* D -

*

0 * .% ( # D * (H * +

%

& 4@? *

% %

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

$ /* " 0 $%* D *? !

0

*

$ * <+ $ -

@< @" E $ " (* # C

# F

$ * ;

$ * +

% &

&

* . '

G

+.

?' (

? #

'

?

? .

,

? +

( *

+ * # '

*

? '

$

' ) h D D D i B

* , *

( $

*

'

( ?#

'

' F

(

,

'

( +

$

/ , F ( #. #

# , + ? F' * $

# ! )

/"

J " * 0 ? @</ <$ @" ; ( @ .* * | |

; D * * + %

: ; @? %" (*

( $ 2

| | " |

|

.* 0 * + %

$%* D *?

| | 6 |

|

.* 0 $%* D * *$ < /-

* + %< * + %

0 | |

|

| .* 0 -

*(9 <H D * ( 0

C &

& ,cF&

8

"

!

$ $ *$ %* D *?: @ * *?:

* +

%

C/

: $ # $ $

<

*

*

@?" F

/ A/ # *"

(* ; *

$< ; 8 *$B &

1

01

1 * + % @ * *?: " -

/ %" (* ! *<"!

/ * *

* &

i $ / "+ 0 *

* &

J #/ % " -

/ %" (* *<"! / *

+ * $ *<$ % ( 2

' ' '

n

% @

* *<H %*. @" < 0

$ -

$ ! @</< * 9 "/ %" (*

2

"

' ' '

"

' ' '

"

' ' '

& & & & & & & & & & & & & & & & & & & & & & & & & & & & &

C$ .

?

@ .* -!

"*

-!

"/ %" (*-

F& J

$( $

$

"/ %

" (*

( 0 @$. % *-

*<H

;D * / # *" "*

0

0

0 ' ' '

-! "* (

% /

-

"*

-!

"/ %-

"

(*

& m * %

% "*? *

$ %"+*? 0 ?

"

<

"

/ %"

(*

( 0 < $ !

"

/ %"

" −

(*

( "

; " H@ ! . -

"/ %" (* !

C% .

F < <

%<

% @" & f ? $ /

"+" 0

@" %" H %

@; %

"/ % " (*

$ %$ &

"

G. ! $ ?

"/< 0 * +

% R / ! %-

(*?:

"

C$ 0

? % /" 0 $ %* D *

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

! / * F * -

* &

*

0 *

*

+

% / (

*?

* + % " # @$ : " <

<D

%<

/ !

%"

(*

" 0

* ;%";HD ;

"

# @$

C* ;%";HD ; $* * # * *<"% # * #"*

"

"**?

E E * F& J

" * .? -

% H

"

$'

!' !'

'! &

&

& # ' & # + $

(

#. #/ ) >

?

*

?

* #

F#

) " # , ) C ?

( ( ? +

F , ( + ,

* +

(

$

? (

P

L ) @ , " # $

'

,

(

$

+#

F

?* ? + ' 6

*

, & $

( ?#+

* # ( *'

$

# )

?#+ F'

+

?

+

?

$

6

? ?

*

'

,

* +

(

,

, )

C +.

?

$

. + &

, * ( $

,

.

?

*

( # * )

C (

* #

F# $

)

(

#

, *

$

F (

, F

$

) "

F ,

,

# #* )

* "

( :

"

/<HD : ./ : ?

$ /" #