- . , . ( ) , .
, , , . . , . , , , , , , , .
, , .
, ( - ), , , ú , , - ( → ), .
. : 1) - - , -; 2) - ; 3) - . , - ? , . , . - () , - - b - - .
( , - ):
(aú6)→ c, c,b
(^) , :
((( úb)→ c)^c^b)→ a
, , , b, , .
:
b | a úb | (aúb)→ | ((aú b)→ c)^ c^ | (((aúb)→ ) ^ ^ )→ | |||
, , . , , - . , , , - .
|
|
, , , - , , , ( , ).