, : ( , ) . , , , ( ).
, (, , ) , , , , . .
. , , ( ) P(x) x 5- 8- , Q (y) - y 3- 14- , R(z) - z 1- 2- . 5- 8- , , 3- 14-, 1- 2- , x (P(x) & (Q(x)Ú R(x))).
, P(x) x 2- 3- , Q(x) 5- 4- , R(x) 6- x 2, 3. , 3- 2- , 4- 5- , , , 6- 2-, 3-, .. , x ((P(x) & Q(x))É R(x)).
S(x) 23- x 2, T(x) 7- x 4. , 23- - , 2-, , 7- 4- (Ø(S(x)) É T(x)).
, , . , , , , , .
, , : ( ), . ( ) , , ( , -): "((( ) & (-) & ( 40 )) Ú (() & ( ))) É ( N)".
|
|
, .. 2.4.2, 2.5.3 2.5.4.
. , , ( ). , . . .
, , , , , , ( ). , .
= (1& 2& & É 0), (7)
i , . (7) .
(7) , , (1) ( i ), , (7) (.. 0), i, (i = 1, , k), . , (7) (7).
, , , / (. . 2.5.3).
, , . , . , " " " " : () " " " " () " " " ". , , , : " " " ", " ". , , , , " " . , (, , , ).
|
|
, , , , , ; , , ; "", "" .
- , . , , (, " ", , , " ", .. " " ). .
, (, ) (7) . (7), . , .. , (7) .
, , [, 1992; , , 1985, 1993]. , . , .
, : , , . , , , (7) , (. ). , (7) (, ).
. , ( ). .. , .
2.6. " - ": ()
, (.2.2) . , . , (. . 20).
|
|
-, "" , "" , , , "" ( , ..).
-, , , - ( , ). . ( , , ), "-( )". , .
. 20. ,
, X Y - . , , " " X ( , X ). , : 1, , .. , ( ) ( ) (, ; , , , , , ). , Y, X , , 1. .
, . , , 21 21. 1 (
. 21. ,
- , ). . X Y . , , . X Y . , . , .
, , , Y X, , , , .. Y = f (X). , X Y : , Y X, .
|
|
X Y , . 2.5.3.1. , Y X, : , , , , , . .
f , (, , ). - , Y X.
(X) , . , , . , . (Y) (, , ), , . .
"-" "-", . 2.1.3.