( ) , :
1. .
2. .
3. . .
4. . .
:
1. .. . : . . ., 2007. . 2, 2.1 2.11.
2. .., .. : . . , 2011. 4-5.
3. .. . . ., 2004. . 4-8.
4. .. . .: , 2010. . III. VII, VIII.
5. .., .. : . 6- . ., , 2009. . II-V.
6. .. : . .: , 2010. . 3.
1. :
, , , , , , , , .
2. :
, , , , , , , , , , , , , , .
3. :
, , , .
, , .
, , , , .
4. , :
, , , , .
5. :
, , , , , , , , , , , , , .
6. , , :
: , , , , ;
, , , , ;
: , ;
7. :
, .
: .
, , .
, , .
8. . ? ?
11 . 90 . 18 , 32 .
|
|
|
9. ( ) :
.
.
.
, .
10. :
.
, .
.
.
, .
11. :
.
.
.
, , , - - .
12. , ?
( );
, ;
;
, , (.);
13. (, -, -):
();
;
, ;
;
14. (SaP, SeP, SiP, SoP), -:
;
;
.
.
.
15. :
(, ), (, );
(, ), , (, ).
16. :
. ;
. - - .
. - .
17. , , , , :
;
, .
;
18. , :
, .
, .
, , .
, .
, .
19. :
, , : , .
|
|
|
, ; , .
, , ; , .
, .
20. :
(A V B) > C
(A > (B V (C>A))) & B
((B > A) & (A>B)) & (C ≡ (A V B))
21. :
- , , . , . , .
22. :
;
;
;
.
23. , , , :
P(x,y,z)&Q(x)
"xP(x,y,z)ÉQ(x)
$x"y((P(x)&Q(y))ÉR(x,y))
