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

!

"

#

$ " # $ % &

' (

& ) "

$

* +

% & ,- . / &0 $ %" ** &

1 &2 1 3) 1 4 0 ,55,&

,6 7 &

8* # * * $ "

" !

* $ % 0

$ % / %9 : ; % $

/";

</ * % " /9 : <$-

% :

1 => & * !

$

.?% ;

@

* %*?:

*; ;: A* %* ! $ * +

%B C D * 0 < $;-

/ **? * + % 0 $ *

E * * ; */< ; 0 $ / * -

"

? F& G." + * $

* * < * % :

9 " 0

</ * %- %

%

:

* $

<H D : ;

* % $ * + % & 8* # % " H %

@; -

"

I5 . / $ ." * ! $</*

&

% @ /* $ -

J

? 0

%";HD * #< 0 ;%";H ;

$ $ *; ? / < *? /$ <

KLM NOOKLM PQ RRQ S PTU OU VSTVO VWSX OYZ[ \RO VSL V

]^_ ` I-a55a b- b-c

d

8* # ./ * $ E * * % ! // $+

! # E */ E <*/ * " (*?:

" / % * !

C $ a6-5 - e aF

7 ) & 8 & $ D # * 0 f & g *( 0 aaa 0 ,55,

G . / " ( % 1 %

# 3 * $

* $ $?%* #

# @$ . % * ;

J :*

! $ / $ & & g <% " %

*. ; d h 5 I ,e &5 &,555 # &

i / * % ( 5I&56 &,55,& j $ 6e × 56k ,&

l < # # . * ; & i ( E * ; & i & "

& e

J $ + ,555 & m . h

&

1 3 ) 1 4

