题目内容
（请给出正确答案）
[判断题]
对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。（)
提问人：网友Dume2021
发布时间：2022-01-07
如搜索结果不匹配，请 
此题为判断题(对，错)。
题目内容
（请给出正确答案）
您可能会需要：
安装简答题APP，拍照搜题省时又省心！
更多“对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句…”相关的问题
B与x无关。第8题
谓词逻辑下,子句C1=L∨C1’,C2=┐L∨C2’,若σ是互补文字的最一般合一代换,则其归结式C12=()。
A、C1’σ∨C2’σ
点击查看答案
B、C1’∨C2’
C、C1’σ∧C2’σ
D、C1’∧C2’
