谓词逻辑下，子句,C1=L∨C1 ,C2=L∨C2 ,?若σ是互补文字的（最一般）合一置换， |ai人工智能考试试题

首页->ai人工智能

谓词逻辑下，子句,C1=L∨C1',C2=L∨C2',?若σ是互补文字的（最一般）合一置换，则其归结式 C=（）

（A）C1'σ∨C2'σ

（B）C1'∨C2'

（C）C1'σ∧C2'σ

（D）C1'∧C2'

参考答案

继续答题：下一题

微考学堂

微考学社

更多ai人工智能试题

考试