14. : , - .
: , .
15. , , .
1 - .
1 :
- , ;
- , .
16. :
- : l, , h f l1┴h1 l2┴f2;
- : , l1 h f, h1┴l1 f2┴l2 .
17. 2-
2 .
: , - , .
18. : , - , .
19. - , , .
2 , 1 .
1 , 2 .
- .
20. 4 . .
1 , .
2 , ..
3 , ..
4 , .
- , .
: 1. nÉ, n^∑
2. =n∩∑
3. | M,K |
29. - .
- - , - .
|
|
- .
- - .
- .
34. ∑ φ ∑ ∑.
- ∑ φ q =∑∩Ω g =∩Ω, Ω ^∑ .
39. , 1, h; , 2, f.
40. , - .
, , , .
, .
, , .
41. { l (k,T)(l i∩k; li ÉT)} . () ; (l); (k T); (l i∩k; l iÉT).
42. : , .
.
: , , .
43. , , .
, .
44. ; ; ; ..
, : , , (. , ).
.
45. .
46. { l (a, T)(l i∩a, l iÉT)}.
, ; , .
|
|
47. { l (a, l)(l i∩a, l i║ l)}
, l, ; , l, , .
48. , , , , .
{ l (a,b,∑)(li∩ a, l i∩b, l i ║∑)}
b , ; b - , - , ; b , .
51. :
{ l (a,b,d)(li∩ a, l i∩b, l i∩d)}.
52. , , .
:
{t(j,k,φ)(ti∩k, ti∩j; | ti ^ j |= φ)}
φ 90, , φ≠90, .
53. , .
:
{m(b,d,q,∑)(mi∩ b, mi∩d, mi∩q, miÉ∑i║∑)}
:
{m(b,d)(mi∩b, miÉ∑i ^ d, Cmi É d)}
54. , . :
{b(b,j)(bi = bOj)}.
.
, .
.
55. :
{t(t,j)(ti = tOj)}, t . t∩j, , t║j , t j .
56. , .
1. {m(m,j; m,jÌ∑)(mi = m O j)}- m j .
2. {m(m,j;m,jÌ∑; m È j)(mi = mOj)}- m j.
3. {m(m,j;m,jÌ∑; m∩j)(mi = m O j)}- m j.
57. .
: Ω{n(n,j; n∩j)(ni=nOj)}
61. , . , .
, , , .
62. : 1 ; 2 .
63. 1-1 2-1 : (1) (2) ; ; .
|
|
64. 2- - , , .
65. 1 , q :
1. q Y: YÉq
2. g Y : g = Y∩.
3. g q: K = g∩q.
- k :
1. Yi.
2. gi = Yi∩ i = Yi∩Ω.
3. iÌ k: Ki = gi∩ei.
71. : .
79. , , .
- .
72. - , - , . - . (, )
- , , , (, ).
- 2- .