, . , , . . :
1. , .
2. , .
3. , . , .
, , . , , *.
: "... ", "... , ". :
1) , , ( ). , ( , );
2) , . . .
25) , . ( , , ) ( ).
NB! () , , (, , ..).
. .
, .
() ().
( x) ( () ()),
()
().
( x) ( () ()) () ().
, . , , , ,
|
|
, ( .: ). , , - " ". , : " ", .. " ( ) ". " " " ".
: , () ;
, . , , , , , .
.-. (.: ), ; , , . , ,
- .
:
, ,
, , .
, . , , , - . , , , . , , .
26) , . : ( , - , - ), ( ), ( ), ( ) . : , : 1) , ; 2) ( ); 3) ( ); 4) . ", "" .. , , . , , : - , -, , " ..
. , "" .
( "), "" ( ), , .
, ", ", , .
"... ... "... .... » . .
" , , " ", ... .... " .
" » .
, , . , .
. , , . , : , : , , ..
: " " - ,
" - ..
. , , . , , , .
; , : , , ..
|
|
́ ( . extentio , , ) , , , . , , ( , , ..). . , ( ). , ( ). , ( ), ( ), ( ). , , . . , /, / . , , , . . , .
|
|
, , ( ). , ( ). , . , , , . , , , , , , .
27) (. temporal logic) , - . . .
: " ". , . , , . , , , . " ", " " " , ".
.. () , , , , . . . (), - B- .
" - - ", - " - -".
- "", "", " ", " " . . "" ("") " " (" ") : " A" (" A") ", -" (", -"). - "... ..." "... ...". "A " " ", "A () B". .. , , . "" "": - , , , , , .
|
|
B- "", "" "". : "A " " A".
B- : - ; - , , ; - , , . . "" "", "" ""; , . , , "", "". - B- , , , . . - , .
" - - " " - - " . , , . , - .