..

2002

 160
87.4
67

:
. ..,
. ..

67

.. . ., 2002. 273 .
.
, ,

, . .

, ,
. , .
, , .

ISBN 5-201-02079-8

.., 2002
, 2002


, .
IV , ,
, .
, ,
, , . , ? ,
.
.
, ,
. (, , , .),

, .
. , .
, -
, , ? ,
. , ...


. , , , , , ,
.

. ,
, ,
,
, .
, , , . .
. ,
3

 . ,
, . , , . ?
, .
, . , ,
. , , (, ). , ,
. (
). , , 22 = 4, , , 22
= 5, , .. ,
, . . , , ! ? , . ,
, ( ), .
. ? , . . ,
. . .
, , -, ,
- . ( ). ,
. -, , .
. , -, . . ,
.
4

 , :
I
. .
, ;
II
, .
, ;
III
, , , .
, .
, .
- . , ,
, . .
, .
,
, .
. , , I , II, , , III - ?
. :
. . , .
, . . , ?
: ,
. , . ,
, , .
. ,


. , ,
, ? ,
5

 ,
, , . , , , , ,
,
.
, , .
, , , , .
,
, , , ,
, .
, . :
.
,
. . -, .
, , , ( )
. . -, (
), , . , .
( ), , , .
, , ,
, . , ,
, ,
,
.
, , , .
, , ,
. .
, . 6


, : ....
,
,
. , , .
, . ,
, ,
IV XIX , ,
XIX . , , ,
. ,
, ,
. , . .
,
, . ,
,
. , , , , . ,
(
!), , . ,
,
7

. ? , .
. ,

.
. , -,
, , , . ( ) , . ,
( , 2 2 = 4, 3 < 8,
, ..).
.
.
, (x + y) (y x) = ((z + x) z),
.
. ,
, , .
.
. , ! , -
. , , .
,
, ,
. , (
).
, ,

, . , 8

 .

( , ). , ,
.
:
, . , . ,

, ,
. ,
, , .
, ,
.

 I.

1.

, . -, , .
, , - . -,
,
. ,
.
1.
, , . ,
, .
.
, , .
, .
10

 (J. Janes),
.
, 3 ,
.
, . , . , , ,
. ,
.
(, -, 9-8 . ..) . , , .

. ,
. , , .
, , , . , , .
.
, , , , .
,
, .
, .
,
,
, .
,
- 7 . .. , , ,
11

 . ,
, , .
. (
) , ,
. , ,

.
30- . XX . : (1) ,
, . N .
? (2)
. N .
?. , . ,
, . : , . .
M, . ,
.
. : .
. ?.
: , , :
.
, . , ,
.

, . ,
, . , ..
. ,
. ,
12

 , .
2.
.
,
. , ..
! . ,
. , , ? , : , !. ,
, .
, .
. ,
, . ( ) .
, , ,
, .
.
,
. , ,
. n m

. , , 13

 ,
. , . ( n
m n m ).
,
, ,
, ,
.
. .
,
3,16 ( 3,14). ,
6 . , ,
. , , , .
.
,
. , 22 = 4?
-
,
, . ,
. ! , Pentium , .
, . .
14

 .
. , , ,
, .
, .
. , ,
.
, (.. )
. , , ( , ), , .
, .
. . , , .
3.
,
. , , ,
. , VII . ..
, , ,
.
,
.
15

 . ,
,
, .. ,
.
. ,
,
, .
. , , ,
, , .
!
.
. .

, , ,
, , , , .
.
, .
,
. ,
,
(.. ). , , .
, ,
,
.
, ,
. , VI .
.. .
, 16

 .

, ,

VI . .. ,
, .
, . . ,
, . ,
, - , .
,
.
, , ( ) ,
, .
, .
, ,
, . ,
?
, , -, .
, . ,
, , .
. ,
,
. ,

.

.
17

,
, .
.
, . ,
, . .
, , , , ,
. .
4.
2- 5 . ..
-
. ,
.
,
. ,
.
,
,
,
.
, , .
, .
, , .
: ,
, . 18

 ,
.
, : . , ,
. , -
, - . , ? ,
, .
, .
,
, . .
, ,
( , )
. -, ? ,
. ? , .
, , ? . ?
, . , . , .
. .
,
, .. ; : , ..
.
. , - , .
, .
, : , ,
.
, ,
. , . , .
, ,
, 19

 . . , ,
. , ,
. , , .
. , , . ,
, .
, , , , .
. , , ,
, ...
! o
,
, . , ,
(
).
. : . , ,
, .
: .
, , ,
. . :
. ,
. , .
. , . 20

 . , ,
. ,

.
. , ,
, .
, ,
. , , ;
,
. , , , ,
. , , .
, , .
( ). ,
, .
?
1. 2 2 = 5, .
2., . ,
, 2 2 = 5, , .
3. , , .
4. , , .
5. , ,
,
. , .
, , . , , , ; , .
. : ,
; , .
.
21

6. ,
.
, , ,
, . , ...
7. .
. , .
8. -? . , ,
, ? . . , .
9. , ,
. ?, , . ,
. , . , , !
10. - : .
, . , ,
. :
, .
. ,
, .
11. , , . , , .., ,
.. .
, . . , , .
, ,
, . , , , .
. , ,
.

 2.

. . (
) .
, . . ( )
, . , , , , . ,
, . ,

. , ,
, , . , , .
.
1.
, , . , , , .., , .
. , ?
. - , . ,
, -
. , ,
, , ,
, , .
,
23

 , .. ,
. ,
, ?
. . , , ,
. .
, , . ,
, . ?
. . , , , .
- ? , ,
.
, , ,
, ,
.

. , ,
, : ,
.
, , . , , . , .
- ,
, , , .
, : , ,
24

, , ...? ,
. ,
.
. : ?.
,
. ?
,
. , . ? ,
- , ,
, . .
. : . : , , .
, :
. ,
, :
. ,
, ( ,
). , ,
... ,
.
? , , ( ),
. , .
? , ,
, ?
: ? -
. , . , , ?
25

 , , ,
.
, - ,
. ,
. . ,
, .
, , , . ,
. . .

,
. , . -, ,

! , . , ,
.
2.

. ,
.
,
. , , (
) : , .
26

 , .
, . , . ,
, , .
,
, , ,
, . , ,
: , ..
, , . , ,
. ,
, .. , , ( , , ,
, - ?),
. ,
, ? , , , ,
,
: , , .
, ,
, ,
- .
. , .
,
,
S P, S , P , . ,
, ,

.
27


: , -, 4 < 5 ..
, !
, , ?
, (,
). ? , ,
. :
. . S P,
, .
, :
. , ,
.
.
, ,
.
, ,
, S P, .
. . : ?
(, )
.
, . , ,

.
, S P. ,
S P, S P.
, ( ,
..). , 28

 ,
. . ,
S, S, S: , , ). , .
.
, . , S S. ,
, .

,
. , .
( ) ,
,
, , I, .
:
S P (),
:
S P (),
I:
S P (),
:
S P ().
,
, .
, .
,
. . ,
.
.
. -, S (
) S, S ,
29

 . , , , ,
, .

.
, , , , .,
: , . , .
, ,
.
,
, , . , , ,
? , S S?
, ,
, , .
.
, ,
?
S - .
S S S.
, S S , S
S . (
,
, , ). : , S S.
, - . , S 22 = 4, , 22 = 4 22 4.
: . , 1 , . ,
, , S S .
30

 S S , , S,
S. , S, S .
S S, , S
S .
, ,
22 = 4 22 4, . , ( ) ,
,
() ( ). ,
, .
,
. ,
, , ,
.

,

. ,
,
.
. : S S, .. S, S, . ,
, , ,
..
:
. 2
, . , S S,
S , S . S , S , S S.
, , ,
, .
, . 31


. -
, . ,
, . ! ,
. ,
. , , , ?
.
. .
, , .
(
,
3 )
, .
,
.
3.
( ) , , . .
. ,
.
(
), ,
.
32

 : , .
, , . , , I :
1. S P S -P;
2. S P S -P;
3. S P S -P;
4. S P S -P.
. , .
.
. , (
). . , .

. ,
: S P S. ,
. .
- , ,

, . , , . ,
, , ,
, .
, ,
, . , 33

 .
, .
.
. : . , ,
.
. (( b) + c)
. .
,
.
. , , .
()
.
.
, .
, , ,

.
, , ,
.
()
.
.
, .
, - :
, . , ,
34

 . () , ()!.
.
()
.
.
, .
, , ()
.
() ()
(, )
S P
D
, P

. ,
( , )
, ( ).
() , .
, .
() .
, .
. ,
- , . :
. , - ,
. , , .
, () ,
, ,
:
35

()
M P
SM
, S P.
(),
(, ), , ,
S P: M P S M
, S P.
, , .
: . ,
, .
. ,
, , ,
, o.
,
, o
. . ,
S o .
- . :
,
,
, , .
.
1
MP
SM

2
P
SM

3
MP
MS

4
PM
MS

S
P. , .
- , , ,
36

. ?
, , I , : , , 4 4 4 = 64. ,
, I, .. 64 .
64 4 = 256 .
.
(1)
.
.
, .
(2)
.
.
, .
(3)
.
.
, .
(4)
.
.
, .
,
(1) 1, (2) 2, (3) 3 (4) 4. 1-4 ,
.
. , (1)-(4) ,
, ,
.
,
. ,


.

37

 . ,
,
. ,
.
. , .
,
. :
Barbara, Celarent, Darii, Ferioque prioris;
Cesare, Camestres, Festino, Baroko, secundae;
Tertia Darapti, Disamis, Datisi, Felapton,
Bokardo, Ferison habet: Quarta insuper addit
Bramantip, Camenes, Dimaris, Fesapo, Fresison.
,
,
.
Barbara, Celarent, Darii,
Ferio. Barbara , : . (1) Barbara. Celarent
,
( ), ( ), ( ): . Darii, Ferio ,
, ii eio, .. AII EIO.
, .. ,
, . Celarent. . , .
, : ,
,
.
38

 . . ,
: . Celarent
, ,
, :
.
.
, .
.
: Cesare, Camestres, Festino, Baroko ( (2) Festino). : Darapti,
Disamis, Datisi, Felapton, Bokardo, Ferison ( (3) Bokardo). : Bramantip,
Camenes, Dimaris, Fesapo, Fresison ( (4)
Bramantip).
.
, , 19 .
, 237 ? , , . ,
. , :
? , ,
. (
.). , . , .
.
.
, .
, . ,
, , : 39

 .
. , Darapti,
!
,
.
.
, .
, , , .
, (
, , , ). ,

Felapton!
: ?
() .
. . .
()
.
.
, .
()
.
.
, .
() , ()
.
.
.
. ,
, ,
40

 . .
, 4 .
.
, , . , ,
.

41

 II.

, , . (.. ),
(, ) .

,
. , , : . .

3.

. , , ..
, , ,
. ,
, .
, , .
42

1. ?
, .
, ,
. ,
, .
,
.
, , !
, . : , . , ,
, .
. , , .. ,
. ,

, . , ,
, . ,
, .
, .
, ? ,
. , ,
.

. ,
. - ,
,
,
.
, ,
. , , , ..
43

, . - , ,
.. .
,
:

( ).
.

.
, ,
() (). , . , . ,
.
.
, , ..
. ,
, : , - . , , ,
, - . , , . , , ,
,
... , , ? ,
, .
, . , - , , .
. ,
,
, (
) .
44

 , , , ,
. , . ? ! . ,
, .
, , .
, ,
. , , . . , , , ,
.
. ,
, ,
. ,
, .
, , , -
. , , .
, ,
. . ( ), ,
. , . ,
. 4 , .
, , . ,
,
, .
,
. , .
45

2.
-.
. : ,
( ) .
,
. , , ,
,
- . , :
(.. )
. .
,
?
-, .
.
. ,
, .., . ?
: , ,
.. , , . : (), (). , , - .
. ,
, . .
-
. - , , - , () , - ..
-.
-,
. . ,
,
, . , , - 46

 .
. , ,
,
.
, . .

, . . ,
, , . , , , - ,
..
-, , . ,
,
. , , , , ,
, , . ,
. .
, .
. ,
, , , .
,
. -
. , ,
.
, ...
, -.
-,
.
47

 ,
. :
.
, (..
) , ,
, .
-
,
.
- . - , .

, .
. ,
, .. . .
, ,
( ) , . .

, , -.
, , ,
- , ,
,
- . .
o
, -
. ,
, , . , . , , ,
. , , ,
48

 .
. , , .
,
, .
, .
, .
- , , . - .

-. , (, , ..
).
. ,
. , ., .
- - , , , . ,
, , . , , . ,
, .
.
. , . -, ,
.
,
. ? ,
49

 , ,
, .. , . , , ,
.
,
.
. ,
.
. , ,
.
-, , .
, . ,

, . , ,
, .
, ,
.
, , , , .
-
.
,
.
- . , : ,
, .
, , -. , -.
,
. , . , .
50

3.
, ..
- , ,
. (, , , , ..)

. (,
, , ..), ,
.
,
.
. -,
.
.
. . ,
.
. , .
.
-, .
, .
-, - ,
, .. . ,
, . ,
-, .
-, .
. , .
51

 ,
,
, ,
.. .


. , , , , .
. ,
(, )
()
.
.
. , . ? ,
. ? , ,
. ?
, ,
, , - ? , . , , .
,
,
.

. , , .
, , , .
, . , , , . ,
. , ,
.
52

 . , .
,
.
, -. , 

, , ,
. , ,
.
, .
, , ,
.

. . ,
, , . . , ,
. ?

.
, , ? ,
. , , , . , , , , !
, , ,
. .. , : . ,

53

, - ! ,
, , : , . ,
( ), , , .
, , .
,
, - .
, . ,
- . , ( ,
)
. : , ..., , , ..., ..., ..., ..., ..., ... . , ,
, , ,
. .
.
:
, .
,
. , :
. . ,
,
? ,
. ,
, . ,
.
. , ,
.
.
54

 ,
