, . : ; , , , , .
, . , (. . ) , . ? , , . ., ?
, . : , ; ; , ?
, , , . ,
. .
, . 2.1. P . , . Q .
S , . , , , . , , . , .
|
|
D , . , , . , , , , , .
1, . . . P0 (Q0). , , ,
1
, . (. . .)
Q0
. 2.1. ( )
. , , , .
, , , , Pi (. 2.1). , . , , . , , , P0.
, Po, P2. , , . , , , . P0.
,
, . , , , , . (), -
I
-
. , . - , 5> . , , .
|
|
2-2.
, , . , , . , , , , . , . , . , , , , .
S . 2.2. , . , P1 Qi. , . ?
, , ,
. 2.2.
. Pi, , . . 2.2 Qi Q2. , , S S'.
, Qi, , , . - , ?2 . 2.2. . , .
, , , . , , . . 2.3, S S', . 2.2. ( pi ), ( Qi Q3). ,
. 2.3.
(, ).
. 2.4, D. ?
, . pi, , Qi _2. , , . D D'. : , Qi? , P2 pi . 2.4. .
, . . . 2.5,
|
|
Q1
. 2.4.
, , Qs .
. , -, ; , . , , . . . , . . 2.5 - .
, . ( ). (, , ), ( ) - . , , , .
2-170 33
. 2.5.
, . . 2.6, , ( pi P2) ( Qi
S'
. 2.6.
Q2). , . , . .
2.1