, . , .
1.16.1.
:
1) (. 82) (. 83) ;
. 82
. 83
2) (. 84) ;
. 84
3) (. 85) ;
. 85
4) (. 86) .
. 86
. α(α2) (. 87).
. 87
- , . -, α2. . D , S 3 S 4, (. 88). . (. 89).
. 88 . 89
, (. 90). 1 D 1 .
. 90
1.16.2.
.
. 91
, . . 91 α, . . , , , , D. , N, , . K L. . , 1, K 1, L 1 1. C1 D 1 .
. ψ(a ∩ b) (. 92).
. 92
.
, . . . .
|
|
α, ψ( ∩ b) 1-2. 1-2 1 1 . (. 93).
D β, ψ( ∩ b) 3-4. 3-4 2 D2 C D. (. 94).
, , γ. γ , ψ( ∩ b) 5-6. M N (. 95). K L.
. 93 . 94
, , , D, M, N, K, L . 1 . D 2 (. 96).
. 95 . 96
1.16.3.
, , .
1. α(f ∩ h) (. 97).
. 97
. -, . , , , , . . . .
α(h ∩ f) . K (. 98).
. 98
2. - ψ(ψ2) (. 99).
. 99
ψ . ψ2.
. , .
|
|
', ', ', D ' (. 100). 1 ' 2 ', 1 2 ψ, 3 4. . 1'1, 2'1, '1, '1, D '1 , . '1 D '1 , . . (. 101).
. 100
. 101
1.16.4.
, .
1. - α(α2) (. 102).
. 102 . 103
- 3 4. S SB 1 2 . 1, 2,3 4 . S 1, , 21 31 (. 103).
2. α(f ∩ h) (. 104).
. 104
, . SA .
α(h ∩ f) , α . 4^α 4^1 (. 105). 14 ^ h 1 .
. 105
1, 14, . α4. . 4, N 4, K 4 (. 106).
. 106
(. 107). SC 2, K 2 2 .
.
. 107