. ? , .
.
. , NN
NN .
.
, , , , . . , , ,
, , ..
. , .
,
,
2 . ,
. .
,
, . ,
, , . . .
,
.
, :
1. ;
2.
.
, .
,
55

 , . . ,
.
, . ,
.

 4.

. , , , ,
,
.
, .
, , ,
, .
, .
, .
Q1, Q2, Q2 , Q1,
, Q1. Q2, ,
.
1.
, ,
,

. , ,
. . ,
.
, . ,
, .
57

 ( , , ), & ( ),
( ), ( , ), ( ). , &
, ,
. . , , .
. , 2 2 = 4
( , ), & 2 2 = 4 (
2 2 = 4), 2 2 = 4 ( :
2 2 = 4, , 2 2 = 4, ,
2 2 = 4 .), 2 2 = 4 ( :
, 2 2 = 4, , 2 2 = 4,
2 2 = 4 , .), 2 2 =
4 ( , , 2 2 = 4,
, , , 2 2 = 4, ,
, , 2 2 = 4,
2 2 = 4 .).
,
, . , ,
. , , ? 1 + 2 = 2 + 1, 1+ 3 = 3 + 1 .., ?
, , . x + y = y + x
.
, ,
,
. ,
,
p, q, r, s : 1, 2, ...,
n, .... .
, 58

. ( ): . . ,
, , 2 2 = 4. q, ,
, 2 2 = 4.
: ( ,
), .
,
.
, : . :
,
. ,
, ,
, ,
.
.

I. .
1. : p,
q, r, s, 1, 2, ..., n, .... .
2. : , &, , , .
3. : ( , ).
4. , 13 , .
II. .
1. p, q, r, s, 1, 2,
..., n, .... .
2. , .
3. , ( & ), ( ), ( ), (
) .
4. ,
13 , .
59

, .
: p, q, p1, p, (q p), ((q p)
p1), (p1 & ((q p) p1)). ?
,
:
1. II.1;
2. q II.1;
3. p1 II.1;
4. 1 II.2;
5. (q p) 2, 4 II.3;
6. ((q p) p1) 5, 3 II.3;
7. (p1 & ((q p) p1)) 3, 6 II.3.
, .
: , ,
, .
I.4 II.4
, , . , s1
I.4, , I.1, I.2I.3. q ! , q ,
II.3 ( q), q.
II.1 II.2 q, , II.4, q .
,
, . ,
.
, ,
. ,
, , ()
. () .
, .

60

(). , ,
. .
:
(), ,
; ().
. , , , , .
, , . ,
, (p1 & ((q p) p1))
. ?
: p, q, p1, , (q p), ((q p) p1). , , , , (p1 & ((q
p) p1)) . ,
. . , , ,
s . ,
. s
. , , .
, . , ,
, .
. (q p),
((q p) p1) (p1 & ((q p) p1)) , , ,
&. . (( q) r) ( (q
r)) ( , )
.
, , .
, ,
.
. :
(( q) r). : ( (q r)).
61

 , ,
.
, , . . .
. . ( # C),
# - . .
,
( )
: ( ),
( ).
,

. , , , , ..
,
, . . , . , ,
.
.
- !
, , , ,
.

,
-. ,
. , , -. , -
. . ,
62

 . ,
, .
,
. , , (
& ), ( ), ( ), ( )
, , .
,
, ( & ), ( ), ( ), ( ) , . , , , ( , !),
-,
- . , , , , ( &
), ( ), ( ), ( ) (
).

..., ...,
, ,
&. ,
. ( ,
) , .
, , , (,
,
, )? ,
,
. , ,

. , .
.

.
, . ,
- 63

. , .
, , .
. .

( , -
) .
, , .
. ? , . ,
. , ,
, ,
.
, ,
. . , . , ,
, ,
.
.

, , ,
. ,
, , ,
.
, , , -,

( , ), -,
64

 , , ,
. , , ( (q r))
. , q r . , : ,
, .
, , .
, . .
S , , -, S , -,
,
, -,
,
S (, , S ).
,
, . : ,
, . ,
. :
, q r
. : ((q & r) ). ,
, .

,
. , , , ?
() (q). 65

 : (q ), .. ,
.
, . , , .
(*) n 2, n 4 (**) n 4, n 2
. , (*) , 2 , 4, (**) ,
4 ,
2. (*) , (**) . n
2 r, n 4 s.
. (*) (s r), (**)
(r s). (*) , (s r), .. n 4, n 2, . , (**) ,
(r s), .. n 2, n 4, .
, ! (*)
(**)? , ,
: ,
, , .
(*) (r s), .. n 2,
n 4, (**) (s r), ..
n 4, n 2, .
, (p q), .. , . !
, : , ,
( ). ()
(q) , ()
(q). ,
( q).
, . , (q ). (
q) , , ,
,
. , , ,
66

 . , ,
.
2.

, . .
. . ,
.
. . , . .
,
. .

,
.
.
.
, .
. .
, . : , .
, ,
. 1, 2, 3, 4, 5 ..
(
67

).
.
, !
,
. , , , , . , , .. ,
, .
:
1) 2)
.
.
, . ,
, , : 1)
2) .
: . . - . , ,
.

. , .. ? : , , , , . .

68

( :
,
. .)
, ..
.
, : (1) , (2) , , (3) ,
, (4) . .

, ( & B), ( ), ( )
( ) ( ). , ,
, . .
. (1). . ( & )? , .
? ,
, , . ,
( & ) : & . ,
, .
& . ,
,
o , ( & ) .

, . ,
5 .
? , . ,
69

 &
, o , .
. NN
NN n NN m .
.
(1): , (A & B) . (2)-(4)
:
(
),
(A & B) .
. (1): ( ), ,
?
. .

, , . , .
. ,
, :
, ( ) .
(1) ( ) ( ),
( ) (
). (2) (3)
, . (4)
, .
, ,
( , -, )
: . ,
( (1) (4)), ( )
.
( (2) (3)), ( ) .
( ). (1) . ,
( ) . ,
70

 .
. , 2 2 = 4. , ,
: ( & 2 2 = 4),
2 2 = 4.
, , : ( 2 2 = 4),
, 2 2 = 4. , ,
(, , )
. , !
, 2 2 = 4
. - ,
? , ,
, -
, ,
. : 4, 2,
, , ,
..
, .
. , , , .
,
.
(, ) ,
. ,
,
. (1). (2)
: , , , , . 8 4, 8 3,
, ,
, ..

, .
71

 (3) (4): .
? , . .
! , . . (3) (4) . ,
.
, , . , , . :
6, 3 (
). ?
. , 6 , 3 . .
, . , ,
3. 3 6, 3 3 , . , , ..
(3). , 5 6,
5 3 . (4), , .
,
. ,
, 325926
6, 325926 3 325916
6, 325916 3 . 325926
6 , 325916 . .
, n 6 (,
), : n 6, n
3 .
, , ,
, .
. , . , ,
( (3)). 72


, ( (4)).
,
: , , ,
. .
(3) (4) :
(.. , ). ,
2 2 = 5, 2 2 = 5,
, !

.

( & )

( )

( )

( )

( )

, . , ,

, ( ).

. .
,
. , ,
. w ,
w ?
w , ,
. w
73

. w , w ,
, !
3. , ,

&, , , , ,
, .
:

, ;
.
, . , .

, .
: , ;
, .
. , .
, , .
. ,
, .
<, >, <, >, <, >.
(( ) & ( & )).
(X & Y), X ( ),
Y ( & ). ,
X, Y, 74

 Y , , (X & Y),
Y . .
A ( )

( & )

( & ) (( ) & ( & ))

( )

( & ) ( & ), ( & ). , ( & ) , . ,

( ) ( & ),
(( ) & ( & )).
&. , , . , ( )
(( ) & ( & )). , , . : ( ) , , , .
. , , & . .
(p1 & ((q p)
p1)) . , , ,
. &, (
). , .
75

(p1 & ((q

p)

p1))

: (p1 & ((q

p) p1)) , p1!
, .

( )

( )

, . ,
,
.
, . ,
.
, .
, . , .
76

,
. , ,
.
,
.
= . , = ( ). , = ( ). ..
. ( # )

, : , ( # ) # .
, .
,
, (
) . . ,
, , .
, .
, . .
1. ( ) ;
2. ( & ) ;
3. ( ) ;
4. ( & ) ;
5. ( ) ;
6. ( ) ;
7. ( ) ;
77

8. ( & B) (B & A) ;
9. ( B) (B A) ;
10. ( ) ;
11. ( ) ;
12. ( ) ( ) ;
13. ( ) ( ) ;
14. ((( ) ) ) ;
15. (( & B) & C) ( & (B & C))
;
16. (( B) C) ( (B C))
;
17. ( ) (( ) ( ))
;
18. (A & (B C)) ((A & B) (A & C)) ;
19. (A (B & C)) ((A B) & (A C)) ;
20. ( ( )) (( ) ( )) .

. . ( ) = (y x) (x
+ y) = (y + x). (( )
z) = ( ( z)) (( + ) + z) = ( + ( + z)).
, ( , ).
: ( ( + z)) = ((x y) + (x z)).
: (1 + (1 1))
((1 + 1) (1 + 1)).

. ,
. ,
. , , & .
, 78

: ( ) (( ) & ( & )).

, , .
A

( ) (( ) & ( & ))

( ) (( ) &
( & ))
.
, .
,
(p1 & ((q p) p1))
p1. , (p1 & ((q p) p1)) p1 .
( ) ,
, .
,
.
. = A = (A B), = B.
. , ( ) ,
.
, ( ), .
, .. . , , (
) , ,
( B) .
. , p1, p2, , pn
. , 1, 2, ..., n p1, p2, , pn , . - m . m 1, 2, ..., n
: 1 = v1, 2 = v2, , n = vn, vi
, . p1, p2, , pn, ,
79

 .
, k p1 =
v1, p2 = v2, , pn = vn.
, 1, 2, ..., n ,

, . ! ,
m, k. , , k
. - ,
. , = , .
, ,
- , . , ( (q q)),
, . (q q) q,
( q), , , . , (q
q)
( (q q)) , q ( q) ,
. , ,
,
.

: = , ,
. , , , ,
. ,
, , = . .
, , ,
. ,

,
.
80

 .
.
, !
, ( ) , (
) . , ( )
( ) ( ) ( ), ( ) , ( ) .
, .
, . , , , , , ,
.
. -,
, , . -,
, ; .
, , , .
, . , , ,
, , , (
),
.
. ()
, . . , ,
() . , ()
. ? , () () q , () (
q). , ( q) . , q
. q ( q)
, ,
. , q , .. q .
81

 , () () (). , - , ..
(), () ()
(). , - ,
, . ,
- . , ( q) q
, , .
? , ,
.
. .
, , ,
.
, .
, , , . () () (),
() ()
(), .
, , , . .
.
,
, . ,
, ,
.
,
, .
,
, , . , . , , .
82

 (( ) & ) ,
(( ) & ) ,
, .
4.
, .

(*)
;
(**)
;
(***) , .
(*), (**) (***) " . p, q. (*) p q, (**) p & q (***) p.
.
p

pq

p&q

, (*) (**)
, = q = . (*)
(***) , p = q = . , (**) (***)
.

.
= {1, 2, 3, ..., n}. , 1, 2, 3 .. n, n
- . ,
. , . ,
, - i
. ,
83

 1, 2, 3, ..., m. (
m ,
.) .
1

......
......

1
v

2
v

3
v

......
......

n
v

......

......

"v" ( . value ) , "", "". .

1, ... , m,
- "" "" . ,
, 1, ..., m
, , . ,

1, ..., m . ,
, 1 = , 2 = , 3 = , 4 = ..
. , , .
. {1,
2, 3, ..., n}. ,
, 1 = , 2 = , 3 = , ..., n = .
.
= {(p q), (p & q), p}. ,
. ' = {(p & q), p}.
'' = {(p q), (p & q)} ''' = {(p q), p} ,
.
84

 . S' ,
S'
S. , S' S S' S. , '
, '' , ''' . , .
.
, ; ,
.
- . -
. ,
( )
, () . ,

, .. ( ) ( ).
, ,

. ,
, , .
, .
.

.
, .
: ,
, .. ( ) ( ) , (
),
85

, , .. ( ) ( ) ( ). ,
( ),
(
).
.
,
, .
:
() , , ,
;
() , , ,
.
() , () , () ().
() , ()
.
, , .
, ,
:
() ,
, ( !), ;
: ( , , , );
() , , ( !), ;
: ( , ,
, ).
. , , . , =
= , = . , ,
, . ,
86

 . , 22 5, 5 4, 22
4 . , , , .
, , . , , , , ,
.
,
.
, .
,
.. , .
,
.

.
, ,
.

. , (, , ), .
S' S S' ,
S. , S' S S'
, S . , M' M' , , M .
, - ,
, .
, . , - ,
87

 ,

.
, {, },
, . , ,
.
. S S' S,
S' . , ,
S' , S , .
,
.
. .
S = {"NN
", "NN "}. , S, . p q
.
p

p q
, S .
. ?
. , S .
p q .
,
. :
. ( ,
, 88

 .) ' = {(p & q), p}

. p q ,
.
. . ,
- , .. : S' = {"NN ", "NN ",
" NN , , NN "}.
S' , : S' = {p, q, (p
q)}. S'.
p

(p q)

, S' . ,
.
, , .
. .
,
. ,
- ,
. , 89

 , , ( (
)),
.

, , -
, . , , ,
( ( )), ( ( )). S =
{, , , ( ( )), ( ( ))}.

))

))

( ( )) ( ( ))
, ..
, ( ) ( )
.

S ,
S . , S
, S . - (
( )), .. ,
, . ,
. , - , , ,
, . 90

 ,
