问答题
简答题 若S={P（x）∨Q（f（x）），┐P（a）， ┐Q（y）}，请画出与该子句集对应的语义树，为什么可以用封闭语义树来判定子句集的不可满足性？
【参考答案】
问答题