3709谓词逻辑下,子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的(最一般)合一置换,则其归结式C=9466
< >试卷标题：2019年陕西省专业技术人员继续教育网公需科目【人工智能与未来教育】练习考试课后测试答案
谓词逻辑下,子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的(最一般)合一置换,则其归结式C=
A.1’σ∨C2’σ
B.1’∨C2’
C.1’σ∧C2’σ
D.1’∧C2’
< >试卷标题：2019年陕西省专业技术人员继续教育网公需科目【人工智能与未来教育】练习考试课后测试答案
谓词逻辑下,子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的(最一般)合一置换,则其归结式C=
A.1’σ∨C2’σ
B.1’∨C2’
C.1’σ∧C2’σ
D.1’∧C2’