1. () () :
:
.
: .
: , , ;
, ; (, , ) , ().
:
x-2. . x=3, 1.
.
:
, . : →(B˄C)
( )
:
- , , , .
- , , , , ).
- , , , .
5. :
(A), (B), (C), (D).
:
6. , :
|
|
|
- (A), (B), - (C), (D).
7. , , - , , :
, .
:
, ( ( ) ), ( , ).
, .
, .. : ( , ), (, , ; ).
8. , - , ?
, .
:
, .. . , .
9. () :
:
. , . .
|
|
. : . .
10. :
.
:
S , , . - , ( I). , , :
(SiP).
S :
11. ( - ):
: (( → ) ∧ ) → .
. , (→) [1] [2]. (→) ∧) [3] [4]. - → [5] (→) ∧) [3] [4]. .
A | B | (→) | ∧ | → | ||
(5) , .
(∨)≡;
A | B | C | ∨ | (∨)≡ | |
, .. () .
12. , ( ):
:
, , , . . , .
: :
(( → ) ∧ ( → ) ∧ ) → .
, , . , , (. ).
13. - , , :
: .
, /, / S // P, (A, I, E, O). ( S P). I.
: , , . . I.
: - . . .
: . . . : . .
|
|
: .
: . .
: . - : .
:
14. . , , .
. . , .
(+) (+).
(S+) ( -).
(S+) (+).
1- :
---------------
S ---------------
S -
1- , . . , .