单项选择题
下列哪些是推理中的子句集？（）
A.{P∨Q∨┐R，P}B.Π{6}C.Σ{6}D.{┐（P∧┐Q）,┐Q∨R}
单项选择题 下列哪些真值指派使得P→Q的真值为0（）。
单项选择题 反向规则演绎推理中，目标的与或形图的根节点在（）
单项选择题 在图搜索推理方法中，需要使推理中被选出的状态节点放在（）。
