1) 2) . , . 3) .
1. . . , . , , . , , . S л. . S л.
, . () . , S - . : , ;.
, : , , , , , . -;
, S ( ) л , ^ : (S) () , -1 (). .
2. . - , . , ,. , - . : ' , . : S л S л.:
, - -j . | , .3 : , , , , -| , . , -1 ; ; -1 . : S л S л.
, , : .
|
|
, , , , . , : , , . , , .
. , , , , , , . , : , . : S л S л.
, - . : , . : S л S л.
, , , , , : , , . . : , , , , . , : ..., ..., ...'.
. , , . , , ' , - , ..
. : , ( ), , . , .
, , . , , , .. , , .
, , , . , . , , .
|
|
3. . , -1 , , , .
, . : , (S), (). S л, , .
, - | . : (S) (). S л. , .
, . : (S) (). S л. , , .
, . : (S) (). S л. , .
. affirmo (), nego (). : , , I , -.
, , I, :
( S ): V (S(x) -> ())
: , S, .
( S ): V (S(x) -> -1 ())
: , S, .
I ( S ): 3 x(S(x) ())
: , S .
( S ): 3 x(S(x) -1 ())
: , S .