G R1(G), R2(G) . . , , , R1(G), R2(G),... . , .
. : 0 , 1 . ., n , ( ) n-1. , p -1. 9.1 (.9.3):
P(X)ÚQ(f(X)) ùP(a)ÚR(Z) ùR(b) ùQ(U)
Q(f(a))ÚR(Z) P(X) ùP(a)
Q(f(a)) Q(f(a)) R(Z) R(Z)
. 9.3.
(.9.4).
P(X)ÚQ(f(X)) ùP(a)ÚR(Z) ùR(b) ùQ(U)
P(X) ùP(a)
. 9.4.
, .. .
. G G, G-T . , :
1. ;
2. , .
, . . .
ù R(b) ù Q(U), (.9.5) (.9.6). .
ù R(b) ù Q(U) P(X)ÚQ(f(X)) ù P(a)ÚR(Z)
ù P(a)P(X)
Q(f(a))
. 9.5.
ùR(b)ùQ(U)P(X)ÚQ(f(X))ùP(a)ÚR(Z)
ùP(a)P(X)
. 9.6.
, .
, G-T :
1. . G-T : , G, . G-T ; G-T , , G-T.
|
|
2. . G-T 1.
3. , , . G-T , .
G , , ( G, , , 1). , 1 . G , 2.