, , , , .
, , , ( ) (. , . IV, 4).
, , .
(-
): - , - I. ^ , . £ , - 5= - . : ~ > I ;
()
(): - . - i - (]
,
. , , . : >~l£";£" >1;~| >(J:v l£);56
3.
3.1.
(): I-O, , . , , . :!/-> ; "1 ->/; /-> ( v 1 ); ~> (Jv "]/).
: - /, ~ . , : , , : -/;£- ; /-> (A v ~U); 0->(£v]f).
, : , , . ] I -1 ;