, ! , ,
, () (-), ,
.
() () () ()
() () (D) ()
(D) ()
() ()
() ()
() ()
() (D)
()
()
() (D)
! , 1- ! , ,
, :
(p->q)A(q->r)A(r->s)A...A(ri-Si)
p->si
, , ,
;
, -
154
155
, . : .
: ^
! () () ^1 () () ^1 (D) (,
(D) () -
. , -,1 . :
1) , , ,
2) , , .
|
|
3)
. 1-
() ()
,
(S), ()
, (S), ()
, .
2- . '
. () , () (S) . ()
(S) , ()
( ). 156
.
1- 2- :
, () () (S) ' , ()
(S) ()
, , .
6.
; , . .
, , .
: , , .
idi Bbn-k.i .
1) , |!<1)|,|. , q, r... ( ).
2) .101 1 :
( );
v ( );
> ( , ...);
= ( ..., ...);
1 (, ...). 3) (,) .
, , , :
1. , q, ... .
2. ( ), " , v , > , = , 1 .
3. , . 1 2, .
, .. , .
|
|
, .
157
, (. . 36).
, .
, . .
, .
, .
. ( |). . Ai,..., An , Ai,..., An . - . , Ai,..., -> , (Ai ai ... An) > , .
(. . V 4) , . ( > q))- (1q > 1p). , , . , .
, , . (Ai ... An) > , , - . , . - , , . , , , .. , .
(). , - . , . , . , () Ai,..., () , , , , , .
, . () () .
158
:
:
,
AvB
:
:
|
|
:
AvB
-
'
=
(->)(-) '
, , . , (xi > (xz >...(xn-i -> ))), , , .. xi, m, ,..., Xn-i. ,->
, -> ,
^
-->
: (xn-i-^Xn) ( Xn-i), (-2 > (Xn-i > Xn)(xn-r ) .., xi -(-2 >... (Xn-i > ). .
:
((pAq)->r) |_ (p-> (q ->r)
1. ( q) >
2.
3. q
4. q (2, 3. )
5.(1,4,^)
6. q -> (3,5, ^)(-3)
7.p^(q^r)(2,6, -^.)(-2)
, -
_ ,->(1)
. - , - ×> |
() () ( ), . , (xi > (2 >...(xn-i > )...), :
X] 1
2
Xn-i
^
[]
159
, '(' 1), ! . . 11 , . , : ( > q) ("-(1q > 1p) (
l.p>q
2.1q
.
4/(3,1)
5.q(l,4,->)
6. 1(5,2,)
7. 1 Up (6,3, 1)(-3)
8. 1p (7, 1)
9. 1q -> 1p (2,8, ->)(-2)
, - , . . , xi > (x-i >..> ), xi Xn-i ; 1 . . , .. . .
.
, , . - () (1).
, , , .
. .
|
|
1. ?
2. ?
3. - ? , .
4. -? , .
5. - -- - .
6. - (-)? ?
7. ?
8. ?
9. .
160
VIII
. . . (), , , .
, ( inductio ).
, .
, , , . . , , .
, Si, 82,.... S, . :
:
1) Si S2
Sn 2) Si, 82,..., Sn ()
11 - 102
:
161
, , . ( .
, .. . , .
, . , , . . . - , , , , ..
, - .
: . .
1.
,
.
, , . ,
|
|
162
, , ..
, . , . . , , : .
:
:
1) Si 2
Sn 2) Si, 82,..., Sn
:
. . , .
, . , .
. . , -.
163
, , , , , , , , - . , , , . , - . , . -, , . -, , , .
. , : , . , 180 , : 180.
. , , , , , ..
. , .