p=x>3与q=xx>3是不同的 设P(Y9)={plp∈P(Y9),d(p)≤k},于是 POYUP=UP(YU, o) k≥0 引理211:设v为YZ2的映射,则v可 唯一扩张为PQY9)Z2的同态映射v,这里 的同态是指关于{F,}的同态。 如果取某个新变量 XEXUC,当无论怎样 指派x',q(x)都为真,则可认为xq(x)为 真。 p=x>3与q=x x>3是不同的  设Pk (YU, )={p|pP(YU, ),d(p)k},于是 P(YU, )=  0 , ( ) k Pk Y U  •引理21.1:设v0为YU,→Z2的映射，则v0可 唯一扩张为P0 (YU, )→Z2的同态映射v' 0 ,这里 的同态是指关于{F,→}的同态。 •如果取某个新变量x'X∪C，当无论怎样 指派 x'，q(x') 都为真，则可认为x q(x)为 真