.
. , , , n () = , n () = .
:
+ = n (), = n (), = n () = Æ.
. , , 3 + 5 = 8.
3 = n (), , , ={ , , z }, 5 = n (), , , = { , , , d, f }. = { , , z, , , , d, f }. , n () = 8. , 3 + 5 = 8.
. (), , , .
1. (" a, Î N 0) ($! c Î N 0)[ a + = ].
.
1) .
, = n (),
= n (), = Æ. , , = n (). .. .
2) .
. . , . . , .
2. (" a, Î N 0)[ a + = + ] .
. .. = ,
.
3. (" a, , c Î N 0) [(a + ) + = + ( + )] .
.
( + ) + = n ((A B) C) = n (A (B C)) = + ( + ).
4. (" a, , c Î N 0) [ a < Þ + < + ] .
. .. A Ì B Þ A C Ì C, n (A) < n (B) Þ n (A C) < n (B C), < Þ + < + .
1. - , , , + = .
2. - , :
) 48 30; )12 5; ) (17 2) 5;
) 84 (70 16); ) 24 + (76 28).
3. , , , :
) 3 4 = 12; ) 4 1 = 4; ) 4 0 = 0.
|
|