题目内容
（请给出正确答案）
[单选题]
子句
子句
和P经过消解以后，得到
A.P
B.Q
C.~P
D.~Q
如搜索结果不匹配，请 联系老师 获取答案
A.P
B.Q
C.~P
D.PVQ
更多“子句和P经过消解以后，得到”相关的问题
第4题
设有子句集S={～P（x)∨R（x)，P（a)，～R（y)∨～Q（y)，Q（a))，其中，假设～P（x)∨R（x)是目标公式否定后得到的子
设有子句集S={～P(x)∨R(x)，P(a)，～R(y)∨～Q(y)，Q(a))，其中，假设～P(x)∨R(x)是目标公式否定后得到的子句，请用支持集策略对其进行归结。
和
的消解式为（）。
第8题
消解反演证明定理的思路是：给定一个公式集S(前提条件)和目标公式L(结论)，通过反演来求证目标公式L，其证明过程为：否定L，得到～L、把～L加到S中、把新形成的集合{S，～L}化为子句集、应用消解原理，试图导出一个表示矛盾的空子句。()此题为判断题(对，错)。
热门考试
全部 >
