9) . . ( ) 1. . 0 .
, .
10. [1][2][3] A ( ), ( ), ( ) : 0 ( ) 1 ( ) , a, b c A :
11. ́ ́ ́ () , . .[1] , , . .
12. ́ ́ ́ () , . . .[1] : , , .
13. ́ (n -, n -) ( {, }), . , M , .
: (m1,m2,...,mn) , 1. , .
. , .
- :
1.
- :
0.
, 1.
, , : , , , .
, EQ(x, y) (x = y), x y R ( ). EQ x y.
(x, y, z) x y z (x, y) x y, M .
|
|
, .
, , , , . .
() () , , , . () (), () 1 () 2, .. = 1 ∩2. : (): , (): 3. () () 3. .. 6.
() () , , . () () () ().
() , , () , , () . , ' .
() () () (), , () , () . : (), (). . (): 3. (): 4, : 3, 4. () () 2 () 1 ().
(-)
1
14. .
:
- , , , .
- , , , .
- , , .
15. , - , - .
, . , . .
3: 1); 2), 3) .
|
|
1. . : , .
2. . : , .
3. . . . .
3) .
: , ; () , ().
16.
17. - , , . , . , ,
. .
-. . =90 =90 = 180, -..