1.
I.
1. :
1.2.
: - , . - , , ; : , , , , .
2. :
2.2.; ; - .
: - ; - ; - - .
3. ( ).
3.2. .
: , , , , .
4. , , .
4.2.
: - .
.
5. :
5.2. , .
: , .
6. *:
6.2. , , -, .
,
,
-,
D -
7. , ( ):
) ) )
:
)
)
)
,
,
8. :
8.2. .
: . .
9. , , - , , :
9.2. , .
: dfd < dfn. .
10. :
10.2. , ;
: - . - , , , .
11. , - , ?
11.2. , .
: , : , , , .. .
|
|
12. , () ( ):
12.2. .
: () .
13. , , , .., .:
13.2. ;
:
: 1) ); 2) ; 3) ;
4) .
II.
14. :
14.2. + = ;
: ( ) .
15. , :
15.2. , - ( , , ), .
:
S -
P -
-
16. , , I, . .
16.2. .
:
S- -
+ - .
"" - - " S P". " "
17. (, , I, ). . , .
17.2. .
:
" A " - - " ". (1)
"I" - " ". (1)
"" - " ". (0)
"" - " ". (0)
18. , . ( ).
18.2. .
:
:
" " - - " ".
"" - - " ".
19. :
19.2. , , , . ( . )
:
"" -
"" - ,
"" -
"" - ,
(→)∧(→)
20. :
20.2. (∧)∨(→);
:
(∧) | (→) | (∧) | (∧)∨(→) | |||
|
|
21. , .
21.2. (((→)∧(→))∧ (∨))→;
:
→ | |||||||||||
(((→) | ∧ | (→)) | ∧ | ( | ∨ | )) | → | ||||
9 - - . , .
22. , . ( .)
22.2. , .
:
, " , " " ".
23. ? ∗
23.2. , , , . , , . . , .
:
AB
, ,
C D D B
, . , ,
E E
.
A
. ,
C
.
(((A → B) ∧ (C→ D)) → E) → (A∨ C)
→ | |||||||||||||
D | E | (((A → B) | ∧ | (C→ D)) | → E) | → | (A | ∨ | C) | ||||
( ) 9 - . , .
|
|
24. ?
24.2. . , . (..).
:
( ).
: .
: .
.
25. - , , .
25.2. .
:
: ӻ. .
: - . - : .
: ӻ.
: - .
26. . , , .
26.2. . . , .
:
:
1. .
" . . , ". - , .
27. , , . , ( /, / //) .
27.2. . .
: :
1. . " . " - , . " " .
28. , . . . . ? ∗
28.2. . , . , .
:
M+ P-
.
S+ M-
. .
S+ P-
, .
.
1 .
. .
29. . , .
|
|
29.2. . , .
:
M+
,
P-
.
S+ M-
, .
S+ P-
.
.
1 .
.
30. .
30.2. .
:
M+ P-
.
S+ M-
.
S+ P-
, .
.
1 .
.
.
31. - , , .
31.2. , , . .
:
A - " , ".
- " ".
- " ".
( → )∧ (→ )
, → .
: , , .
32. - . , , .
32.2. , , . , .
:
, , .
, .
:
1. . . .
33. - .
33.2. , .
:
) :
((→)∧)→.
, .
.
.
) :
((→)∧)→.
, .
.
.
) :
((→)∧)→.
, .
.
.
) :
((→)∧)→.
, .
.
.
34.- . . , .
34.2. . .
: ,
∨
- - .
.
35. , :
) - ;
) - . ( ).
35.2. .
:
) .
, .
) .
, .
, .
36. . , . .
A
36.2. , ,
B C
; , ,
D
, .
A C
, .
|
|
:
.
: .
:
( → ) ∧ ( → D)
∨
∨ D.
.
37. . .
37.2. (1977) , , , .
:
38. ∗ , , .
38.2. .
:
39. ∗ .
39.2. .
:
40. * , ( 6-7 ).
40.2. .
: