16
Quot; ".
:
. 2. , , .
1. .
. . , , , , , . . , , , :
, , .
. , (S) () , . ( ), ( ).
:
S (-) |
(-) S |
: S (-) , (-) S.
, , , I, :
I. → I.
I: S , S. . , S . :
: (S) (), () (S). |
II. → .
: S - , S. :
... .
III. I → I.
I I , .. : S , S :
: , (S), (P), (P) (S). |
IV. →.
.
, ( ), ( ), .
:
S (-) |
S - () -P |
S (-) , S - () -P.
|
|
S л | S - -л |
S - л | S -л |
I S л | S - -л |
S - л | I S -л |
:
.
, , . . ( S л → S), ( S → - -S). ( S л → S - -л),
( S - -л → - - S).
(S). (P).
:
1. :
1.1. - .
- .
1.2. .
, . - .
1.3. .
, - .
2. :
2.1. , , , . -
2.2. , , , .-
2.3. , - , , .-
2.4. , , , . -
:
1. 1 .. : . - .: , 2006.
2. .. : . .: , 2008.
3. .. : : . .: , 2007.
4. .., .. : . .: -, , 2009.
5. .. : . /... 8- . .: -, 2005.
6. .. . 11-, ., .: URSS, 2009 http://www.krotov.info/lib_sec/shso/37_chelpanov.html
7. .. : . /: , 2007.
8. .. : . . 3-, . . .: , 2009.