? »- . . , , , , , , , . . , , . , : - - »- . - , - .
. »- : , ; : , . - , - . : AR→VR VR→AR. , . , , . , , , . , , . , , . , .
- , , , , , ? , , , , . - , .
|
|
: . , 2- 1- 2- , , , .
, . .
, :
1) ( ) , , . , , . , , . , . . [98]. , 1- , , , , , - ( ), : (V1,V2,)[R1,R2,] , , , . (, ), , , . , , , , , , .
2) - ( ): V={T, N, F}; R={M, S, A, T, N, F}; (V1=T)[R1=F] (T)[F] , , (V2=N)[R2=A] (N)[A])[99]. , 1- . 2- () , , , -, . . , . , , . 2- -: , , [100]. , , - . , - , .
|
|
( ) ( ) (- -), (- -) ( , , -, 8- , 9- ). , .
. , , , . , , . , .
3) - ( -) , : (T)[F]; (N)[A]; (T)[F]. , - . , , . . .
, , , ( ), ( ), . 3- , . , , 3- , , . , , , , , -.
|
|
4) - ( ) : (T)[F] (T)r[F]. . . . : . : . 4- 4- 4- . , 1- , , . , , [101]. 4- : , . , . , 4- , .
5) ( 5- ), ( ) , : T((a1,a2,a3...)). , , . 5- , , , , ( ) , . 6- .
|
|
6) ( ) , (a1,a3) (a2,a3) (a1,a2,a3...), 5- : T(a1,a2,a3...)rF[(a1,a3);(a2,a3)]. , , . , () . , . , (6- ) (6- ), . . , . , , , .. , . .
7) ( 5- ) ( 6- ) () , -, ( ) , , ( ) , O (a'2,a'3): T(a1,a2,a3...)rF[(a1,a3);(a2,a3)] T(a1,a2,a3...)rF[(O(a'2,a'3)].
. , [102]. 7- 9- .
, , 6- . . , , , , , . . , 7- , , - . , 5- , 7- . .
8) - ( ). (a1,a2,a3...), (a2,a3): T(a1,a2,a3...)rF[O(a'2,a'3)]iT(a2,a3). . - - -. : - , - . , -, - .
|
|
-, -, , »- -- - -. - (--) --. , - - , , .
: -, , , -. , - , - (--: ) --. - , , , ( )? , . [103] , , , . , , , , . .
, , , »-, , --, . , . , . . , , -, . .
, , , . , , , . »-, . , . ( ) , . , , . , , 8- .
- - , -- , - - .
9) (- ) , O' (a2,a3): T(a1,a2,a3...)rF[O(a'2,a'3)]iT(O'(a2,a3)). , . . -, , : , , .
10) : ( ) , T(a1,a2,a3...)rF[O(a'1,a'2,a'3...)]iT(O'(a1,a2,a3...)). , - () ( , ) [104]. , FC(a'1,a'2,a'3...). : T(a1,a2,a3...)rFC[O(a'1,a'2,a'3...)]iT(O'(a1,a2,a3...)), , , . , , , . , , , ( , ) .
, -, , , 7- . , , , . , , .
10- - . 8- -, - ( - - ). . 8- , 7- . 9- . 10- - . , : ( ) ( ).
: 1- ; 2- ; 3- ; 4- , ; 5 ; 6- ; 7- ; 8- ; 9- ; 10- . , .
. 1) : () () -; 2) - - : ; 3) - ; 4) , - , , : , , ; 5) , , ; 6) , ; 7) (), () () () ; 8) , ; 9) (), () () () () ; 10) - (-) - ( ).
, . - . , , , ( ) ( ) , - , [105].
, - .
. . , , , , , , , .
- , , , - , . - . , , , .