求取子句集的步骤包括以下步骤:消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词。() 此题为判断题(对，错)。
求取子句集的步骤包括以下步骤:消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词。()
此题为判断题(对，错)。
相关考题：
设个体域A={a,b}，公式"xP（x)Ù$xS（x)在A中消去量词后应为A．P(x)ÙS(x)B．(P(a)ÙP(b))Ù(S(a)ÚS(b))C．P(a)ÙS(b)D．P(a)ÙP(b)ÙS(a)ÙS(b)
在谓词演算中：P（a)是"xP（x)的有效结论，其理论根据是A．全称量词消去规则(US)B．全称量词引入规则(UG)C．存在量词消去规则(ES)D．存在量词引入规则(EG)