. (»-) -, : . . - , , , -, . , , , , . -, .
»-, »-.
:
F | ||
N | ||
T | ||
M | ||
- | S | |
A | , |
:
FN ;
AS ;
ASR (act social rights);
ASP (act social political) ..
. . ( ). , ( ). , , , -.
. .
, , () .
»- .
. , , . (), . - (rev). : AR , VR . : F , N , T , M , S - , A . : [F],(F); [N],(N); [T],(T); [M],(M); [S],(S); [A],(A).
|
|
O , . , . - . m . ((a1,a2,a3)), [(a1,a2,a3)]. , . , , . , M((a1,a2,a3)) F[(a1,a2,a3)] ; M(O1(a1,a2,a3); O2(b1,b2,b3)) M O1 O2 (a1,a2,a3) (b1,b2,b3). , M , - (O1(a1,a2,a3); O2(b1,b2,b3)) . () () - , . , , : M(O(a1,a2,a3)) M(a1,a2,a3).
[R]n(O(m1,m2,m3)) (O , m , n VR, [R] , , VR , . ( ) , , , , ( ) : V(a1,a2,a3)
[F]i((a1,a2,a3...)) VR , O ( ) a1, a2, a3, , ... , , .
VR [R]iV [R]→V, ( ): [R]i=1V : [R]i=0V ( ). (i=1 -, - , i=-1)
|
|
VR : [R]rV [R]V, ( ): [R]r=1V : [R]r=0V ( ). (i=1 -, - , i=-1)
VR : Ve[R] V↔[R].
, : [O(x1)]i1O(...)i2[O¢(x2)] i1¹i2
( ): [R]diV; [R]deV; Vdr[R]
. - .
O O¢ , .
O1 O2 .
O(e1,e2) , E1 E2.
V(O1(a1); O2(a1)) O1(a1) O2(a1) .
[O(e1,e2)]iO(e1,e2) . , , , , .
-: [R]i(V), V , R , i .
[R]iV -, ( ).
[R]iVr[R] -, ( ).
(V)r[R]i(V) -, ( ).
- [R]i(V)r[R], ( ). , [R]r(V)i[R], [R]i(V)i[R], [R]r(V)r[R].
- (V)r[R]i(V), . , (V)i[R]r(V), (V)r[R]r(V), (V)i[R]i(V).
rev , : F[O(a1)]iF(O(a1))revF(O(a1, b1))
, .
»- , , . »- , - . »- , . , .
- , - , . .
. . , , . , - . - . , - . , - : , , , , - . .
|
|
. . - - , , , . , .
, - . , , [M]i(M) .
, . , »- . . [52]. .
, . , , .
- . , - , ( - - ). , , - . , , , . - .
|
|
, , - . , , . , , .
[R]n(V) , [53].
[F]i(F¢) , , , ;
[F]i=1(F¢) VR ();
[F]i=0(F¢) VR AR;
[F]i(N) VR, ;
[F]i=1(N) VR , ;
[F]i=0(N) VR , ;
[F]e(T) VR ;
[F]i(M) VR ;
(M)r[F] , VR (-, );
[N]i(T) ;
[N]i(N¢) () ;
[N]i(M) VR ;
[T]e(T1) VR ;
[N]i(S) VR ;
[A]i(S) VR ;
[R]i=1(S) R=(M, S, A, F, N, T) (M), - (S), (A), (F), (N), (T);
[R]i=0(S) , . ;
[F]i(S) VR ;
[M]i(S) VR ;
[R(b1...)]iS(a1...) , VR - ;
[T]i(S) - ;
[S]i(T) VR - ;
[F]nS(m1...) - VR ;
[T]nS(m1...) - VR ;
[F]iS(m1...) - VR () ;
[N]nS(m1...) - VR ;
[F]nT(m1...) VR , ;
[F]nM(m1...) VR;
[M(b1...)]iM¢(a1...) ;
[R]nS(m1...) - VR ;
[M]nS(m1...) - VR , , .
[ASP]i(A) VR (ASP act social political ).
, - -, , .
. (. ) , (VR ). , , , , . . - . - . - -, VR [54]. , .
|
|
, VR. VR. VR. VR , , .
, , , .