. G , ù GÚ, , , ù(ù GÚH), G Ùù H.
, , G = G1 Ù...Ù Gn G1,..., Gn ù .
9.6.
:
()()
()
, , .. ().
:
R1: ù()Ú()
R2: ()
R3: ù().
: R1 R3 , () , ù(), R2, . , () , () .
, .
G={Gi}: G1: "X$Y(ùP(X)Q(Y));
G2: "Z(P(a)R(Z))
:
H: ùR(b)$UQ(U).
, , :
{P(X)ÚQ(f(X)), ùP(a)ÚR(Z), ùR(b), ùQ(U)}
.
. 9.1.
, , , (. 9.2). , . , . , .
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.2.