, , .
- , - J .
, , (xRy yRx).
, \ {xRy -^ xRx a yRy).
, , /
: (xRy yRz) -^ xRz (. , . IV, 4). \
19
, . .
:
() (). () (z). , () (). : (xRy v yRz) -*> xRz.
19.1. = , , = .
19.2. = , , = - .
19.3. > , > ф., > .
19.4. . , - \ .
19.5. . . , .
19.6. . , *' .. ■*
19.7. , . , .
19.8. , , .
19.9. D. , D .
19.10. . . , . - . . , ' . .
19.11. . ., . - . , . .
19.12. , . , .
19.13. . , . , .
19.14. , , . , .
19.15. , . , , , .
20
, , .
:
- . , - . :
20.1. , .
20.2. , .
20.3. , , .
20.4. .
|
|
20.5. . .
5. 66
3.
3.3
3.3.
20.6. , .
20.7. .
20.8. . ., . .
20.9. - , - - .
20.10. - . - .
20.11. . - .
20.12. , .
20.13. - .
20.14. . ., . - .
20.15. , 1 , , .
21
, .
:
. . : , .
21.1. - *.
21.2. - .
21.3. - .
21.4. .
21.5. - .
21.6. .,21.7. .
21.8. - .
21.9. - .
21.10. , - .
21.11. - , - .
21.12. - . - .
21.13. - . - .
21.14. , . >
21.15. , .4.1.