18.6. .
18.7. .
18.8. - .
18.9. .
18.10. .
18.11. .
18.12. .
18.13. .
18.14. .
18.15. .
18.16. .
18.17. .
18.18. .
18.19. .
18.20. .
18.21. .
18.22. .
18.23. .
18.24. .
18.25. .
19. 1:
19.1. , .
. (... 2).
19.2. , , , . ( -
. )
19.3. , , -
. (.., ... . . )
19.4. - , -
. ( -).
19.5. , ,
. ( ).
19.6. , .
( ).
19.7. . . ( . - ).
19.8. , , .
19.9. , . -
, , . (... ).
19.10. ,
. (... ).
19.11. , .
19.12. - , . , .
19.13. , . (.).
19.14. , . (... ).
19.15. - , . (...
|
|
.).
19.16. , . ,
. (... ).
1 - . , .
2 (- . . -,1993. 352 . ,
. ,
, .)
11
19.17. , , , . (
, 42 . ..)
19.18. , , . , ,
, . (... ).
19.19. , , -
, .
19.20. , , , . (-
).
19.21. , , . ,
, , . (... ).
19.22. , . (..__________. -
).
19.23. . , -
. (... ).
19.24. , , . - ,
, . (... ).
19.25. , . -
, , . ( ).
20. :
20.1. (A ∨)→( →B);
20.2. (∧)∨(→);
20.3. (∨)∧(∨);
20.4. (∧)∨(∧)→(∧);
20.5. (∨)≡;
20.6. ((≡)∧)→(∧);
20.7. (∧)→;
20.8. (∧∨)≡(∨);
20.9. ((→)∧(∨))→;
20.10. (∧)∨(→(∨));
20.11. ((≡)∨(→))→(∨);
20.12. (→(∨))∧((∧)→);
20.13. ((∧∧)∨(∨))→);
20.14. (∨)∧(∨);
20.15. ((→)∧)→(C∨A);
20.16. (→)∧(→);
20.17. (∨)→(∨);
20.18. (∨)→(∨);
20.19. (∨)→(∧);
20.20. (→(∨))∧((∧)→);
20.21. ((∧)∨)→(≡);
20.22. (∨)→(→(∧));
20.23. ((∧∨)≡(∨);
20.24. (∧∨)→(∨);
20.25. (∧∨)≡(∨∧);
21. , .
|
|
21.1. (((→)∧(→))∧ (∨))→;
21.2. (((→)∧(→))∧ (∨))→;
21.3. (→)→((→)→(→));
21.4. (((→)∧(→))∧)→(∨);
21.5. (→)→((→)→(→C));
21.6. ((∧)→) ≡ →(→);
21.7. (→(→))→((→)→(→));
21.8. (((→)∧(→))∧ (∨))→ →;
21.9. (∨)≡(∧)∨(∧);
21.10. (→(→))≡(→(→));
21.11. ((→)∧(→))→(→);
21.12. (→(→))≡((∧)→);
21.13. (∧(∨)≡(∧)∨(∧);
21.14. ∨(∧)≡__________(∧)∧(∧);
21.15. ((∨)∧ )→(∧)∨;
21.16. (∨(∧))≡∨(∧);
21.17. (→) → ((→) ∧
∧(→));
21.18. ((≡)∧(≡))→(≡);
21.19. (→)→((→)→(→));
21.20. (→)∧(→) ≡ ((∨)
→);
21.21. (∧)∨≡∧(∨);
21.22. (→(→)≡(∧)→;
21.23. ((∨)∨)→(∨(∨));
21.24. ((∧)∧) →(∧(∧));
21.25. ((→)∧(→))→(→);
22. , -
. ( .)
22.1. .
22.2. , .
22.3. , .
22.4. .
22.5. , .
22.6. , .
22.7. , .
22.8. , , .
22.9. .
22.10. , .
22.11. .
22.12. , .
22.13. , .
22.14. .
22.15. .
12
22.16. - -.
22.17. , .
22.18. .
22.19. .
22.20. .
22.21. .
22.22. , .
22.23. , .
22.24. , .
22.25. , .
23. ____________ ? ∗
23.1. ,
, -
, , -
. , . -
, .
23.2. , , ,
|
|
. , , .
. ,
.
23.3. , . . ,
, . . ,
.
23.4. , , -
, , , , .
23.5. , p,q,r :
p r , q. p q ,
r. , r, p.
23.6. .
. , . , -
, .
23.7. , . -
, . ,
.
23.8. . . , .
23.9. 6 , 12 . 12 , ,
12. , 12, 12.
6 2, 6 . 12 . , 6 .
23.10. , . , ,
. , ,
.
23.11. , . , -
. . , .
23.12. 2 , . 2 , 1
. 1 . , 2 .
23.13. , . , . . -
, .
23.14. , , . ,
. , .
23.15. , -
, . , .
. , .
23.16. , - , -,
. , -. , ,
, -, -. , -
, -.
13
23.17. , . ,
. , . ,
|
|
, .
23.18. , .
, . ,
. . ,
.
23.19. , , . -
, . , -
. , ,
.
23.20. , , ,. -
. , . -
, . , . ,
.
23.21. , ,
. . , -
.
23.22. , ; ,
. . , .
23.23. , . , . -
, , .
23.24. __________ , , . ,
, , . , , -
.
23.25. 2, . , , .
24. ?
24.1. ;
, , . , -
: ,
.
24.2. . ,
. (..).
24.3. , ,
. :
-, , ,
, ; -, ,
, , ,
, , , , ,
, , , ,
. (..)
24.4. : - , , ? ( ).
: -
: - ? , . (..)
24.5. , , , -
, ,
.
24.6. 1907 :
, . , , .
, .
24.7. . , .
, . ? (
).
24.8. , .
: , , .
?
24.9. , . -
|
|
, - ( ).
14
24.10. , , , -
.
24.11. : , -
, , -
. .
. , ,
- , ,
.
24.12. . .
. . . .
(., .)
24.13. .
- ? ?
- .
- ?
- , . .
- , , ?
- , - .
- ?
- . .
- ?
- .
- , , !
, -
.
- , - . (., .).
24.14. .. ,
. ( ).
24.15. , -
?
, .
24.16. - : -
: - --, !
24.17. ? .
: - .
24.18. , .
? .
.
.
.
, - , .
24.19. ( , ), :
- -, . -, , .
24.20. - : - ?
- .
.
24.21. , , .
24.22. , - , - .
24.23. - ! . , -, ?
.
?
.
, ? , .
.
24.24. : ,
! , , : .
, , : ,
?.
24.25. - , ?
, !
?
! , !
15
.
25. - , , -
.
25.1. .
25.2. .
25.3.
.
25.4. .
25.5. .
25.6. .
25.7.
.
25.8. , , -
.
25.9. .
25.10.
.
25.11. -
.
25.12. .
25.13. -
.
25.14. -
.
25.15. .
25.16. .
25.17. .
25.18. .
25.19.
.
25.20. -
.
25.21.
.
25.22. .
25.23. .
25.24. -
.
25.25. .
26. . , -
, .
26.1. . , , . ,
, , .
26.2. . . , -
.
26.3. . . , .
26.4. . . -
, .
26.5. . . , .
26.6. . . , .
26.7. . . , .
26.8. . . , ,