,

.
,

. , ,
. . ,

( ). , , , D 16 .
,
n? , ,
n-1 m. n- n , .
1 n =
1
1 n =
2
...............
...............
m

2 n =
2 n =
m n =

m n =
m : n , .
, ( )
.

.

91

. ,
1, 2 3, 21, 22, 23 . , , n-1
2n-1.
, n- .
, n
2n-1 2 = 2n.
n , n. , . , , , . .
n. ,
n,
2n. n 1, 2 3,
. , n>3. n , . , n-1 , .. n-1 2n-1.
, n- , n
(2n-1 2) = 2n, .
,
n. , , .
n = 4 24 = 16, n = 5
25 = 32 .. ,
. , n = 10
210 = 1024. , 10 , , 1000
.
: . , , ,
,
92

 .
. n. ,
2n.
. 1, 2, ..., n.
1 2n-1 "",
"". .. 2n-1 + 2n-1 = 2n, 1 .
2 : 2n-2 "",
"", 2n-2 "" 2n-2
"". 2n-2 + 2n-2+2n-2 + 2n-2 = 2n, 2 . "" "" 2n-3, 2n-4 .. ,
n "" ""
.
n = 4.
.
A

, ,
. , D, C, B A
93

 ,
D = , = , = = .

, , , , . :
, . , . , 16
,

. , , , ,
.
5.

,
. , , , " " " " , " ". ,
"
"? , ",
"?
", "
? .

,
.
= {1, 2, ..., n}.
, ( 1,
2, ..., n) , ,
94

 ' = {1, 2, ..., n, } 1, 2, ..., n , .

= ( 1, 2, ..., n = ).

