, , (. 6.4).
6.4
b, b ^ a. b ^ a.
(. 6.7), , l , Q(D ) (. 6.7).
6.7
,
1. , , , . ) , , Q(D ) : (11; 22) (11; 22) . ) l | |
2. , l, n ^ Q, .. n1^ A1C1 n2^ A22. , l, n : P(l n)^ Q (D ABC) |
1. :
) ;
) ;
) .
, , , , .
2. , , , .
3. .
4. , , .
5. .
1. , .
2. ?
3. ?
4. , ?
5. ?
6. , ( )?
7. ?
8. , ?
, :
;
;
.
, :
;
;
;
, ;
, ;
, .