, IV-I . .. (, , , , , ) | , , | - | - | |
, 16-18 . (. , . , . ) | , , , | - | ||
, 17-19 . (., ., .) | , , | - | ||
, 18 . (., .) | , , | - | ||
, 70- 19 (., ., ., .. ) | , , | , - | - | |
, . . 19 (., ., ., ., ., .-, ., .) | ( ) | , , | , | |
, . 20 . (.) : - , 60-70- 20 . (.); - , 60-70- 20 . (., ., ., .); - , 70- 20 . (., ., .). | , , | |||
, . 20 . (., ., .) : - , 50- 20 . (.., ., .); - , 70-80- 20 . (., .). | , | , , , | , - | |
, 30- 20 . (..) : - , 50- 20 . (., ., .); - , 60-70- 20 . (., .); - , . 70- 20 . (., . , .). | ( ). | , | , - | |
, 80- 20 (., ., ., .) : - (., .); - (., ., .); - (.). | , | , , . | , |
:
|
|
1. : ( - , ) ( ).
2. : ( , , ) (, , , ).
3. :
- () , ( ) .
- - ( , - ), () , .
- , , , , ..
, , .
:
1. . Vx (P(x)>Q(x)). , Xi...Xn , Q.
2. . , .
|
|
3. . , .
4. - . . .
, , (. 1.1).
1.1