, 1, 2, ..., n
. ,
. , ,
= 1, 2, ..., n = :
,
1, 2, ..., n ..
.
,
: , .
. , .
,
, ( ), = ?
.
(

, , ( )
( ), (
). ,
, . ( ), = modus ponens.
,
.
p, q. {(p q), q} p?
{(p q), q, p}.
95

(p

q)

( p,
.. ,
.)
, (p q) q , .
p . , (p q) q p, .. (p q), q = p.
, . , (p q), q p
(p q) p.
(p

q)

(p q)

( (p q)
p .)
, (p q), q
p . !
? , ,
. , 1,
2, ..., n ,
. , 1, 2, ..., n
, . , , , , .
, . 1, 2, ..., n
96

 . , , .
(p q), q, p
. ,
(p q), q, p
D ,
D! , (p q), q, p = D (,
, ( ), , = D)
D, (p q) p.

. , =
:
- ,
.

. , ( & ).
, ( &
) . , ( ) , ..
( ) , .
.
(

&

, ( & ) . ( ) , . , ( & ) ( ) .
, : ( & )
= = ( ).
.
( & B)

97

 , , . ,
. , ,
- ,
. , .
- . , ,
. ,
, .
. -, - . , ,
. -, . ,
, .
.
,
- .
.
. ,
= ( )

. .
. ,
, .
, , .
: ,
. , . ,
. ,
.
1. ( 1)
2. , ( ) ( 1)
3. ( )
( 2)
98

4. , ( modus ponens
3 2)

= ( ), 4, . ,
.
, = ( ). ,
( B) D,
IF (A OR B) THEN D. ,
D, , . (A OR B) ( ( OR )!) D.
, .
=. , . : ,
, = . . .
, - . (
!) , .
.
( & ), .. ,
. ,
.
: , ,
. , , ,
. .
99

 ( & ).
(

&

, ,
( & ) , ..
. , ,
, ( & ) ,
. ( & ) , , ( & ) = .
, (
& ) ( & ), , ,
? ,
, . (
)
( & ). , (( ) & ( & )) (
). , , 1, 2, ..., n
, (1 & 2 & ... & n)
( , ). : (1
& 2 & ... & n) , {1, 2, ..., n}
.
, ( & & ). : (( & ) & ),
: ( & ( & )).
, . (
) ,
(1 & 2 & ... & n) (
1 2 ... n).
,
. :
. , , .. .
100

 . ,
,
. ,
.
, , , . ,
.
=.
, , ,
.
. , ,
. , (
) , , ,
. , = , = = .
= : ,
, , . , =
= ,
= , . , ,
.
=. . 1, 2, ..., n = . ((1 &
2 & ... & n) ) , . = ((1 & 2
& ... & n) ). : = ((1 &
2 & ... & n) ), 1, 2, ..., n = .
, 1, 2, ..., n = , ((1 & 2 & ... &
n) ) . ,
, (1 & 2 & ...
& n) = , = . ..
101

 , , 1 = , 2 = , ..., n =
. = , 1, 2,
..., n , . , 1, 2, ..., n
= , = ((1 & 2 & ... & n) )
, . .

, n = 1. : =
= ( ).
= .
,
, " , "
. , ,
" , " , .

= .
( ) , = .
, ( ) ,
.
=. . , = = , = .
.., ,
, . ,
.
, = , ,
, . , = ,
, = .
, , = ( & ) ( & ) = ( & ).
,
: , = ( & ), .
. ,
102

= = .
', , , = .
, ,
= , , = =
( ) . , ( & ) = ( ) ? .. , ( & ) =
= ( ), :

, .. ( & ) = ( ).
=. ,
? :
1, 2, ..., n = , , . ,
modus ponens ( ), = ,
, ( )= . . 1, 2, ..., n
, 1, 2, ..., n.
=. , , ,
. , = S, S = .
. = , S,
( ). ,
S . S', S , S , .
S , , M S.
= . ,
, S , , ..
, . , S = ,
.
103


.
, . .
, . . , ,
, , . , .

.
. , . , , , , ,
. ,

, .
6.

? , ,
1, . , 1 , 1. , ,
.

104

1
1

2
1

3
1

4
1

 ,
. 2 , 1 2. (- )
.

1
2

2
2

3
2

4
2

9
2

10
2

11
2

12
2

13

14

15

16

105

, n
2n- m = 2n, m 2m. , n = 1 4
, n = 2 16 ,
n = 3 256 ..
, , , n , . : n
, ? , ,
, 1 ? , , 2
? , ,
, ,
.

. , : (p1 p1), p1, p1, (p1 p1).
1 1-4,
.
. 2 , 2 (p1 p2), 5
, 2 (p1 p2), 7
, 2 (p1
p2), 8 & (p1 & p2)
2, , , 10 (p1 p2) 2.
,
. , . , ,
.
. . , , 106

 . , ,
,
.
,

. ? . ,
,
, .
256 , 65536 ..
. ,
, .
,
,
? :
, ? . . , {&,
, }, {, }, {&, }, {&, , , , , } ..
, , , ,
. (..
) .
, .
, {&, } . ,
,
.
p1

,
1 p1. . 107

 & ? , ,
p1
, , p1 =
, p1 = .
, ((p1 & p1) p1) , p1
. , , .
, .
,
{&, , , }, p1
, .
? ,
. , ,
.
, .
? ,

. -, ( , , ). -,
. -, ,
, .
,
? , , ,
. ,
{&, , } .
, , , . , . , . , , .
:
, n
(n ),
108

 ,
n
&, , .
:
,
, , .
.
, n ,
.
((1 & 2 & 3 & ... & n) (1 & 2 & 3 &
... & n)) ((1 & 2 & 3 & ... & n) & (1 & 2 & 3 & ... & n)).
. ( & ), .. , .
. ,
. , . , . .
n ,
2n.
. , , , . : 1 , 2
, ... , n ,
. , n
, , ...,
.
: 1 v, 2
v, ..., n v,
v, v - ( , ).
, , ,
, . 109

 , , , . ,
.
.
1
v

2
v

............

n
v

, , ,
v. n+1
. ,
,
. :
= , = . = ,
( , ).
, = . ,
i . : i .
. , i. . . "2 2 = 5"
, 2 2 = 5.
, . - i i. , i ?
, : "2
2 = 4" 2 2 = 4. ,
i!
. - , = , (#1 & #2
& ... & #n), #i (1 i n) i, i = ,
#i i, i = . , n = 6 .
1

,
, : (1 & 2 & 3 & 4 & 5 &
6). ,
110

 ? ,
. ,
. ? ,
. 1 ,
1 (.. , 1), 2 ,
2, 3 ,
3 .. , 1, 2,
3 .. ,
, (1 &
2 & 3 & 4 & 5 & 6) -.
,
. , . , , , m 1. ,
m (#1 & #2 & ... & #n). . , , (#1 & #2 & ... & #n)1, (#1 & #2
& ... & #n)2, , (#1 & #2 & ... & #n)m .
. , . ,
, . .
.
(#1 & #2 & ... & #n)1 (#1 & #2 & ... & #n)2 (#1
& #2 & ... & #n)m.
? , (#1 &
#2 & ... & #n)1, (#1 & #2 & ... & #n)2, ...,
(#1 & #2 & ... & #n)m. ,
: x, y,
z .. , m
. , , , . , , (p q). ,
(p q) . : (p & q), (p & q).
. ,
((p & q) & (p & q)). , ((p & q) (p & q)),
111

 , , (p q), .. . (p q)
q, q. ((p & q) (p & q)) ,
!
.
( q) (p &
q) (p & q) (p & q), ,
. (p & q) , (p & q). (p q)
,
(p & q) (p & q) (p & q).
(p q) (p & q)
(p & q). , , , , , .
. ,
,
(#1 & #2 & ... & #n)1 (#1 & #2
& ... & #n)2 (#1 & #2 & ... & #n)m. (
) .
, .
, n,
(#1 & #2 & ... &
#n)i, , , n.
(#1 & #2 & ... & #n)i (#1 & #2 & ... & #n)1
(#1 & #2 & ... & #n)2 (#1 & #2 & ... & #n)m
n, .
n ,
(#1 & #2 & ... & #n)i 1 i m ,
(#1 & #2 & ... & #n)1
(#1 & #2 & ... & #n)2 (#1 & #2 & ... & #n)m
n, . (#1 &
#2 & ... & #n)i n ? ,
. n ,
, . (# 1 & #2
& ... & #n)i k. k . n k
pj.
112

, pj n k.
(#1 & #2 & ... & #n)i (#1 & #2 & ... & pj &
... & #n)i. n pj ,
(#1 & #2 & ... & pj & ...
& #n)i n.
, pj n k.
(#1 & #2 & ... & #n)i (#1 & #2 &
... & pj & ... & #n)i. n pj , (#1 & #2 & ...
& pj & ... & #n)i n.
, (#1 & #2 & ... & #n)i
n,
.
. , n,
, (#1 & #2 & ... &
#n)1 (#1 & #2 & ... & #n)2 (#1 & #2 & ... & #n)m
.
, (#1 & #2 & ...
& #n)1 (#1 & #2 & ... & #n)2 (#1 & #2 & ... & #n)m
,
.
. , , (, ,
,
, ).
.
.
p

113

 ?
: (p & q & r) (p & q
& r) (p & q & r) (p & q & r). , .
.
p

.
?
, ,
. (
) !
, q r .
, q r. , q r. , ,
( q r). , (p q r). ,
, .
( q r) & (p q r), .
, ,
.

, .
.
114

, {#1, #2,
..., #n} . , , .
: , . .
{, } .
, &, . ,
. & .
( & ) ( )
( ) ( )
, .
,
.
,
. . , , (p q) (p & q).
{, }, .
(p q).
(p q). (p & q) (
q). ,
(p & q) ( q). (p q) ( q).
, . (p q)
( q) {, }. (p q) (p & q),
.

, .
( & & & D). , ( , ). , , (( & ) & ( & D)).
( & ) ( ), ( &
D) ( D). ((
) & ( D)). :
(( ) ( D)). , .
115


. ,
, .
, = . ,
,
, .
, (( ) ( D))
(( ) ( D)),
. ..
( & & & D),
.

.

. , ((2 + 4) : 3)
(2 + 4) 6, (2 + 4) = 6.
, F, , ,
F' , F F'.
, . , ((2
+ 4) : 3) "2 +".
.
, , , " "
"& )" - . -, . ,
, ( ). " )", "( & )) "
.. , .
.
F ,
F F' ,
F F'. F , F'
.
,
.
116

, {, } .
,
. ,
. ?
, . , . ( , , . ,

.
{&, , } , {, } .
,
? , : {&, } {, }. , &
.
,
.
( & ) ( )
( ) ( & )
{&, } {, } ,
& ( ), . ,
, .
( ) ( )
( ) ( & )
, {&, , }, -
. , ,
.
? ,
.
117

 ,
"" .

, ,

.
, (( & ) (
& )), ,
.
(1) (( & ) ( & )) ((A ) ( ))
( ( & ) ( & ) ( )
( ) .)
(2) (( ) ( )) (( ) & ( ))
( ( Y)
( & Y), ( ), Y
( ).)
(3) (( ) & ( )) ( )
( .)
.. , .. ( Y) (Y Z),
( Z) ( ,
), ,
:
(( & ) ( & )) ( ).
, ((
& ) ( & ))
: , ( ), ..,
.
, . ,
? , , , ? , .
, , ,
, ,
.
118

( )

. , . .

( )

, ()
( ), . .
,
& .

&

((

))

, (( )
( )) ( & ),
.. ( & ) (( ) ( )).
,
& . ,
{}, - , !
, |,
. , | . .
119

| )

{|} .
( | )
( ) (( | ) | (( | ))
( .)
, , .
- , .
,
, , , .
,
. ( | ), .
, ,
, .. .
7.
, . . . ,
.
0 1. 0 ,
1 . , .
120

&

&

. , . .

, 0 0 = 0, 1 0 = 1, 0 1 = 1,
1 1 , : 1 1 = 0.
1 1 = 1,
.
, 0 1.
{&, }, ( {&, }) .
. , (
) , ,
( & ), ( ) .
, , , . ,
. .

1
0

0
1

(1 )
0
1
121

 {&, , } , {&, }.

.
. ,
(( & ) ) (( (1 )) ). = 1 = 1 ((1
(1 1)) 1) = 1. = 1 = 0 ((1 (1 0)) 0)
= 1. = 0 = 1 ((0 (1 1)) 1) = 1. ,
= 0 = 0, ((0 (1 0)) 0) = 0. ,
(( & ) )
( ). {&, , } ,
().
, 1, ,
,
, 1, 0.
, ( & )
( (1 )), = 1, = 0
0. ( & ) (1 ( (1 ))), 1
.
, , .
, .
: (
), (
). p, q, r, s, p1, p2, , pn, .
, . , .
,

. .
,
, ,
.
122

 q
, , . ,
: (1) q , (2) q

q
, (3) q ,
(4) q . , (1)
,
. (2) (4)
q
.
(2) , (3)
. (1) (3)
.
(4) .
,
p q
(p & q), p q (p q).

. , , .
.
. ,
, , , . , . , -
, .
{&, , }. ,
, , .
,
,
.
123

 , , - . , -
,
. , ,
, .
, ,
, , , , . : , ,
.
, q
r . , , .
, (p & q & r),
q
r
. q
r

?
: (p & q & r), (p & q

r
q
& r) (p & q & r).

q
r
((p & q & r) (p & q &
r) (p & q & r) (p & q & r)).
,
. ,
, .
, , ..

,
.
, , , ,
. , .
,
.
. ,
. ?
. 124

 ,
. . ,
p q.
q
q,
(p & q).

q
(p & q)
q, ((p & q)
q
q). , , ((p & q) ((p & q) q)). ,
. . (((p
& q) ((p & q) q)) & p), .
, ( q).
(((p

1
&

q)

((p

2
&

5
q)) &

q)

p)

5
. (p & q)! ,
(((p & q) ((p & q)
q)) & p) , , (p & q). , , p q:

.
, .
,
125

 .
?
, .
,
.
, , ,
, , .
,
: , 0
1,
, - .
,
, , ? . -. , , , , .. .
, .

? , . ,
, .
, , .
, .
, , , , ,
.
. ,
, ,
.
, ,
. , .. ,
.
126

 - . .. ,
(,
-, -
).
8.
.

? , . ,
,
.
. . .
.

,
.
.
, , . , , .
.
, . ,
, . ,
( ),

. {, }. , .
127

 0.
0 ,
. 0
.
, 0, 0.
1. ( (B A)) ( );
2. ( (B C)) ((A B) (A C)) ( );
3. ( B) (B A) ( ).

modus ponens ( ..): A (A B), B.
, ( )

, 0 .
. 0 ! , ,
, , .
. , (p q), B (r s).
((p q) ((r s) (p q)))
0, 1, ..
.
. , , . , .
( ,
, ), , , . , . ,
. .
, ,
.
.
cogito, ergo sum (, 128

 ). ? , ..
, ,
,
, . ?
, -
. ( ) . , ? , ,
- , , . , ,
, .
,
. . ,
(,
0)

( ), , .
, .
, .

. , . , , Q.
0,
.
- 1, 2, ..., n, ,
. . , ,
,
.
129

 0.
,
(A (B A)).
1. (A (B A))
1.
,
(A (B A)), .
1,
. (
, ) . , (A (B A)), .
1 ,
. , ((p q) ((r s) (p q)))
1, ((p q) ((r s) (p q)))
0. .
1. ((p q) ((r s) (p q))) 1.
((p q) ((r s) (p q))) ,
1. , ((p q) ((r s) (p q))).
,
0. ,
.
, : , . , . .
, , .
0 ? ,
,
. , .
,
(AA).
1. (((A)A))((A(A))(AA))
(A2);
2. (((A)A))
(A1);
3. ((A))(AA)
2, 1 ..;
4. ((BA))
A1;
5. (A)
4, 3 ..
130

 , 2. , ,
. 2,
, ? 2 ( (B
C)) ((A B) (A C)), , .
, , .
2 ( (B )) ((A B) (A )).
,
, , ( ).
2, ( (( A) A)) ((A
( A)) (A A)) 2.
. 0 modus
ponens. ,
.., ,
.
.
( ) ,
, : ( ).
, . , ( ),
: ( ), (q q), (( ) ( )) ..
,
(
). .
, , ,

6 . .
1, 2, ..., n,
1, 2, ..., m 1, 2,
..., m A. : (,
) 1, 2, ..., m () . ,
m = 0 (.. ), A.
, , , . , . , .
131

 0.
1. (A B)
.
2.
.
3. B
2, 1 ..
4.
2, 3 ..
, (
(A B)), B.
. ,
, . ,
. , : ,
, .
,
. , , 0,
. , ,

, ,
0 , .
, , 0 , , .
. 1, 2, ..., m, B, 1, 2,
..., m ( ). , m = 0, B ( ).
.
1, 2, ..., m ( )
1, 2, ..., m-1 (m ( )), 1, 2,
..., m-2 (m-1 (m ( ))) .., 1 (2 (3 ...... (m (
))...)). 1: (1 (2 (3
...... (m ( ))...))). ,
.

1.
.
132

 , .. , , ... , .
. ,
, .. A. (A
A). ( ) , !
( (A B)), B. , :
( (A B)) ( B),
(( (A B)) ( B)).

0.
, , ..
(( B) ((B C)(A C))).
.
1. ( )
.
2. ( )
.
3.
.
4.
3, 1 ..
5.
4, 2 ..
15
( B), (B C) A . ,
( B), (B C), A .
,

( B), (B C) (A ),
( B) ((B C) (A )),
, ,
(( B) ((B C) (A ))),
. ,
.

(( (B C)) (B (A C))).
1. ( (B C))
.
2.
.
3.
.
133

4. (B C)
3, 1 ..
5.
2, 4 ..
,
( (B C)), , .

( (B C)), ( ),
( (B C)) ( ( )),
(( (B C)) ( ( ))).
.
, , , ,
,
( .). : , .
P0 . ..
1, ( (A
T)), .. (A
T). ,
1.
.
2. ( (A T))
1
3. (A T)
1, 2 ..
, , ,
- , ,
.
, ( T)
( T), .
. ,
, .

(A (A B)).
1. (A(BA))
A1
2. (A(BA))(((BA)(AB))(A(AB))) .
3. (((BA)(AB))(A(AB)))
1, 2 ..
4. ((BA)(AB))
3
5. (A(AB))
4, 3 ..
. ,
, ,
134

(( B) ((B C) (A ))). 2 , ,
( ), ( ).

( ( ).
1. (A (A B))
.
2. (( ( )) ( ( ))) .
3. ( ( ))
1, 2 ..

, . , ,
: .
, , ,
. .
1.
. ( )
2.
. ( )
3. ( ( ))
.
4. ( )
1, 3 ..
5.
2, 4 ..
, . , . , , , . .
, ,
, .
,
A. (A (A
B)) ( ( )),
0 . ,
. : 0 , ,
, , .. 0 . , 0 ,
. , .
0.
, , 0 .
.
0.
A, = .
135

. P0 (). 3 , modus ponens : = = ( ), = (,

, ). , modus ponens ,
. ,
, modus ponens ,
.., . 0
, . , A = ,
.
0.
0 , ,
. ,
= = , . 0 .
0 .
- . , 0 ( ) ,
.

, .
+, {, }
0 .
,
3. , . - , ,
( ) (
( ) 3 ). 3
+. ( ,
.)
,
. ,
= ,
. (
. .)
0. = ,
.
136

 , 0 ,
+ . , .

0:
= .
0 .
1, 2, ..., n .
1, 2, ..., n = 1, 2, ..., n .
, 1, 2, ..., n ,
0 1, 2, ..., n .
, 0 1, 2, ..., n
, 1, 2, ..., n .
(, ) . :
= .
1. 0,
( ) {, },
1 {&, , ,
}, .
1 .
1. A(BA)
2. (A(BC)) ((AB) (AC))
3. (A&B) A
4. (A&B) B
5. A (B (A&B))
6. A (AB)
7. B (AB)
8. (AC) ((BC) ((AB) C))
9. (AB) ((A B) A)
10. A (A B)
11. A A
modus ponens.
,
, , 1. 1 ,
o. , -137

 (.. ) 0 , , 1.
: - , 0 1 . 0 1 , , 0 1.
, .
9.
,
. , . , ,
, .
,
,
. , -
. , 0, 1 (.. ) ,
.
, . ,
:
, .
- . , , ,
, . .
,
. . ,
.. , ,
138

 , . ,
, .
,
.
. ,
. ,
.
, ,
; .
: . . ( )
. .
-
. , . .
, . PN
. ,
, .
, , N.
N

()

(&)
,
( & )

1 (&1)
( & )

139

 1 (1)

( )
2 (2)
B
( )
()
,
( )
()
,

2 (&2)
( & )

()
,
,
, ( )
()
, ( )

()

()

()

1, ..., n, n+1, ..., m,

1, ..., n

, , 1 2, 1
2, , . , , , . ,
PN ,
.
, . , , , .
PN , ,
. .

. .
140

 , , ,
, .
1. ( & )
.
2.
1, &2.
( & ) .

.
1. ( & )
.
2.
1, &2
3. ( )
2, 2
( & ) ( )
.
1. ( & )
.
2.
1, &1
3. ( )
2, 1
,
. . , , .
.
.
1. ( & )
.
2.
1, &1
3.
1, &2
4. ( & )
3, 2 &
, .
1. ( & )
.
2.
1, &2
3.
1, &1
4. ( & )
2, 3 &

. ,
.
. , . . ,
.
1. (( ) ) .
141

2.
.
3. ( )
2, 1
4.
3, 1
4
, modus ponens.
, PN . , ,
, .
1, ..., m, . m
, , , ,
.
1, ..., n.
, 1,
..., n 1, ..., n , {1, ...,
n} = , A, , .
A 1, ..., m ,


. A , , .
1, ..., m , , . , ,
,
A
, .
,
, .
, . , ,
, , . , ,
- , . ,
, , . , , .
142


1, ..., n A
1, ..., n, n+1, ..., m, .
, ,
, , ,
. , .
, , . ,
A . , ,

.
A ,
. ( ,

), -
( ).
. .
- 1, ..., n
, 1, ..., n, n 0 ( n = 0
- ).
, , -
( , -
), ,
. ( ) -
-.
, 1, ..., n,
-. , , - . n = 0 -
, - ,
.
143

 ,
, .
1, ..., n 1, ..., n, n+1, ..., m, , 1, ...,
n , n = 0, n+1, ..., m, .
- ().
1, ..., n, n+1, ..., m,
1, ..., n
n = 0 .
n+1, ..., m,

, -
, .. -. -
,
, 1, ...,
n, n+1, ..., m, , ,
- .
, 1, ..., n, n+1, ..., m,
1, ..., n, ,
n+1, ..., m ( )
. n+1, ..., m , -.
.
1. &
.
2.
1, &2
3.
1, &1
4. &
2,3 &
5. & &
1-4 .
1-4, , & ,
& . ,
- , 5. , . 5 & & , , , 1-5 .
, - & &
144

 & .
& & & , . : 1-5 - & & - &
& .
: & & ( 1-5) ( 1-4) & & .
-, .
1. ( & )
.
2.
1, &2.
3. ( & )
1-2,
1.
2.
3.
4.

( & )

( )
( & ) ( )

.
1, &2
2, 2
1-3,

1. (( ) )
.
2.
.
3. ( )
2, 1
4.
3, 1
5. (( ) ),
1-4,
, 1, ..., n, n+1, ...,
m, 1, ..., n
-
1, ..., n ,
1, ..., n , .
, ,
.
, ..
, . , ,
,
: -,
145

 ( -); -, (, - - ).
- .
.
, , . , - - (, ) .
, PN
,
. ,
. .
, ,
, . PN .
.
-. .
PN , 1) , 2) -, 3) PN;
.
.
- (, , ), ,
.
( ),
- .
, - .
(, )
, -.
146

 , : - , , , . ,
-. -
,
, , -.
, - , -
.., . , , , ,

-.
, -.
1.
;
2.
1, .
3.
1-2,
.
. . 1-2 (..
, ) ( !) .
, ,
,

( 1 , , ). -, , - PN.
.
1.
-.
2. ( )
1, .
, , (
) PN.
, .
1.
;
2.
1, .
147

3.
1-2,
4. ( )
3, .
:
1, ..., n ,
1, ..., n . . , - . 1, ..., n
1, ..., n
, .
. , ( ), . , , ( ( )).
.
1.

2. ( )
-
3. ( )
2,
4. ( )
1-3,
5. ( ( )) 4,
, . , - (
). ? ( ). ( ) . 1-3 .
( ( )) .
1.
.
2.
.
3.
2,
4. ,
1-3,
5. ( )
4,
6. ( ( )) 5,
, , . ,
. ,
4 {}.
,
-,

.
148

,
1.
.
2.

, .. 3 .
, - ,
. ( )
1.
.
, .. 2 . ,

1.
.
2.
.
3.
.
,
,
. , , . ,
, .
,
1.
.
2.
.
, ..
, - ,
.
, -.
1.
( )
.
2.
( )
1,
3.
( ( ))
2, 2
4.
( ( ))
1-3,
,

. .
, .
.
, - 1, ..., n
.
(1 (2 ,..., (n )...) n- 149

 , ( ),
. , .
1.
1
.
..............................................................
n.
n
.
n+1.
(1 (2 ,..., (n )...) .
n+2.
( )
.
n+1,
n+3.
(1 (2 ,..., (n )...)
n+4
( )
n+2,
n+5.
(2 ,..., (n )...)
1, n+3
..............................................................
2n+3.
(n )
n1, 2n+2
2n+4.

n, 2n+3
2n+5.
B
2n+4, n+4
2n+6.
1, ..., n
1-(2n+5),
,
.
: - 1,
..., n
- 1, ..., n ( n 0, ..
n = 0 , )?

, (..
).
.

1, ..., n

1, ..., n
( n 0)
, - 1, ..., n , .. , , .
.
150

 . , . ,
1, ..., n n, ..., 1 , ( ) .
. - 1, 2, ... , n-1, n .
i1, i2, ..., in-1, in, , 1, 2, ...
, n-1, n, . - i1, i2, ..., in-1, in . n
- 1, 2, ... , n-1, n
, (1 (2 ... (n-1 (n
))...)). .
1.
i1
.
.
2.
i2
.............................................................................................
n-1. in-1
.
n.
in
.
n+1. (1 (2 ... (n-1 (n ))...)) .
n+2. (1 (2 ... (n-1 (n ))...))
n+1,
i1, i2, ..., in-1, in 1, 2,
... , n-1, n , i1, i2, ...,
in-1, in ij, 1.
ij j- , n+2- .
.
n+3.
(2 ... (n-1 (n ))...)
j, n+2,
ik, 2
, 2
n+3. 3, 4 .. ,
2n
2n.
(n-1 (n )).
im, n-1 m.
.
2n+1. (n )
m, 2n,
, g ig,
n. .
151

2n+2.

g, 2n+1
1-(2n+2), i1, i2, ..., in-1, in. .
2n+3.
i1, i2, ..., in-1, in
1-(2n+2),
- i1, i2, ..., in-1, in ,
.
,
( .).

1, 2, ... , n-1, n
i1, i2, ..., in-1, in

PN. ,
,
.
( ) ( ).
1.
.
2.
.
3. ( )
1, 2
4. ( )
1, 3,
5. ( )
2, 1
6. ( )
2, 5,
7. ( ) ( ) 4, 6,
-
( ) ( ), . . (
) ? ,
, . , , ,
,
. : . PN . ,
, .
, ? ,
, . , (
) ( ) ( )
, .
152

 . : ( ), - ( ).
( ),
1. ( )
.
2.
.
3.
.
4.
2,
5. ( ), ,
1-4,
6.
3, 1,
7. ( ), ,
1-3, 6
8. ( ),
7, 5
- ( ), : ,
. ,
, , . , . . ,
. , , .
-,
. .
. ,
.
. .
, , , , . .
, ? ,
. PN
, . , .
,
1.
.
2.
.
3.
.
4.
1,
5. , ,
1-4,
6.
2,
153

7. , ,
1-3, 6,
8. ,
5, 7,
9.
.
10.
9,
11.
9-10,
12. ,
8, 11, .
. - ,
, , . ,
- .
- 8 11, - , .
, , ,
, . , . :
,
, ? , , .
, , 2 2 = 5 ,
? , . ? ,
. 2 2 = 5. 2 2 = 4, 5 =
2 2 = 4. , 5 = 4.
3. 2 = 1. . 2 = 1.
, , . - , 2 2
= 5 ,
2 = 1,
.
- ,
.

1.
,
.
2.
,
.
3.

1,2, .
,
, ,
.
( ),
1.

.
154

2.
.
3.
2, .
4. ,
1-3,
5. ,
.
6. ,
5, .
7. , ( )
4, 6,
8. ( ),
7, .
. ( ), . , . , ,
, . , ,
. . ,
. ,
. , (
) . , , . .
, 1, 2, ... , n-1,
n n-
(1 (2 ... (n-1 (n
))...)).
. , .
1.
.
2. ( )
1,
( ), .
1. ( ),
.
2. ( ) ( )
1,
3. (( ) ( )) 2,
,
, . , ((( ) ) ( ( ))) ((( & )
( ))(( ) ( & ))),
.
, ( ) ( & ). PN , : (( )
( & )) (( & ) ( )).
(( ) ( & ))
155

1. ( )
2. ( & )
3.
4.
5. ( ), ( & )
6.
7. ( ), ( & )
8. ( ) ( & )
9. (( ) ( & ))
(( & ) ( ))
1. ( & )
2.
3.
4. ( & )
5. ( & ), , ( & )
6. ( & )
7. ( & ), , ( & )
8. ( & ),
9.
10. ( & ),
11. ( & ) ( )
12. (( & ) ( ))

.
.
2, &1
3, 1
1-4,
2, &2
1, 2, 6,
5, 7,
8,
.
.
.
2, 3, &
1-4,
1, .
1-3, 6,
5, 7,
.
8, 9, .
10,
11,

PN .
( 0), .
((( ) ) )
1. (( ) )
.
2.
.
3. ((( ) ) ( ( )))
.
4. ((( ) ) ( ( )))
3,
5. ( ( ))
1, 4,
6. ( )
2, 5,
7. (( & ) ( ))
.
8. (( & ) ( ))
7,
9. ((( & ) ( ))(( )
( & )))
.
10. ((( & ) ( )) (( )
( & )))
9,
11. (( ) ( & ))
8, 10,
156

12. ( & )
6, 11,
13. ( & )
12,
14.
13, &1
15. (( ) ),
1-14,
16.
2, .
17. (( ) ),
1-2, 16,
18. (( ) )
15, 17,
19.
.
20. (( ) )
18, 19, .
21. ((( ) ) )
20,

PN, . PN
: , , =, . , , =
( & ). ..
, ,
= :
,
. , , , = , =
, = , . , , .
,
.
, 1, ..., n, n+1, ..., m,
1, ..., n , n+1, n+2 ..,
, (..
, ). : 1, ..., n = .
.
, ,
, .. = . , , .
, PN .
157

 N.
A, = .
.
N. , , N.
N.
N. =
, .
,
= .
( ) . 1, 2, ..., n . PN
1, 2, ..., n = 1, 2, ..., n .
, 1, 2, ..., n ,
PN 1, 2, ..., n .
, PN 1, 2, ..., n , 1, 2, ..., n . (, )
. PN :
= .
, PN - , P0
.
, , . , .

 5.

, . , , ,
. , , , , .
.
.
, , .
.
,

. ,
, .
1.
. ,
. 7 .
.
, . , , ,
. , , , , , , , , , , , , , , ,
. . , 4, IV . .
159

 . , . - , . , , ,
. -
. ,
.
,
, . ,
: .
. , . .
.
, . . , , ,
,
, ,
, ,
, .
. , ,
, ,
.
, ,
, , , .
, . ,
, ? ? ?
. - . .
,
, .
160

, . , .
, . ,
. , , ,
. , .
, , ,
. .
.
, ,
.
. ? , , , ,
, . , , . .
.
,
.
, , .
, . . . , , ,
. , . ,
, .
,
, . , ,
,
. , ,
. , , .
161

,
, , .. .
. . , , .
. .
, . , . , , . .
, .
o
,
. ,
. . , , .

, , , .
, , .
.
I. . , .
. .
. ( , ,
), ,
.
, , .
, . . ..
162


. .
,
. .
, ,
. .
. ..
, . ,
,
. . ,
. , -, . .
. ,
, , ? .
,
? ,
I. I, II, III,
IIII .. , .
, : I (), V
(), X (), L (), (), D () (). , ,
. . , IV (5 1), III
(1 + 1 +1), XL (50 10), XLVI ((50
10) + (5 + 1)) .. . (
) 1444 3888,
MCDXLIV MMMDCCCLXXXVIII
.
II. . , , ,
.
163

 . ( , ) , . - . ,
, . , ?
.
. , , . . .

( ), .
, .
. :
. , , . ..
,
- , , : , .
.
, . . ,

,
, . - .
. , 164

 ,
, . :
.
III. . , -
-, .
.
, , . , = b, , b . ,
, =
b, b = . ( )
.
( & )
( ). , ,
.
, . ,
. . ,
.
VI , . . ,
.
. , =
.

, .
, ,
.
!
. . , , ,
, . ,
.

165

. , =
. . .
, .
, , , .
,
. :
, , -,
, 9 7.
, 9 > 7 .
9, .. = 9. 9
, > 7. ,
,
.
,
. ,
. : , ( & ) ( )
?. ((
& ) ( )),
. , ( )
( ) ?. ,
, ,
,
,
. ,
. , ( , ) , .
,
, ( ), ,
( ).
166

 , , .
. ,
.
, .

. , , , , . . , ,
, ,
, , . NN , ( ) .
. , ( ) ( &
). NN , ( & ) .
NN .
, .

( , ,
, , ,
.), . , ,
,
. - , ,

. ,
o
,
.
167

2.
- , ,
,
. , - , ,
- . ,
, ,
.
.
, . ,
- . ,
. . , , , ,
, .
?
, .
, . , . , .
, . - , .
. , .
.
... ? ,
. , . , ,
. , , ,
. !
168

, , , , . , .
. . .
,
, . , , , , . ,
,
.
, ,
. (
) ,
. , ,
.
,
.
,
, .
. , ,
,
. ,
, . , . ,
, , ?
. , , ,
, , .
169

 ,
, . (). :
, , . ,
() (..
, ,
).
. ,
, ( ) ( ). ? - , ,
, .
(), (),
.. () (). ,
- . , .
x, y, z. ! , () (),
, .
, ( ) , . ,
. ,
.
, , ,
. . .
.

. 170

 . . ,
. , . ()
(). , (()). ,
.
( ) (),
, .

, .
, (, ),
(, ) (, ).
: ,
, .
,
,
, .
, . . ( )
(,
). . ,
. ,

. , : . , . .
, : , . ,
171

 .
, .
.
, . , , . ..
, , ,

.
,
, .
, , , (): (), (), (), (). .
,
() ().
. ,
.
, () (8),
, () (8).
? .
: , 8 5.
, , ,
. (, ), (8, 5). ,
, (, ), (, ). , , ,
.
,
.
, -. . .
, : , , , .. , : x y,
172

 z: (x, y, z). , , . , : x y t s: (, , t, s), ..

, , .
, , , . , ,
; ; . . ,

. , -,
. , , ?
. ,
. ,

: ( ) ,
(
). R(x1, x2, , xn) n ( n 1).
n = 2 , n = 3
. , : (, ) ..
>(, ) ( > ).
( ),
, (
), , .
. ,
. , ,
: . : ? , ,
. , 173

 .
. , ;
, .
, .
.
. , , , ,
, , , , ,
, , ,
. ,
,
,
.
, , . .
,
. ,
. , , , a b
{a, b} = {b, a}, <a, b> <b, a>. , n
{a1, a2, a3, a4, , an-2, an-1, an} = {an, an-1, an-2, , a4, a3, a2, a1}
= {an-2, an-1, an, , a1, a2, a3, a4} .. ( n- ), <a1, a2, a3, a4, , an-2, an-1, an> <an, an, an-2, , a4, a3, a2, a1> <an-2, an-1, an, , a1, a2, a3, a4> .. (
1
).
, . , . ,
, {, } <,
> {a, a, ..., } <a, a, ..., > (
).
n- {a1, a2, a3, a4, , an-2, an-1,
an} , n- <a1, a2, a3, a4, , an-2,
an-1, an> . , {a, b} <a, b>, , ..
, , , ,
, .
,
174

. , , (, ) {a1, a2, , an, }, n- ( n

2) , (,
) n- {<a11, a12, , a1n>,
<a21, a22, , a2n>, , <am1, am2, , amn>, }.
, () {1, 2,
..., n, ...}. (, ),
, {<2, 1>,
<3, 1>, , <99, 1>, , <3, 2>, <4, 2>, }. ,
, . , . , , {2, 4, 6, 8, ..., 1, 3, 5, 7, ...} {<3, 2>, <4, 2>, , <2, 1>,
<3, 1>, , <99, 1>, }. , ,
, . <99, 1> , 99 1, <1, 99>
, .. , 1 99.
, ,
, .
.
8 . -
, . ,
. , . , . ,
, . , , , . , , ,
, , ,
. , ,
.

, , (,
) , , .
175

 . , ,
, , . -
, (), , - ,
, , ,
, .
, ,
, ,
, , ..
< , > (, ).
, . ,
,
, .
.
9 ,
. , . ,
, ,
,
, -, , , ? . , , .
,
. .
, . ,
.
,
, .
,
, 176

 . .
, .
,
. ,
. .
. ,
(), (, ), ..
.
, : .
, . , s s k k.
s s k , s s k . (, , z).

,
, ,
.
3.
,
, -
. , , , .
99
99 .
. ,
,
, n , n ,
n ( n 177

 ), ,
, ,
..
, , , ,
.
. ,
. , , , . ,
, ,
. ,
,
. ,
, .
.
: (, ).
, (, , ,
..), ,
, , .
- , , ..
, . .
. , . ,
. , .
, . , , , ..
, , , .. , .
(). ,
, (). ,
178

 ().
.
> ( ). (
> ) ( , , ), ( > ) (
, ), ( > ) ( , ), ( > ) ( , ).
( > ), ( > ), ( > ), ( > ).
n- .
() ()?
, : ,
,
. . ,
, . 5 1 ?
! . ,
,
.
.
, ,
.. , .
.
,
, .
(
, ), ,
.
( > ) ( > ).
N+ = {1, 2, 3,
, n, }. ( > ) .
, ,
, > . 1 , 1 > . ( > )
N+. , , > . .
= + 1, > .
179


N = {1, 2, 3, , n, }, ( > )
, ( > ) . , , , .
,
, .
,
, .
, , , , . (
) . .
,
.
, (, , ) ,
, .
, , , .. ,
. ,
,
.

- .
, .
. , ,
, .. . . , ,
.
. , , , 180

 : ?

.
() (). ,
- .
? U U. -
,
, .
, - . , . ,
?
, .
,
, , .

,
. , , . , , , , ,
. , , . - ,
, .
,
.
? , , , , , , ?
!
181

, . , .
:
. ,
.
,
.
. ..
,
- ? , .
, , , ,
, , ,
, . . , ,
,
.
,
, .
,
. , , . : - .
: , , . ,
, , , . , , .
.
,
, , 182

 !
, . : . ,
(.. ) , .

( ), ,
, .
,
, .
, .
, .
,
, .
,
. ,
. , . ,
.
.
.
. . , . , , 2 2 = 4.
! , ,
, , , .
,
. ,
.
, .
, , .

, ,
, .

, . , 183

 : , , , , .
,
- .
4.

.
.
.
1. a, b, c, d, a1, a2, , an, .
2. x, y, z,
x1, x2, , xn, .
3. n 1 n- P(x1, , xn), Q(x1, , xn), R(x1, , xn), P1(x1, ,
xn), Q1(x1, , xn), R1(x1, , xn), , Pm(x1, , xn), Qm(x1, , xn),
Rm(x1, , xn), .
4. , &, , .
5. .
6. ( ).

.
, .
s, t, t1, , tn.
.
1. n- 3 .
2. (s) , , s, t . (t),
(s) s t, .
3. , .
4. , ( & ), ( ) ( )
.
5. (v) , v. (v)
v v. v(v) v (v) .
6. .
184

 ,
. ,
. .
, R(x1, x2, x3)
1. 3, R(x1, x2, x3) .
x2 . b . , 2, x2 b, R(x1, b, x3). x3 ,
x3 R(x1, b, x3). , 5, x3R(x1, b, x3) . x3R(x1, b, x3)
1 , 1
. 5, ,
1x3R(x1, b, x3) .
v , .
v ,
v v. v , v v
v. , ((, , z) & zQ(x, y, z))
, , z .
, , . , , , .
,
. - (
)
.
, (), R(,) .. . , ,
N+. () ( > )
- .
,
.
, ,
. , ; , .. 185

 , ,
.
() ,
, .. . 4, (4), 5, (5).
. ()
() , , .
>.
4 . (4 > y)
y, . ,
4. , 4 !

, . , ,
(4 > 2), y(4 > ).
, . , ( ,
). : , .
, .

.

. .
U,
, U , U.
, . () ,
186

. , ,
() U,
(), .. . () . :
, U
, (). , , , ,
.
, - b,
, () , (b) b. b
(), , .
,
.
U n 1, 2, ..., n.
.
(()) ((1) & (2) & ... & (n))
.
(()) ((1) (2) ... (n))
, , , , . , , ,
,
. ,
, (.
). , . ,
, .
, ,
.


.
187

 ,
, (- ) .
,
. , ,

, . ,

, ? .
, , , , .
.
,
. , , ,
- .
,
, ,
. , , .
.


.
188

(1) .

.
(1.1) (() ())
( , , ,
, , ;
.)

(2)
.
(2.1) (() & ())
( ,
, , ,
, ; - .)

(3) , , .
, , ,
. ,
.
, .
(3.1) ((() & ()) ()).
(3.1)
, ,
, . ,
(3.1), (3).
. , ,
(4) .
?
, : () (). - (()
...). , .
(() ()), ,
(), ..
189

- .
(() ), ?
(() & () ) ,
, , . ,
.
? , ,
(4.1) (() & () ).
, ,
(4)
.
, ,
, .
, . (4)

(4.2) (() ).
, (4.1)
(4). , , .
(4.2), ,
, (4). .
(4.3) (() & (, )).
, (4.2) (4.3)
, .. . ( : (4.2) (4.3)
?)
, ( ) ( &
) :
( ) ( & ).
,
:
( ) ( ) & ( ).
, (4.2)
(4), (4.3) . , . , 190

, (4) (4.2) (4.3) (4.2) (4.3),

,
.
,
, .
,
(5) ,

(6) .
, (5)
(5.1) y((, y))
( , y.)
?
( )

, ,
, (,
).
(6) (5.1).
, , . ,
,
..

(, ). , : y z ( y z
). , ,
5-
(1), (5). (6)
(6.1) y((, y, 5).
(5.1) (6.1) . , ,
,
.
, ,
.
191

 ,
. ,

(, (5)
,
).
, : , , ? ,
, .

. .
, . ,
, .
. , ,
.
.
. , .
5.
, . ,
. .
192

 ,
.
( ), .

. . . , .

,
.
, , 10 .
( < 10) {1, 2, 3, ..., 9}.
2001-2002 (
2001-2002
()). .
, , . .
, ,
. , ,
. .
.
(*)
Df
Df .
.
.

, , ,
, . ,
- , . ,
193


, .
,
.

( ).
, , .
(, Df .)
,
(*),
, . , , , . , .
, .

, .
, ( Df) . .
R(1, ..., n),
(*).
(**)
R(1, 2, ..., n) Df (1, 2, ..., n)
(1, 2, ..., n) , , 1, 2, ..., n.
(**). > ( ),
N+.
( > ) Df (z( z = ))
,
, . :
( Df) , ( Df).
.
() Df ( () ()
() () ()
() ())
194

 .
() Df y( y y > )
( y :
y Df ( = y).)
, , ( ) y
y > (.. ).
, , .. ,
. N+ () {1}. ( , , ).
, Df
, .
() Df ( y y > )
y
. , , =
5 y = 10. 5 10 10 > 5, , 5 , . , , , 5 . ,
, 5 > 4, 5
, . ,
.
Df ,
. Q()
() .
Q() Df ()
Df . . ,
,
, Q, .. () , Q()
. () ,
() (
()), Q() , 195

 , Q() ( Q())
. , (.. ), Q.
, Q . (
Q() Df ()).
6.
, .. . ,
, .
. .

,
(, ) , .

.

. , ,
. ,
, , , , .
, . .
,
, , . .
, , , .
196

, . , ,
. , ..
, , .
. , () ( ,
, ). ,
(!)
((() & ()) ( = )).
, (!) ,
, ,
. , , .
(!) ()
: !(). ,
!().
!() Df () & ((() & ()) ( = ))
!, .
, !(),
, .
,
N+.
() Df y( y y > )
, , , . ? , ,
d , ( ) y( y y > ) y(d y y > d).
, d . : d d > . .. d
, modus ponens : d > .
, d > d. .. d , modus ponens : > d. ,
( > ) ( )
( > ) Df (z( = + z))
197

, > ( > ). ,
> d, d > ,
. , . : .
, ! (). ,
N+. , 1. ( N+) y(1
y y > 1).
- ,
.
=Df, . ,
1, :
1 + 1. ? 1 + 1 =Df 2.
I, I + I =Df II.
. ,
.. , :
.. =Df .
7.
,
. ,
.
. , , . ,
,
.
,
,

198

 . ,
, ,
. ,
, ,
, ,
.
. :
? , : () , , ()
, . : () , , , () , .
,
,
( ) . ,
, ,
, , , ,
?
. .
.
, , .. , . , , ( :
, ).
,
- , .
199

 .
- - .
, ? ...
- .
, , .
: , !
: ,
! .
, , ,
, .
, , .
, , . !

, ., , , ( ,
) -. , , . , .,
,
,
.

, ?
.
( Df), ( Df). , , , ,
, , , , ,
, .
.
. -
. ..
. , .
, ,
200

.. ,
. , , . . , ,
. ,
, , .
, , , , .
, , .
, ,
. ,
. , , . ,
.
, , - . ,
. ,
,
( ).
,
. ,
, .
, ( )
,
. ,
.
,
- , . ,

. , , 201

 . , ,
.
,
, .
. , ( ).
,
, , : ?
.
. , . ,
, , , .
. , , ( , , )
( ).
8.
. ,
:
1. ;
2. .

Df,
=Df.
202

 Df =Df, , , :
, "", "" ..
, 2
, , . , b =Df b b, b =
b . ,
() Df () , () () .
,
.
1 Df 2, 2 Df 3, ...,
n-1 Df n, n Df 1. , 1
2, 2 3 ..,
n-1 n, n 1, 1 n.
, , .
- , .
:
" (.)

(.). . ".
:
" (.)".
""; :
" (.) (.).
. ".
, .

, , . , ,
. ( , , ).
203

, , . . ,
( ,
).
.
, , . :
, ,
, , . , , , , .
,
. .
,

.
:
. . , 0 1.
().
1. (0) (.. 0, ,
).
2. (n) (n+1) (..
, n , n+1
, , ).
3. , 1 2, .
1-3 (). ,
(**) () ,
204

 . , ,
.
,
0. , ( ,
) 0 , . ,
2, , 0+1 (.. 1) . , ..
,
, 0 .
, .

,
. 10 .

, .
, (
) , .
, , ,
. ,
, , . , , ,
. o , , .
,
. , - .

.
.
205

9.
.
,
. . , , .
, () : ,
.
: ()
,
().

,
. ( ,
).
.
. . , (), .. ,
, : , , ..
. , ,
:
, .. : (() & ()) , ..
.
, , .. ( () & ()) . ()
.
206

 , . , ,
, ,
.
, , . ,
, .
, 1, ..., n ,
.
1. 1, ..., n ;
2. 1, ..., n
( , );
3. .

. , . , -, -, -. ,
, , .. ., :
. .
:
2. , -
- . , ,
() 1.
,
. ,
, ,
( ,
). 207

 {1, 2, ..., n, ...}, {1, 2, ..., n, ...}

{0}, . . ,
.

( ) . . :
,
. ,
, ; ,
. , , , , . ,
,
(, , ,
, ). ,
(, , ..).

( , -
),
(, , ..). , , . ,
()
,
, , -, . ( , , ) . ,
,
, , .
.
208

 . , , . .
,
.
, , .
: .
,
.
.
. . , ( ,
, , ). . ..

. , .
, , , .
10.
,
(
).
. , . , . .

() (). ,
2,
209

 1 (, ). 2,
, . ,
1, .
.
()
(),

. P Q . ,
,
, Q. (x1x2 xn(P(x1, x2, ,
xn) & Q(x1, x2, , xn))), .., , n- , , Q.
:
P(x1, x2, , xn) Q(x1, x2, , xn) Df
(x1x2 xn(P(x1, x2, , xn) & Q(x1, x2, , xn))).

:
P(x1, x2, , xn) Q(x1, x2, , xn) Df
(x1x2 xn(P(x1, x2, , xn) & Q(x1, x2, , xn))).
n- , , Q.
, .

. . -, . ()
Q() Df (P(x) & Q(x)) &
y(P(y) & Q(y)) & z(P(z) & Q(z)).
. , , , , ,
, .
210

 .
-, , , . P(x) Q(x)
Df x(P(x) Q(x)) & y(P(y) & Q(y)). , , , , ..
, .
-, .
. . P(x)
Q(x) Df x(P(x) Q(x)). , , 2 .
11.
KN ,

. , .

()
(v)
v(v)

()
(t)
v(v)

()
v(v)
(t)

()
v(v)
()

v , t (.. , ), - , .
,
, ( ). , .
211

I. (). , - (v),
(v) v , ,
v . - v(v).
(v) v ?
, (v) v, v v(v)
(- 5 ).
, , ,
v? .
1. ()
.
2. ()
1,
3. () ()
1-2,
() .
- () ().
4. () () 3, ?
- ,
() , . . , , , , .
4 - , ,
(), .
II. (). , (t). : t - v, t
- n ( ).
v (v)
, : v(v)
.
(n). v(v)
(n) . (, ,
) n v, (n). , v
(v). (v) v, v(v).
n v, , v (v)? ( > 8). 8
212

 . ( > ). , ( > ),
. . ( > 8)
8 , ( > 8).
, , , .
( > y), (). .
( > ), .
III. ().
v(v). . (v). .
-, v
n. (n) ( v).
-, v , (v).
-, v v , (v) v . (v).
v (v), .
, ( < ), . , ( < ) (). ().
() . ( < ).
IV. ().
( :
, ).
, (v)
, v(v)
v (v), .
,
, .
.
, ( , ,
), ,
.

, , , 1, 2 ... .
213

 . , , n
v(v). . (v). v - ,
.
-, , ,
(.. ,
n, ). -,
.
, , . , .
KN , 1) , 2) -, 3)
KN; ,
, .
, , : , -, ( )
.

.
.
() : (, ) () , , , , ..
(). , , , ? n
. (n : n) = 1. n
( , , ), . , ( : ) = 1.
214

 (). () , , , , .. (). ,
, ( ()), , ,
( ()).
(), , . ,
. , .
()
. , , ,
. , , ,
, : z( = z). , , ( ,
)
(87943587245830658513 57362205840284832394 = z).
, , , .. , .
.
,
,
, .
? ,
. .
, ,
- , ... , .
! ... ... - ... - , , . ... -...
... , .
, ...

, , ,
!
,
, . , , :
215

(87943587245830658513 57362205840284832394 = ).
. , , 1040 < < 1039, ..
. , , , . , ,
(87943587245830658513 57362205840284832395 = ).
, , ,
, . , .
? ,
,
,
.
.
, . , , ,
. , , (() Q())
, (( Q()),
() ( modus ponens) , Q().
, .
, .
,
. , .
,
.
KN
.
(() ().
1. ()
.
2. ()
1,
3. () ()
1-2,
216

4. (() ())
3,
5. (() ())
4,
.
(() ())
1. ()
.
2. ()
1,
3. ()
2,
4. () ()
1-3,
5. (() ())
4,

. , (.. , )
, ( ).
(, ) (, )
1. (, )
.
2. (, )
1,
3. (, )
2,
4. (, ) (, )
1-3,
5. (, ) (, )
4,
6. (, ) (, )
5,
(, ), ,
. 5 6 . :
(, ) (, ).
(, ) (, )
1. (, )
.
2. (, )
1,
3. (, )
2,
4. (, )
3,
5. (, )
4,
6. (, ) (, ) 1-5,
. ( ,
(, )), . ,
,
. , 1-2,
1-3 1-4 , .. , ,
. (, ) (, ) .
217

 , .
? , .
(, ) (, )
1. (, )
.
2. (, )
1,
3. (, )
2,
4. (, )
3,
5. (, ) (, )
1-4,
6. (, ) (, )
5,
, ..
(, ) (, ).
1. (, )
.
2. (, )
1,
3. (, )
2,
(, ),
.
(, ) (, ). 1-3 , (, )
, . ,
? , . ,
(, ) (, ) .
.
. , (, ) , (, ) , ..
(, ) (, ). , ( > ), ,
, .
( > ), ,
( ), .
,
.
((() & ()) (() & ()))
1. (() & ())
.
2. (() & ())
1,
3. ()
2, &1
4. (() & ()) ()
1-3,
5. ()
2, &2
6. (() & ()) ()
1-2, 5,
218

7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.

(() & ()) ()

(() & ()) ()
((() & ()) ())
((() & ()) ())
((() & ()) ())
((() & ()) ())
()
()
(() & ())
(() & ()) (() & ())
((() & ()) (() & ()))

((() & ()) ((() & ()))).
((() ()) (() ()))
1. ()
2. ()
3. (() ())
4. () (() ())
5. () (() ())
6. ()
7. ()
8. (() ())
9. () (() ())
10. () (() ())
11. (() ()) (() ())
12. ((() ()) (() ()))

4,
6,
7,
8,
9,
10,
1, 11,
1, 12,
13, 14, &
1-15,
16,

.
1,
2, 1
1-3,
4,
.
6,
7, 2
6-8,
9,
5, 10,
11,

.
, (() ())
(() ()). , () (), ..
() ().
(() ()) (, (() ())),
, ().
(() ()) . , , ,
.. (() ()), ,
, .. (() ()).
219

 ,
((() ()) (() ())),
((() ()) (() ())). .
((() ()) (() ()))
1. ()
.
2. ()
1,
3. () ()
2, 1
4. (() ())
3,
5. () (() ())
1-4,
6. ()
.
7. ()
6,
8. () ()
7, 2
9. (() ())
8,
10. () (() ())
6-9,
11. (() ()) (() ()) 5, 10,
12. ((() ()) (() ())) 11,
((() ()) (() ()))
1. (() ())
.
2. (() ())
1,
3. ()
.
4. ()
3,
5. (() ())
4, 1
6. () (() ())
3-5,
7. ()
.
8. ()
7,
9. (() ())
8, 2
10. () (() ())
7-9,
11. (() ()) (() ())
6, 10,
12. ((() ()) (() ()))
11,
13. ((() ()) (() ())) 12,
14. (() ())
2, 13,
15. (() ()) (() ()) 1, 2, 6, 10-14,
16. ((() ()) (() ())) 15,
.
, , - () (()
()) . , ,
- , ,
. ,
1-6! , .. , .
220

3-6 - () (()
()), ,
, 3-6 . , - () (()
()), 7-10. 1, 2, 6, 10, 11, 12, 13, 14
.
((() ()) (() ()))
1. (() ())
.
2. ()
.
3. ()
2,
4. (() ())
1,
5. ()
3, 4,
6. (() ()), () ()
1-5,
7. (() ()), () ()
6,
8. (() ()) (() ())
7,
9. ((() ()) (() ())) 8,
.
,
. () (), () (). (() ()) , (.. ()) .
(() ()), , . , (() ()) (()
()).
, , ,
- (( ()) (
())), - (( ())
( ())). - (
).
(( ()) ( ())),
.
1. ( ())
.
2.
.
3. ()
2, 1,
4. ()
3,
5. ( ()), ()
1-4,
6. ( ()) ( ())
5,
7. ( ()) ( ())
6,
8. (( ()) ( ()))
7,
221

 7 ,
( ()) .
((() ) (() ))
1. (() )
.
2. ()
.
3. ()
2,
4. (() )
1,
5.
3, 4,
6. (() ), ()
1-5,
7. (() ) (() )
6,
8. ((() ) (() ))
7,
((() ) (() )),
.
1. (() )
.
2. ()
.
3. ()
2,
4.
3, 1
5. (() ), ()
1-4,
6. (() ) (() )
5,
7. (() ) (() )
6,
8. ((() ) (() ))
7,
, , ,
7 .

.
(() ())
1. ()
.
2. ()
.
3. ()
2,
4. ()
1,
5. (), () ()
. (. 9 . 4)
6. () (() ())
5,
7. (() (() ()))
6,
8. (() (() ()))
7,
9. (() ())
4, 8,
10. ()
3, 9,
11. (), () ()
1-10,
12. ()
1,
222

13. (), () ()
1, 2, 12,
14. () ()
11, 13,
15. (() ())
14,
, 1-3
(), () (), .. () .
, (), () () ( 1,
2, 4), . ,
- (), () ()
(), () (), . () () (, , 3 4 1-15),
( 9 . 4) - , (,
(), () ()).
(() ())
1. ()
.
2. ()
.
3. ()
2,
4. (), () ()
1-3,
5. ()
1,
6. (), () ()
1, 2, 5,
7. () ()
4, 6,
8. () ()
.
9. () ()
7, 8, .
10. () ()
9,
11. (() ())
10,
(() ())
1. ()
.
2. ()
.
3. ()
1,
4. ()
2,
5. (() (() ()))
.
6. (() (() ()))
5,
7. (() ())
3, 6,
8. ()
4, 7,
9. (), () ()
1-8,
10. ()
2,
11. (), () ()
1, 2, 10,
12. () ()
9, 11,
13. (() ())
12,
(() ())
1. ()
.
223

2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.

()
(() ())
(() ())
()
(), () ()
()
(), () ()
() ()
() ()
() ()
()
()
()
()
() ()
() ()
(() ())

.
.
3,
2, 4,
1-5,
1,
1, 2, 7,
6, 8,
.
9, 10, .
.
12,
13,
14,
12-14,
11, 16, .
17,

, . , . ,
,
.

,
.
KN,
.
-, KN ,
, ,

= . , KN
, , , KN. , KN
( ).
, 0,
KN ,
, KN .
224

-, KN , ,
, ,
. ..
= . ,
KN ,
, , .
, KN
, .

 III.

6.

, . , .
, . , , - , , . ,
( )
(.. ), ( ).
,
, .
, , ,
. , ,
, . , , .
, ,
. , ,
. , ,
226

 ,
( ) . , .
,
. KN
,
, KN
. ,
. , , , .
.
1.

. .
1. ( ~ )
2. (( ~ ) ( ~ ))
3. yz(((x ~ y) & (y ~ z)) (x ~ z))
( ~ ) . 1 .
: . 2 . 2, , ( ~ ), ( ~ ).
3 .
, z ((x ~
y) & (y ~ z)) (x ~ z).
,
, . . , ,
.
, 227

 ( ,
..), . ,
, .
,
.
,
. ( ) .
, , .
. , > , ( > ) ((
> y) (y > x)) . >:
xyz(((x > y) & (y > z)) (x > z)) .
- . , , . .
, ,
, .
( , ). ,
, ,
, . , ( ,
, ). ,
, , ,
z, , z.
z((x , y & y
, z) (x ,
z)). ,
, . ,
, . - ,
,
, ( ~ ).
. 228

 : (2), (3), (4) (5). , ,

.

. ( ).
, , , ,

. ,
, , , ,
, . .
,
() (), ,
( ),
z, - ( ). ,
z
z, . ,
, .

.
U. ,
(, ) U().

, U1, U2, ,
U. ( R ) Ui Ui Ui. , R .
, ( R ),
Ui , , , Ui. ( R ) ( R )
, Ui Ui, ,
229

Ui Ui. . ( R )
( R z). Ui, Uj , Ui, Ui Uj,
z U j.
, .. . , Ui = Uj, Ui z Ui.
( R z), .
,
, ( ) . ,
, ;
,
.
, . ,
, ,
.
. - , .
.
- , , . . .
1. ( )
2. (( ) ( ))
( )
. , .
. , ,
. , , , , .
, ,
,
. , (
). ,
. , 230

 ,
, ,
, . ,
. .
, : . ,
. , : (
). , ( ) ( z) , ( z),
.. .

: ( ) , ,
. ,

, ( )
. :
( ),
.
,
, ( ). , , 7 , z 7
.
,
z , ( ) (
z). z , ( z), ( )
.
. .
, , . ,
. , .
z(((x y) & (y z)) & (x z))
. , , ,
( , ),
?
231


. , , ( ). .
(
).
,
, , .
, 1 2, ~ . , (
~ ) . , 3 , . ,
.
, , .
, ,
1 2 . : yz(((x y) &
(y z)) (x z)). , ,
, . , , (
). . , , 1 2 . , 1 2
. , .
, , = .

232

2.
.
. ?
. ,
, , ..
.
( = )
(( = ) ( = ))
yz(((x = y) & (y = z)) (x = z))
, , , , . , , -
, . ,
. . 1813 ., .
, ~: ( ~ ). , ( = ), .. .
. , , ( ~ b), ( = b)
. , ,
.. ( ~ ), , , ( = ). ,
, ( ~ b)
( = b), ( ~ b) ( = b).
: ((a = b) (a ~ b)). ,
.
? , ~
( = , ,
..). , , !
~, (a = b) ~,
, a b,
: (a ~ b).
233

,
: (a = b) (a ~
b), (a ~ b) (a = b). ,
, .
, .
: , , , ,
, . ,
- . -
b b
, b .
,
. b, (), . , ()
, . , ()
(, 1, 2, ..., n), , , 1, 2, ..., n (
n+1- ).
() (b) () b .
() , (), (b),
: , b. ( ,
(b) () , .. () (b)
, (), (b),
(); () (),
(b) ().)
() () (b),
: , = b.

: , , .
, ,
,
,
, , .
234

 (1, 2, ..., n) , 1, 2, ..., n , 1,

2, ..., n. (1, 2, ..., n) ,
(1, 2, ..., n) i
i (1 i n).
.
1 ( = )
2 12...n12...n((1 = 1 & x2 = y2 & & xn = yn)
((1, 2, ..., n) (1, 2, ..., n))
, : .
. , 1, 2, ..., n , 1, 2, ..., n
.

. 2 , , , .
2 , .
, , , . , . .
( = = )
1. =
.
2. ( = )
1
3. =
2,
4. (( = & = ) ( = = ))
2
5. (( = & = ) ( = = ))
4,
6. (( = & = ) ( = = ))
5,
7. ( = & = )
1, 3, &
8. ( = = )
7, 6,
9. =
3, 8,
10. = =
1-9,
11. ( = = )
10,
12. ( = = )
11,
235

13. ( = = )
12,
4.
2 (( = & = ) ( = = ))
1 , 1 , 2 , 2
. (1, 2) , , ( =
), (1, 2) ( = ). , 2 , ,
.
.
yz((x = y & y = z) x = z)
1. (x = y & y = z)
.
2. x = y
1, &1
3. y = z
1, &2
4. ( = = )
.
5. ( = = )
4,
6. =
2, 5,
7. ( = & y = z)
6, 3, &
8. z(( = & y = z) ( = = z)) 2
9. z(( = & y = z) ( = = z))
8,
10. z(( = & y = z) ( = = z))
9,
11. (( = & y = z) ( = = z))
10,
12. ( = = z)
7, 11,
13. ( = )
1
14. =
13,
15. = z
14, 12,
16. (x = y & y = z) = z
1-15,
17. ((x = y & y = z) x = z)
16,
18. z((x = y & y = z) x = z)
17,
19. yz((x = y & y = z) x = z)
18,
20. yz((x = y & y = z) x = z)
19,

8. 2 z(( = & y = z) ( =
= z)) 1 , 1 , 2 ,
2 z. (1, 2) ( = ),
(1, 2) ( = z).
, ,
, . ,
, 236

, . ?
, ( ~ b), (
b). , b
. , , ! , = b ( b
) b, . , , ,
, (
) .
. , : ,
.
,
,
. , ,
. . , , ,
.

.
. ,
, ,
, b,
.
, .

, KN,
KN= =Df KN + 1 + 2. ,
,
. (KN -
) .

3.
, , KN=,
KN. , KN=. . < , , ,
, , < ,
= . ,
: Df < = . , , : < Df
& ( = ). ( ( = ) ).
, .
, . (
, ,
,
.)
.
1. ( )
2. (( & ) = )
3. yz((x y & y z) x z)

.
.
<.
1. ( < )
B2. yz((x < y & y < z) x < z)
2 , 1 .
< . ,
. ,
, , ,
.
238

 .
4. ( < ( & )),
<
3. ( ( < = )).
: ( )
(( ) & ( )). KN
&1 &2, (( ) & (
)) ( ) (( ) & ( )) ( ), ( ) ( ), ( ) (
).
, + 4 <,
< + 3 . ,
1
2, 1 2. , + 4 1 2, < + 3
1, 2 3. , , + 4 1.
+ 4 ( < ).
1. <
.
2. ( < ( & )) 4
3. ( < ( & ))
2,
4. ( < ( & ))
3,
5. ( & )
1, 4,
6.
5, &2
7. <
1-6,
8. ( = )
.
9. =
8,
10. < =
1, 8, 9,
11. ( < )
10,
12. ( < )
11,
+ 4 < + 3 .

. .
<. 1 2 < , . ,
, 1 . ,
239

 , z, z, , .. 2.
, , , .
, - ,
, , , , .
, ( < b) a b, , (b < a), .. b
. .
<,
>.
, ,
( < ) , ( > ) . , > <
<a, b> < <b, a> >. ( < x), <
<a, >, >. ( > x) . <a, b> <,
<b, c> <. , <a, > <.
, <b, a>, <c, b> <, a> >,
<c, b>, <b, a>, <, a>. , yz((x
> y & y > z) x > z) .

3.
3. ( < < = )
. ,
: < , < , = .
.
, ,
: ,
, = . . ,
, . , , ,
.
240

 ,
. , ,
, , , ,
, = .

, . , , , .
. ,
,
, . , , . , , .
!
, , . : , ,
. ,
, .
, . , , , (,
).
, . , {0, 1}, {0, 1, 2} {0, 1, 3} {0, 1} {0, 1, 2} {0, 1} {0, 1, 3}, {0, 1, 2}
{0, 1, 3}, {0, 1, 3} {0, 1, 2}, {0, 1, 2} = {0, 1, 3}
.
, . , , .
? .
. ,
, , .

t s, :
s t.
241

 ( ,
)
, , , .
, , . , . ,
, ,
,
?
.
3. z( < & x < z & (y < z) & (z < y) & y z)
3 3,
- .
4.
(., 1996) : . . : (,) ()
.
.
: W() ()
: (,y) P(x,y) & M(x)
: M(x,y) P(x,y) & W(x)

1.
xP(x,x)
2.
y!xO(x,y)
3.
y!xM(x,y)
6 !
,
KN=.
, , . - , - . , . .
242

 , ,
: (,b), (b,), (b,)
(,), .. ( ) ,
, ( )
! : (,b) & (b,) & (b,a) & (,) .
. ,
, .
, . , . . (,)
(,) .
4.
x(x,x)
5.
xyz((,z) & (z,y) (,y))
( , (, ) .)

(,) (,) & z((,z) & (z,y))
, .
(,b) & (b,) & (b,a) & (,) .
, , (,b) & (b,a).
, . (,b) & (b,a) , (,b) & (b,a). 5 ,
(,b) & (b,a) (,). (,),
4. , , , .
.
243

 (,b) & (b,) & (,). (,b) &

(b,) & (,) (,b) & (b,) & (,). , (,b) &
(b,) (,). 5 , (,b) & (b,) (,c).
(,). (,) (,), (,)
& (,). 5, (,) & (,)
(,). (,), 4.
, 1 , .. . , (,).
, (,), 4. xP(x,x),
.
,
. (.. ) , ,
, .
? . ,
,
. , , , ! , ( ).
, ad infinitum. ,
, , , , , . ! , .

. , , ? , .
,
. . ,
! ,
, . ,

. ,
( :
, ?; : ,
244

 , , , , ). ! :

.
,
. . ,
, ,
, .
, ,
: , - - ( ,

( ) !).
xy( (,)
(,)). , , . , , . . .
? ,
. , ,
. ?
,
. .

 7.

.
, . , . , ,
, . .
.
, , .
1.
(.. , 0) N.
.
, , . , , , +, <, > , .
, ,
, . +(, ).
+ . , n , ,
n- : f(1, 2, ..., n). s, s(x) =Df x +1. . 3 : 3(, , z) =Df z.
3. ..
246

 , N . N. , , , . , (4 3) N,
(3 4) N.
. , (, , )
. , . N , .
N .
( , ) ,
. . U. U u U
n N. , . -, u n. -, n , n - u,
, u .
, , . U .
U. . .
.

1
&
11

111

1111

11111
(
111111
)
1111111
p
11111111
q
111111111
r
1111111111
s
11111111111
111111111111
p1
p2
1111111111111

247

 . n , n . , ,
,
n , n - : , n , ,
n .
1, 2, ..., n, m1, m2, ..., mn.
: m10m20 ... 0mn. , , ,
, 0.
, , ( 2). 111111, 1, 11111111, 111,
1111111111111, 1111111. ,
( 2) 1111110101111111101110111111111111101111111.
n ,
n . , , 11120444 ,
2 4,
1 0. 11111101011111111? . (,
, .
(, . 10111111111.
q, .
(, ,
). ,
. , 1, 2, ..., n . 1, 2, ..., n.
m1, m2, ..., mn. : m100m200 ... 00mn.
, .
, . U ,
248

 , . ,
,
U . . , , , ,
, , ,
, .
,
. ,
. . ,
. ..
2.

.
. ,
. ,
.
, , , . , , , g(n).
,

,
,
- .

g(n) =

{ 1, n
{ ;
{
{ 0 .
249

, g? , .
. g.
n , n
. , g(n) = 0 . n .
. , g(n) = 1
; , g(n) = 0.
,
n
, .

,
. , ,
, , ,
. , , , ,
g(n) = 0.
, g,
.. ?
, , . , .
, , . , .
, ,
();
(RAM).
,
R1, R2, R3..., Rn, ... . Ri
, 250

 ri. ,
, , ,
,
. .

, ,
.
. n N Z(n). Z(n)
Rn 0 .
Z(0) rn := 0
( rn 0 rn 0).
. n > 0 S(n). 1 Rn. (
). rn := rn+1.
. m, n > 0
(m, n). Rn Rm, ..
rm Rn. ( Rm) . (m, n) rn := rm.
. m, n, q J(m, n, q). , Rm Rn.
rm = rn, ,
q; q ,
. rm rn, (
).
- .
.
251

 - r1, r2, r3, ..., .. ,

n, , R1, ..., Rn , R(n+1), R(n+2),
... .
-
. ,
Lq: (q N). - , .
- .
J(1,2,2)
L1: S(2)
S(3)
J(1,2,2)
J(1,1,1)
L2: (3,1)
.
, , , .
J(rm, rn, q) rm rn,
- .
rm = rn, ,
q. -
, ( );

, -
.
r1, r2, r3, ... .
(?). , .
1, 2, 3, ... ,
, . (a1, 2, 3, ...)
1, 2,
3, ...; (a1, 2, 3, ...) , (a1, 2,
252

3, ...) ; , (a1, 2,
3, ...) , (a1, 2, 3, ...) . , , .
,
, (1, 2,
3, ..., n, 0, 0, 0, ...) (a1, 2, 3, ..., n).
3.
, f ,
. f ?
f(a1, 2, ...,
n) a1, 2, ..., n, 0 ,0 , 0, ..., . (a1, 2, ...,
n). ,
R1.
. (a1, 2, ..., n) r1 = b,
(a1, 2, ..., n)b , (a1, 2, ..., n) b. f(a1, 2, ..., n) = b (a1, 2, ..., n)b, ,
f a1, 2, ..., n. , f , a1, 2, ..., n, , f, - . , (a1, 2, ..., n).
.
- f, a1, 2, ..., n, b
: -, (a1, 2, ..., n)b
, f(a1, 2, ..., n) = b, , -, (a1,
2, ..., n) , f(a1, 2, ..., n) .
, f -,
, - f.
, g
. , , g , , - g.
( ).
? , h, .
253

{ y, y
{
{
,
.
-
.
h(,y) =

+y -.
L1: J(3,2,0)
S(1)
S(3)
J(1,1,1)
1() ( ) :
{ 1, > 0
1() = {
{ 0, = 0
1() -.
J(1,4,0)
S(3)
L2: J(1,3,1)
S(2)
S(3)
J(1,1,2)
L1: (2,1)
even():
{ /2,
even() = {
{ ,
even() -.
L1: J(1,2,2)
S(3)
S(2)
S(2)
J(1,1,1)
L2: (3,1)
254

, , .
R(1,2,...,n) n- fR n-
, :
{ 1, R(1,...,n)
fR(x1,...,n) =
{
{ 0, R(1,...,n)
fR R. R , fR -;
R .
, (.. ) = 0
. , g()
:
{ 1, = 0
g() =
{
{ 0, 0
g .
J(1,2,1)
J(1,1,2)
L1: S(2)
L2: (2,1)
.
1. - :
(a) f(x) = 0, x = 0; f(x) = 1;
(b) f(x) = 5;
() f(x, y) = 0, x = y; f(x, y) = 1;
(d) f(x, y) = 1, x > y; f(x, y) = 0.
2. , .
3. , :
() "x < y";
(b) "x 3";
() "x ".

. , . , 255

 - . , .
, . , , ,
,
, , , , , . ,

, .
.
: f
, f -.
,
-. , ( )
-. - !
, , .
, 2, ,
( ) : ,
. , , . - , ,
, . ,
, - , , , .

 8. -

. , .. , , ,
(
, ) .
.
1.
? . , . . ,
.
, .
,
?. , .
, , .
, ,
, ?.
, , ?. : , ?. , , ,
, . , , ,
.
, ( ) .
257

 ( ) ? , ,
, : , , , .. ?
, , . , , .
, ? , , ( )
.
,
, , . ,
, ?
? ,
, , . ?
,
? , ,
, , .
= 28, , = 256. ,
, ?
, , ,
. , , ,
.
.
, . , . .
? ( , , , )? .
258

 ,
.
?, ?, ?, ? . , ? , 24.
. , , , ?
,
.
,
.
, ,
, , ( ) . , () , , ,
, , ,
.
? , ,
.
- ,
.
. , , , , ,
.. .., . ,
, .
.
, . . , :
. ,

. ,
, , .. . , 259

. . , ? : 210 .
, ,
. 210 =
1024, , : 1024 .

. ,
. . ,

? .
. ,
, . -
,
.
2.
,
, .
, . . , . ,
, .
, . , . .
,
.
, ,
, . , ,
.
, .
, , . 260

 . , ,
?. , ?, ? ? ..

. , -, , , -, ? , -
, .
. . , .
, ,
. ?, ? ?
, . , , , .
. , .
, ,
.
,
.
, ..
( ),
.
, :
?. , ,
. .
, ,
? , ,
. ,
,
. 261

 , . . ,
90- , - .
, (
), . ,
. . ,
. ,
.
. , , .
. , .

,
. (
.) , ?
, . ?, , ,
. ..

. ,
. ,
, . - : ,
. :
.
, . ,
262

,
. ,
: , ,
, !

. , . : ?.
, : ,
, . ,
,
, . , .
: , ?. ,
, , . , , : .
.
: - ;
. ( ),
( ),
( ) ,
.
,
, .
263

3.
U ()
U ( U). , U. (-), - , , a U,
r1 = 1, a A, r1 = 0, a A
( , , ). (-), - , , a U, a A
r1 = 1; a A, ( ). ,
(-), , ( ). , ,
.
.
). ,
; , .

,
,
-.
). (.. , ) . ,

: ,
; . , ,
. , , . , .
264

). ( ,
N) . , , .
(), () ()
, . ,
, () P(A) ().
, .
* - ( U), .
. () (*), () (*).
.
-, *
. aU
,
U
() ().
: a A a A.
A
A*
() ,
(),

.
, , . * (
A* a A*).
,
. U
<x, y> U , x > y. * U <x, y> , x y.
- .
: , y, 0, 0, 0 ...
L1:
S(2)
J(1,2,2)
J(1,1,1)
L2:
Z(1)
S(1)
y ,
. ( > ), 265

 ; ( )
. , , ,
.
- .
: , y, 0, 0, 0 ...
J(1,2,2)
L1:
S(1)
J(1,2,2)
J(1,1,1)
L2:
Z(1)
S(1)
( x > y),
*. , * .
, * .

. , , *.
, .
, .
: . , . -,
U. . -, U.
A R1 = 0.
:
,
, . . ,
, , , , (
).
:
, ( , 266

 ). , , . ( , ).
( , )
Li:
Z(2) (Li , Li )
S(1)
J(1,2,j)
( j , )
Lk:
J(1,1,k)(k kj)
Lj:
, , , ,
, ,
Li. R1 = 1, R1 = 0. R1 = 1
R2 = 1
J(1,2,j) . R1 = 0,
R2 = 1 J(1,2,j) Lk: J(1,1,k), . ,
, .
, (..
)
. , , . - . , .
,
, , .
, , ,
. ,
.
,
. Q()? (,
), Q() (, ).
267

(1)
PN? . (2) N? , . (3)
? .
(1)
, . (2)
(.. )
, . ,
(3) ,
. , , ,
N.
, , ,
.
, . . ,
, . .
.
,

. . , ( ),
. , , , .
, , .
,
, 268

 , .
.
2n 11 ( n ),
n. , , , .
, (
) , , .
, , ,
.
, , . , , .
, , , .
, , : , (, , , ).
. . ,
.
, ,
, ? ,
,
. ,
,
,
. , . , .
, 269

 , .
, , . , (
), ,
, .
, , .
, . , ,
,
, , ?
? , , ,
, . ,
, . .
,
,
, .
, . , , .

2
3

6
7

8
9
10

11

- , .
,
.
. .
, S ()
S. , , . ,
. , ! , ,
.
., . .
,
.
.
, , .
, .. , .
. .
. .
,
.
, , ,
, ( P-NP ).


.................................................................................................................... 3
I. .......................................................................................... 10
1. .......................................................... 10
1. ...................................................................................... 10
2. .................................................................................. 13
3. .................................................................................. 15
4. ..................................................................................... 18
2. ............................................................... 23
1. ............................................................................................................. 23
2. ........................................................................................................... 26
3. ................................................................................................. 32
II. ......................................................................................... 42
3. ................................................... 42
1. ? ................................................................................................. 43
2. ...................................................................................................... 46
3. ........................................................... 51
4. .............................................................. 57
1. ............................................................................ 57
2. ....................................................................................... 67
3. , , .................................... 74
4. ..................................................................... 83
5. .................................................................................... 94
6. ............................................................ 104
7. ................. 120
8. .............................................. 127
9. ...................................................... 138
5. ................................................................... 159
1. ............................................................................................ 159
2. ................................................................................... 168
3. ......................................................... 177
4. ................................................................................ 184
5. .................................................................................... 192
6. .................................................................................... 196
7. ....................................................... 198
8. ..................................................................... 202
272

9. ........................................................... 206
10. .................................................................... 209
11. ......................................................... 211
III. ......................................................................... 226
6. ..................................................... 226
1. ............................................................. 227
2. ......................................................................................... 233
3. ............................................................................................... 238
4. .................................................................. 242
7. ....................................................... 246
1. ...................................................... 246
2. .................................................................................. 249
3. ...................................... 253
8. - .......................................... 257
1. ........................................................................................... 257
2. .................................................................................. 260
3. ............................................................... 264
........................................................................................................... 271

..
..

020831 12.10.98 .
- 26.03.02.
6084 1/16. . .
. . . 17,06. .-. . 15,76. 500 . 004.
-

: ..

119992, , , 14