n:
:
: :
:
:
:
2.
6. , , . . . . .
M m ( M).
, , , , . , , .
, , , .
.
, :
, :
, :
, , :
, :
, :
, , , , , , :
( ), :
, . , . , . .
, :
, , , :
:
:
:
, . : .
():
:
:
, .
:
( , ):
\ (.):
|
|
:
( ).
():
, .
7. . . .
: x + y = y + x.
: (x + y) + z = x + (y + z).
: n (n (x) + y) + n (n (x) + n (y)) = x.
8. - . A x B. A x B A B .
.
- . , , . , . , n- . n- .
() n- (, )
n, .
. ,
.
9. P(M) M. P(M) M ( ).
10. - . : , , . . . : , , .
, .
, , .
, 1; (, ).
, .
, . (, ).
: .
, , .
:
;
:
X , .
|
|
, , .
. , .
, , ( ). ().
( ) ( , ), . , , , (, ́ , ).
( ). , .
, .
, , .
: , ( , )
: , : ,
: , (. )
: ,
: , (. )
: b a, c b, c a
: a b, b c, a c.
: , , , , .
(, , ):
, , : ; ; (). "" , "" , .
, A B, B C, C A. , .
- : , - , , , , , , ( , ).
- : , , , , , , , ( ).
- : , , , , ,
|
|
11. . . .
, . .
() , :
1. : ,
2. : , ,
3. : , .
.
, . , , , .
.
: , , .
.