( %

! $ &0

a55,0 1 % 0 l " (9 ! "

4 *

# %?: / . % % % => i A4@" . / B 0

,e6be50 # & 8 " <# 0 " & n $?! $# 0 I&

5 1 20/

1 120

& & &

& &

1 * +

% & & &

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

b

&,&

' " " * %

& &

&

&

&

&

&

&

&

&

&

&

&

&

&

&

a

& &

d %* D *? * +

%

&

&

&

&

&

&

&

&

&

&

&

,

&e &

n *? * + % & & & & & & &

& & & &

& & &

e

&I&

J $ 8 * $

l $*9 !*

&

&

&

&

&

&

&

,

&b &

J $

8 * $

&

&

&

&

&

&

&

&

&

&

&

&

&

&

&

,a

&c&

j <*

& & & &

& &

&

&

&

&

&

&

&

&

&

&

&

&

&

&

b

&6 &

4 $ * / D *

;

&

&

&

&

&

&

&

&

&

e,

8

31 .1 1 20/

& & &

,& &

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

e6

,&,&

G . $E . ? &

& &

&

&

&

&

&

&

&

&

&

&

&

&

&

&

II

,& &

j <*/ $ % **?

* +

%

&

&

&

&

&

&

&

&

&

b5

,&e &

" * < $;/ **? * +

%

&

&

&

&

&

&

be

,&I&

J$ * E * * ; */< ;

&

&

&

&

&

&

&

&

&

&

b6

,&b &

J $

3 $ "

&

&

&

&

&

&

&

&

&

&

&

&

&

&

cb

,&c&

J$ * E * * ; */< ;

@ .

&

= "

;

&

&

ca

,&6 &

3 $* $ * * ; &

&

&

&

&

&

6I

,&a &

n% ! % $ ! * / D *

;

&

&

&

&

a5

,& 5& 4$ / * " ? & & & & & & & &

& & & & & & & & &

& & &

ae

,& & f $ E $ / * " %

&

&

&

&

&

&

&

&

&

&

&

&

a6

,& ,& G */< %*? $ / " * ;

*

&

&

&

&

5,

,& & i $ " + * ; $ / * "

% & & & & & & & & &

& & & 5

00

89

. 0 -0 4

88

-0 4

8

<-" @

$ < &

-

f%$? $ .*" (*?

7

Cj $* ;F . //$+ < # $

% % %$ ;

* * ; ! * # &

" % .+ *?

@" # /$;

d

i$% ./ * * #

! <

E */< E<*/ *" (*?:

"/ % * ! 0

+ G & & D * 0 $?! <# %$ "

%$ % / (

</ .;% < &

? @" # /$

$</* % 0 $* %

) * 0

</ * %

E /$? !

"#

:

1 => 0 + % : < * % * 9 : "!

*-

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

i $

@D ( % : 9 @ : : %-

$ C

"

$ **? /$

ST

Q RRQ S

P

0

VWSX

Q RRQ S

P

TU

"

TU

%?! /$ 2 1 % 0 , 55, 0 l " (9 !

( %

!

$ &0 0 1

% ! *$ *$ $?%* #

-

# @$.% * ;F&

$ %"* * " (

9 @

%$ ./ *

/ @ %"* *

" ( * %?: ./ &

!" !# $%&'( ) * !'+

4 * %*? *; ; @ .* * ; 0 %;.**?

* + -

% $; * / * 2

• ' ! $

; .

! !' & m (

.* 0

;%";

;

"* * +

%

&

• = %$; 0

* +

% ;%"; ;

' !

* +

%

C.

( 2

F0

"

%

"* ?

;%";H ;

"*

&

• 1 * + %

" $ '! C. ( 2 "

F0

" *

/$+ /* + "

* ? C/$<#

"% 0

"

F&

• "

/ * +# %! 0 *

$ %* %

<

0

* .?% H

!''

/ * + %

C. -

( 2 (

F&

• $ % ! * + % *

/$+ * /* # " -

* ;%"; ;

/ * + % " H @ #

* + -

% &

• $ !" ! !&!'& ! ∩

/%<: * + %

. "

* % 0 $? $* /"+ @ * + -

%

& . ?% H 2

∩ " { | }

C ; 2 * +

% : 0 ' ' ' F&

• (#)! &' !'& !

. "* % 0

$?

$* /"+ : ; @? /* < . * +

%

2

" { | " }'

• * /$+' + \

. "* % 0 $? $ -

"+

0 * * $* /"+

2

" * + %

;%"; ; / * + % * + -

!%

0 $ .&* ( \

* .?% H + ' !'&

•

& ! " &&! $ " $+' +

4

. " -

* %

0

$?

$* /"+ $ %* /* <

.

* +

%

2

4 " C \ F C

\ F " C F \ C ∩ F '

• '$ . {

} @ .* ; * +

% 0 $

-

/$+

"* ?

0 0

*

/$+ /$<# : &

"

$ /

0

0

( $%*? 0 * +

/$+ ( / *

"

/%

"

* & i / @* @ .* *

" (.<-

; % * E $ " (*?:

< ;: 2 * +

%

"

* %

"/ %" (*

' ' '

@ .* ;

{

' ' '} " / + {

}& l " <

$* ; . (

/"

; #

+ * +

% % 2 {

|

N}0 #/ N

* +

% * <$" (*?:

" {5

,

' ' '}&

i *; * + % ;%"

$%*-

( %

" (* * / %* 0 % *

a-# % 0 %

%;.

$@

8 *$ C $%* *

D *

!

* +

%F0

$?:

!/ $ (

/" (9 C$./"

&

"/<HD F& )-

$ %$ ; * ./ ;.? ? " ( %* /$( % 9" (-

* $ / % * 0 @ ;

*;; < * 0 < <$ %* * ;

"

5

( * +

% $ 9 * ! C%$ 0 < F0

* + % $ 9 * !

? <$%* * ! ( $

*

* +

% $ 9 * ! + / # . * : C /" ; A % < *

B

<$%* * ! @ / * * F0 % * +

% {,

, } *

$ "* 0 /% 0 * $%* * +

%< {,

}

0

0 { } { { }} $

%$9 ** $ .*?:

*-

+ % & / &

) %

$%* @"

(9 * % 9 " (* %

* *;"

0 < * + % $ 9 * ! <$%* * ;

"

" e + * . "

?% ( {−,

,}0 * + % $ 9 * !

<$%* * ;

−e * " (.; .

?% ( { } C * / -

( F& 4 D

/% $ : + / * ; 2 % 9 "

* <$ " (*?

" * * H ;

/ * ? 0 % *$?:

* + :

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

( * <-

$" (*? "F& 8 $ # 0 * #/ %

9 < 0

" (.<; /";

@

% **?: / * + % C%

*-

9 # (F&

1 ? $ /" # 0 $

"

**? %?9 * %*?

*; ; $ * +

% @"

"

* % .* ? 0

@</ / *

% @ /*

"

(. % ( ; & *-

" ( ./ /"

;

*$ "; * / ; 0 @" (9 *-

% . * : * $ / % /" ; %

@"

(9 # $</ &

# $

! "#

(

% & '

) & * + ,

$

,

- #. #/

0 ( 1 2 ( 0 ∩ 1 63

63 ( 0 ∩ 2 3 0 ∩ 1 \ 2 3

4 &

5 0 ∩ 1 2 3 0 2 ∩ 1 2 6

∩ 0 \ 2 6 ; 0 \ 1 ∩ 2 3 0 \ 1 0 \ 2 ' / +

0 < 1 < 2

,

= > ? +

? #. ( '

? ) @

(

?

'

) > # , A / +

) B *

) ) ) > # A

? #/

, ) C+ ( ?# , D D D > ?

)

F

G

E @

( ' ,

0 4 1 4 2 3 0 4 1 4 2 ' / + 0 ( 1 2 ) H

G

? # / I

F

)

J @

( 0 K ∩ D D D ∩ 0L 4 1 K ∩ D D D ∩ 1 L 0 K 4

4 1 K D D D 0L 4 1 L '

/ +

0 K < D D D < 0L

1 K < D D D < 1 L )

. ?$

M @

( $

' ?

F ∩( ( \ (

? # (

?#

' * )

'

N ,

, ? 0 1 ? . ,/ *

$

@

' / '

( ?

/ +

' ? ) B ? '

$

' ) C +. # G I −K )

B ? ( ? ,#/ ' , ?

F

∩) @ ' # ? ? $

, ( +.

# '

? ) #

#

/

+#

# F

*# )

? #

$ *

! , #. #

(

* ?$

% > # , 0

1

) , #. # $

2 ( ' 1 2 0

-

I )

? ( ? ' ' ' ? $

#* * ) &

+ ,

,

H

)

# * ' ( *

?$

/ ?

)

( ?

+ (

?# *

+

' ?

# # ( ?

? # ' )

$

* ? F

? ' , ' + * *

6 #* ( ? ,

$

? 6

' ,

?

$

,

( *

( ? , # $

*

' )

* .?% H

'

"

"* % % * * * + %

+ # # ' + @ .* H | |

C + F&

C $ ?

@</

# %$( D * ;:

/"

; @

-

* *?: * +

% &F n"/<HD ; E $<" .%"

; * !-

D *

( @ / * * ; * " ( : * +

% 0 " .-

% *?

D *

+ / #

. * : 0 +

D *

% : $

* ! &

1

1 4 / 4 2 4

| | " | | | | − | ∩ |

|

| " | | | | | |−

− | ∩ | − | ∩

| − | ∩

|

| ∩

∩ |

% @D |

' ' ' | $%*

X | | − X | ∩ |

X | ∩ ∩ | − ' ' '

<% $+ / *

* "+* / .(

*/< !

0 * ? $% /

/$<# / . " ( % & j $<

$ .%" (* * +

%

0 / * +

% $ #

;%";H ; * +

%

' ' '

&

$" $ !" & &&!

%' & ! * + % *-

.?% H E<* H

0 $; $%* *

"* :

5 * " (*?:

"* :

& 4$

* / / *-

+ % * + %

% %<H $;

:

:$ $

E <* ; & *

0 $

-

* H * + %

% %< $ .% / * :$ $ -

C/ F:% E<* !%< 2 E∩<* ;C F " C F C F& " * * H

− 0

" :$ -

$ ; E <* ; : /* # * +

% &

'

" "* % * +

% + * . ( <-

< .* * ! # :$ $

! E <* 2

| | " X C F '

4@ / * *

' ' ' +* . ( / " *-

* $

* H

/" * * ! * + %

% $* :

:$ $ : E <* !

"

− C − F ' ' ' C −

F '

d $?%

@ % $% ! 0 ? " <

X − X

X − ' ' '

$

"*-

<$ % % "%<H $%<H ( %

C @ *

( E <* * F0 " < E $<" <

% " H * ! " H * ! &

4 @ ( |0 K 4 D D D 4 0 L |

X |0 | − I X |0 ∩ 0 |

X |0 ∩ 0 ∩ 0 | − D D D