冷定理21:对任何p∈P(Y,有前束范式p 满足pHp' 例将彐xR21(x,Z)yR2(xy)变换为前束 范式。 冷定义2119(斯柯伦范式):p∈P(Y是前束 范式 而且它的形式:p=01x102x2…01x1q中的 所有全称量词(如果有的话)总在存在量 词彐(如果有的话)的后面,则称p为斯柯 伦(T. Skolem)范式。❖ 定理21.11:对任何pP(Y)，有前束范式p' 满足p┣┫p'。 ❖ 例:将xR2 1 (x,z)yR2 2 (x,y)变换为前束 范式。 ❖ 定义21.19(斯柯伦范式): pP(Y) 是前束 范式 ❖ 而且它的形式：p=1x12x2…kxkq中的 所有全称量词 (如果有的话)总在存在量 词(如果有的话)的后面，则称p为斯柯 伦(T. Skolem)范式