( )
, , . , , .
, ( S) ( ), , , ( ) , ( ), . :
) (S ) ;
) (S ) .
( ; ) ( ).
. , ( ), : , ..
, ( ) ( ). . ( ), , , .
, : . , .. .
2.
, , .
. , ( ) :
) , , - () . - , : , , , ..
) , , - ( ) -. , , : , , ..
) , , , , : ; . ; . , , , .
|
|
, , . : , , ( ) . . .
, .
, , .
:
)
) .
, , :
) , , , , : . S ( ) л. , .
) , , , , : . S () л. , .
) , , : . S ( ) л.
, , () (), : 1) , 2) , 3) , 4) , 5) 6) .
, . , , . (. . 10).
. 11
, : . , 11.
|
|
, afirmo nego . , , I, afirmo; , , nego. 11.
, , , . , (S , S) , .. , , . , , , . , . , , : , , , .
(+), (), . 10.
(. . 12), ( ) ( I).
I | I | |||||||
S | + | + | + | + | + | |||
+ | + | + | + | + |
. 12
, , . S, S, л. , . ( S, S, л) , . , . 13.
, .
I
. 13
3.
, , , ( ). , .. .
, , , , : -. :
(S1 S2 )
, , , , : . :
|
|
(S 1 2)
, S1 S2 ; S , 1 2 . , , . :
(S1 ) (S2 ) ,
(S 1) (S 2) .
( ), , , , : , , , , , , .
, ;
, ;
(ȅ ) , ;
ȅ, , ;
( , ) .
.14.
. 14
: , , . 14.
, . , , . () () , (). . , : (), -, , .
, , (. . 15). .
^ | v | → | ↔ | (→)→(→) | ||||||||
(→) | (→) | |||||||||||
1 3 2 | 4 6 5 | |||||||||||
. 15
. 15 , . 14, , .
. 15 :
, ( , ), , , .
(. 15) . . : , . , . 2ⁿ, n , . 2, 2² = 4.
|
|
, 48 , , .
9- 10- .
, 11- , 48, , , , .
, , (, ), , , , . . 15 , , .
, , ( ), , , . . 15 6. 2- 3- , A B , 1- 4- , A B : , .
, , . , , , , . , , , .
, , , , , , (), () . , .
, , . , , . , 3- 4- . , . , , , , , .
, . , . , , , . , () , , , , .
, , , , ( ) , . : 3 4 , 8- (. 15). : ( 6 8 . 15) , , . , .
|
|
, ( ), , , . 9 10 (. 15) A B. ( ) . : ( ) , . , , . , , , , () . , .
11- . 15 , . , , , . , , . , . ( ). , , , , , , , . ( ) .. , , , .. .
, 11- . 15, :
1) A B ( 2 3);
2) A B ( 9 10) ;
3) ( → ) ( 7 A B);
4) ( → ) (, , );
5) , , .
, . - . , . () , , , , , , . , .. .
( ) , . , , , (. I, 3 ).
() , .
4.