:
1. ( ) i . ;
2. , () . . 1 ( 1), - 2 (2). . , .
- , .
, (. . 1), - . :
- .
- .
- .
- , : - . , (), - , . . , . S Д S Д
19. : , , , .
- , - . . . , , . . . , .
, , . () , , , , , , . : ^, 2) , 3) , ^ .
, .
1. .
, , , . : : m = .
|
|
, , .
() (). : . , .
:
S S -
() (). : . , .
:
S S -
(1) - (). : . , .
/:
S
S -
'^ () ^
(I). : -^ . , - .
.
S S -
, , ] , , - . , -| , , -j . .! , , :
. , , ^ , , , :
. . , , ! .;
2. .
, -| , " , .
: , , '.
() .
, , . , . , , . . .
. . IV, 2.
() - (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 -; , , , oi - S.
, , .
() (). : - . , , ^ , .
:
S
S
: . S л S -л. . - S.
() (I). : . , .
|
|
:
S - S
. S л S -л. , - S.
(I) . S л S -л. .
() (I). : . , .
:
S - S
. S л S -л, - S. *
, ,
, , . ;
, , , . 4. . , , I, , 1, , .
. ' (): , 1. , ;
, -;
. , () () ; - (I) ' "! () . i :
- ; -1 -> ; -> -11; 1 ->\.
(): . < , | . -1 , () , () . -:
. , .
-, . : - ;
- ; 1 -->( v 1 ); -1 ->( v -I A).
..37. . 87.
():
1 . , , . . , ', , , .
|
|
, ; .
: "II; "10 > I; I->(0v"l0);
0->(I v ^ I).
( 1, ). , : , , . , I . .
: ; ŗ> ; I >(Av"lA);
O-^(Ev-lE).
, : ;
, . , () ' () . () , (I) , (, ).
' , .
: "I I ; ~\ >~\ ; "1 A >(I v "11^ ~\ ->(0 v -I );
.
! , | , | .
20. : , , .
́ (. συλλογισμός) , : . ́ ( ) ( ). , .
:
(́ )
( )
------------
()
( , ). () S, - P, S , P - ; . , , (.- terminus medius) M. : , P, , S - . , - , (S P) ( ) (M). : R(X, Y) ^ Q(Y, Z) -> L(XZ), R, Q, L A, E, I, O;X, Y MP PM,Y,Z - MSX,Z - SP , - . , : A(MP) ^ I(SM) -> I(SP). , , : M P S M ---------- S P 1- (1- ), , , : P M M P P M S M M S M S ------ ------ ------ S P S P S P 2- 3- 4- , , , . , , . ( A, E, I, O) - , , . AII. ( 256). - R(X, Y) ^ Q(Y, Z) -> L(X,Z), 4 R, 4 Q 4 L; , 2 X, Y, 2 Y, Z. 4 * 4 * 4 * 2 * 2 = 256 ( 64 ). . . , - , , . : E(MP) ^ A(SM) -> E(SP), .. V P S M-------------------------------- S P , 1. 1 2 3 S P. , , , . A(MP) , 2, E(SM) 3. S, , , (SP). S S1 S2. , . ( E(SP) A(SP) ). , , , , (, ), , , (, ). . , (A, I) . . 1. . , .2. , ( ). 3. . :1) , .2) .3) . : .. , , ( ). :1. ( ).2. , . ( ) , . . 1) (, );2) - (A, I); . 1) (, );2) (, ); . 1) (A, I);2) - (I, O); . 1) - (A, I), (, )2) (, ), (A, E); , ., , , -, . , , , . , , 24. 16, (A, E, O, I) , :
AA | EA | IA | OA |
AE | EE | IE | OE |
AI | EI | II | OI |
AO | EO | IO | OO |
|
|