, , .
: , , , ().
, .
R , : A R B A R A ∩ B R B
: ≡ , ≡ ≡ »
, , . : A R B → B R A.
, : , - .
, , , .. A R C. (A R B) ∩ (B R C) →A R C
: A>B 6 > 4
B>C 4 > 2
A>C 6 > 2
() , , x R y . , , () .
:
(A R B ∩ C R B) → A ≡ C
13
, .
1. , , .
2. , , , .
3. , , , .
4. , , .
5. , , , .
6. , , , .
7. , , , .
8. , , .
9. , , .
10. , , , .
11. , , .
12. , - , , .
13. , , , .
14. , , -, .
15. , , , .
:
, , .
() ().
() ().
, () ().
(A R B ∩ B R C) →A R C
14
, , .
1. G. F., F. G.
2. G. = F., , G. = D., F. = F.
3. D. D .
|
|
4. . , . . .
5. . . , .
6. G. F., F. D. , G. D.
7. G. F., , F. G.
8. 4, 4 8, , 8.
9. G., F. D. G., , D. F.
10. , . , .
11. . . , .
12. . . , .
13. G. F., . ., . D. , G. D.
14. , . , .
15. G. F., , F. G.
: . . , .
: (A R B ∩ B R C) → A R C.
( )
, , , , .
.
, , .
:
,
,