:
1) ( )
2) ( ). , ( . . .
3) ( ).
.
1. () () . , , .. . .
2. , .. , . : ( ), ( ), ( ).
.
.
( deductio ) , .
, () . , , , .
.
, , , , . "".
: " . . ".
, .
, , , , : -, - - . , , .
, .
|
|
, , . () , , , , , , . : 1) , 2) , 3) .
1. .
, , , . : :
() (). :
___ S ___ S - '
() ().
:
S S -
(I) - (). .
S - S - '
() - (I). :
S S - '
, , , , . , , , . .
2. .
, , , .
: , , 1.
, , . , . , , . . .
() - (I), .. . : (S+) (-). , (-) (S-). , , , . ( ).
:
S S '
( ) :
S, S, S
() (), .. . : (S+) (+). , (+) (S+). , () . :
S S "
(I) - (I). () . , , . . : (S-) (-). , (-) (S-). I:
|
|
S S '
( ) . : (S-) (+)., (+) (S-).
:
S, S, S
() .
, . , ( ), (, , ).
. , , , , . , , , . , , , , , . , : ; : .
3. .
, , , , .
: S , S -; , , , - S.
, ,
() (). : . , , , .
:
S
- S '
: . S л S -л. . - S.
() (I). : . , .
:
S - S '
. S л S -л. , - S.
(I) . S л S -л. .
|
|
() (I). : . , .
:
S - S '
. S л S -л, - S.
, , , , . , , , .