. , , . , . , . - . .
: , , .
, . , , -.
, , .
() , .
: (), (), ().
() , , , , .
() , , , , .
( ) , , , . .
.
. .
, , (. 1).
. 1
. ϻ . , ϻ. , ϻ - , , (. 2).
.2.
(). . , - , (. 3).
|
|
. 3.
(). . , - -, (.4).
.4
(). . , - , (. 5).
. 5.
(). , . , - , , (.6).
. 6.
.
, . ( . definition ) , . : (1) ; (2) . , , , , , - . , , .
, , , .
. , , . . . (, ..).
. : .
, : Dfd ≡ Dfn Dfd - ( ), Dfn (). ≡ - . . .
, - .
:
1) - . () , () .;
2) . ;
3) , , .
|
|
:
1) : Dfd Dfn ( Dfn Dfd) , , . Dfd Dfn, .. . :
: Dfn() Dfd ();
: Dfn () Dfd();
: Dfd Dfn ;
2) . , , , ;
3) ( ): Dfd
.
( . ostensio )- .
[ . contextus ( , ) .] . , , , , . , , , .
1.3. :
1.3.1. .
1.3.2 .
1.3.3 .
1.3.4. .