- . . " " (1962). () , . , , ( ) ( ), " , " " (, , ), " . " , , , , ".[440] , , (.. ); . "() , " ( " "), "() , ". , "", "" ..
() ( ), , , . . . , , :
1. ( q) ( q). ( .)
B2. B p ~B~ p. ( - .)
B3. B p BB p. ( , , , .)
B4. ~B p B~B p. ( , , , .)
, , . , , .[441] , , , . .
|
|
. :
K1. K p p. ( , ; .)
K2. K( q) (K K q). ( , p q, p, q)
K3. K p KK p. ( - , , .)
, : , ( "" ). , ( ). , , , . - , .
. , , :
KB1. K p B p. ( , , , .)
1 1 , , . , :
1. Û Ù . ( , , , .)
, , , , . " " J p ( " "), :
2. Û Ù J p Ù .
. . , , , : ~~ . .
1. K p B p ( 1)
2. B p ~B~ p ( 2)
3. K p ~B~ p ( 1 2 )
4. K~ p B~ p ( 1)
5. ~B~ p ~K~ p ( 4 )
6. K p ~K~ p ( 3 5 ).
, , , , ~ , ~ , .
, , 3 1: K p K p. , - , .
, , , , . , : p p ~ p K~ p, , - , . . , , .
|
|