. " ". , , q " ". ( q) " ".
, . , , , , , , . , " ", , ", ".
, "-", , , . . (V) (3). "", "-" ( "-").
.
( ) . rk k- 1..., <xk , k(a1..., ak) .
(S 40
Tk k-
1..., ak ,
U(1..., ak) ().
(S. -) (S. v)
.
(S. V) U % ,
( ) U .
:
- U ;
- ;
- a ;
- X .
, .
(EX)U -( X)-U.
(E)(()) "- ", ( )(()) " ". () , , X - . , , .
, , . . .
(1) , .
(2) (E X)U -( X)-U ( , ( X) U -(E X)-U), .
(3) . . , (E )(())&(E )(()) . (E )(())&.(()) , .
(4) . , , ( ), , , . , : " , , ".
(5) . ( ) " " . , .
(6) .
(7) . . , .
(8) , , .
(9) , .
|
|