, ( ), , . , , ́ , , . . : ? , , , ? , , .
, , -, ́ . , , .
, . () »- . . , . , , .
()- -, ()- -, - . - - . - .
- , ( ), : . , -. , -, ( ) 2- . , - -́ -, - - , .
|
|
- (), - ( ), ( ), . , , , - .
, , -, . .
, , . , , , , . , / .
. , , .
, . , , , , . ? .
, , . . : , . , , . , . , . .
|
|
-. O1(e1,e2) , E1 (/ ) E2 (, , , ); O'1 O1 ; O''1 O1 ;.
-. Þ , . , . , , ( - - -) , , , , .
:
[O1(e1,e2)]i(O1Þ`O'1)r[O2(e2)]
, .
[O1(e1,e2)]e(O1Þ`O'1)e[O2(e2)]
, E2, O1 , , O2. , ( ) (e1,e2) (e2).
. , , . , .
? , , , , , , . . , , .
-. , , , , .
[O1(e1,e2)]i(O1Þ`O'1;O1 O2)r[O2(e1,e2)]
, , O2 O1. , O2 - O1.
, , , . - , .
|
|
[O1(e1,e2)]e(O1Þ`O'1;O1 O2)e[O2(e1,e2)]
, , .
, : , , .. . . , . , , . . , . , .
. , , ( ?) , ?
, - , () ().
. P1 P2 R, P'1 P'2. - - :
( , , ) , .
, , . , P1 R1, R2, , P2. - , .
: () (). [121], , .
|
|
-, -́ , . , .
, . . , , . . , , (), ( ), .
[122], . , . - , , U- , A-, ; , U- .
- - (-). , »-: - A- - U-. , 1 7 [123].
(1) - A- (2) (4) : -A-, -UA-, -A- ( A-). -UA- , A- U- A-, U- U- (6).
- U- (3) (5) : -U-, -AU-, -U- ( U-). -AU- , U- A- U-, A- A- (6).
, - (7): -UA- , -AU-, A- (- -). ( : - -) A- U- . . - :
(A U)r[A U]i(A U) (A)r[A]i(A) (U)r[U]i(U)
A- U- , - .
A- U-:
1) ; 2) A-; 3) U-; 4) U- A- ; 5) A-, A-, A-; 6) U-, U-, U-; 7) A- U-; A- U-; A- U-; 8) - : , ; 9) A- A- U-→A- U-→A- U-; 10) U- U- A-→U- A- →U- A-; 11) ; 12); 13); 14) .
|
|
. - , - .