谓词逻辑下,子句,C1=L∨C1‘,C2=?L∨若σ是互补文字的(最一般)合一置换,则其归结式C=()
谓词逻辑下,子句,C1=L∨C1‘,C2=?L∨若σ是互补文字的(最一般)合一置换,则其归结式C=()
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
正确答案:A
谓词逻辑下,子句,C1=L∨C1‘,C2=?L∨若σ是互补文字的(最一般)合一置换,则其归结式C=()
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
正确答案:A
热门答案