引理195:设A是PY)的协调子集,则存在 XcX,AcA,这里AP(Y)P(Y)与P(Y的区 别是:P(Y)中的项集为XUC上的自由代数) 使得: 冷() FEDed(A),并且 冷(i)对所有的p∈P(Y),或者p∈A,或者p∈A 并且 冷(i)如果彐xp(x)∈A,则存在x∈X,使得 p(x)∈A。 相当与命题逻辑中极大协调的概念 冷基本步骤是根据公式中的存在量词,添加谓词 公式到A。 引理194,引理185❖ 引理 19.5:设 A是 P(Y)的协调子集，则存在 XX* ,AA* ，这里A* P(Y* )(P(Y* )与 P(Y)的区 别是：P(Y* )中的项集为X*∪C 上的自由代数)， 使得： ❖ (i)FDed(A* )，并且 ❖ (ii)对所有的pP(Y* )，或者pA* ，或者pA* ， 并且 ❖ (iii) 如 果  xp(x)A* ， 则存在 x'X* ， 使 得 p(x')A* 。 ❖ 相当与命题逻辑中极大协调的概念 ❖ 基本步骤是根据公式中的存在量词，添加谓词 公式到A* 。 ❖ 引理19.4,引理18.5