.
, () . , ∩ g m ∩ n.
, () , . , : ( U g); , (┐ ∩ ┐g).
.
, . : ; .
, , . . , .
, .
- : ┐ ( ∩ b) ↔ ┐a U ┐b.
- : ┐( U b) ↔ ┐a ∩ ┐b.
- : ┐(a → b) ↔ (a ∩ ┐b).
- : → b ↔ ┐a U b.
, , .
, .
, , , .
, . , .
, , , : , .
, , . , .
, , . , g ┐g; ∩ g - ┐( ∩ g).
- , , . , . , . , → , , .
|
|
13
:
1. .
2. .
3. .
4. .
5. . .
6. , .
7. . . . .
8. . . .
9. . .
10. . .
11. , .
12. 2 .
13. 0 5 , 5.
14. .
15. .
: ( ).
, , , .
, , , .
, () S .
, ( ) ( ) .
.
. , .
(L) , .
(L) , .
, . , . - . .
|
|
, . , , . , 100 .
, , . , - , , .
, , S . , , .
, , , .
:
; ◊ ; \ ; ◊ - .
,
, , , . .
.
, : , , , . , .
, , , . , , .
: , , . , .
- :
1) ;
2) ;
3) .
:
;
F ;
P .
d, , . .
. , , . :
, . : ;
, . : . . .
:
V ();
F ();
(, ).
. , , . . , , .
14
; , , , . :
1. .
2. , , .
|
|
3. , , .
4. - , , .
5. 12 1961 . . .
6. .
7. .
8. , .
9. .
10. .
11. , . ()
12. .
13. .
14. .
15. .
: , , , , , , .. . . : .
15
, V, P, F.
1. G. .
2. .
3. , , .
4.
, .
5. .
6. ,
.
7. , . . , .
8. , .
9. .
10. , G. .
11. , . (. )
12. , , .
13. , . (.. )
14. , . (. )
15. , . (. )
: , . , .
16
, , F, P.
1. .
2. , .
3. 01.
4. .
5. .
6. , , . ()
7. : , .
8. , . ()
9. .
10. , 18 , .
11. .
12. , .
|
|
13. .
14. , () .
15. .
: , , . () ().
- . ; , , , . .