a) .
b) , .
c) A , .
()).
A1:
A2:
A3:
A4:
( A , A , .
: (Modusponens : ( , - ).
8. . . . .
, 0 1 : .
. , :
1. ;
2. ;
3. 1 2.
, , .
F , F.
:
, 0:
, 1: .
( :
)
:
: .
-. , .
, .
:
: ;
: ;
: ;
: ;
: ;
:
: .
9. , , , . . .
n k () , .
- , .
( ) | ( ) | ||
, ,
|
|
, , , .
.
, , :
:
.
.
10. .
, :
( );
( ).
, , .
, . , . , .
.
1. :
.
2. :
, , v.
3. :
.
4. :
, ..
5. :
.
6. :
.
11. . . .
, . , .
, , ().
:
.
.
. , .
.
:
, - .
, - .
.
- .
.
:
1. ()- .
2. - .
3. . 1.
, .
.
;
.
:
12. . . . .
, .
:
, ;
, ;
, ;
, ;
, .
,
. , .
, . . , .
|
|
() , , . и , , .
:
1. .
2. , , .
.
. | . |
|
. , :
;
;
.
13. . . .
. G, , , .
.
, . , , G.