求下列谓词公式的子句集
求下列谓词公式的子句集习题三 求下列谓词公式的子句集。 (1) ,x,y(P(x,y) ,Q(x,y)) 解:去掉存在量词变为:P(a,b),Q(a,b) 变成子句集{ P(a,b),Q(a,b)}