秋季學(xué)期書面作業(yè)講解(完整版)
【正文】 f(a),a)} k=2 {P(f(y),y), P(f(y),a)} 第三步 ： F2中只有一個(gè)表達(dá)式 ， 結(jié)束 所求的最一般的一致置換或最一般的合一者為： σ 2= {a/x, a/y} 主要問題： 合成運(yùn)算有誤， 錯(cuò)誤答案 ： {y/x, a/y} 還是兩個(gè)公式 求謂詞公式 ～ { (?x) { P(x)→ { (?y)[P(y)→P(f(x,y))] ∧ (?y)[Q(x,y)→P(y)] } } } 的子句集 注：所有 粗箭頭 僅表示配對(duì)的括號(hào)或者操作的符號(hào) 分析公式的 配對(duì)括號(hào) 和 量詞的轄域 ～ { (?x) { P(x)→ { (?y)[P(y)→ P(f(x,y))]∧ (?y)[Q(x,y)→ P(y)] } } } （ 消去蘊(yùn)涵 ） =～ { (?x){[～ P(x)] ∨ { (?y)[～ P(y)∨ P(f(x,y))]∧ (?y)[～ Q(x,y)∨ P(y)]} } } （ 非直接作用到謂詞符號(hào) ） = (?x){ P(x) ∧ ～ {(?y)[～ P(y)∨ P(f(x,y))]∧ (?y)[～ Q(x,y)∨ P(y)]}} =(?x){P(x)∧ { ～ {(?y)[～ P(y)∨ P(f(x,y))]}∨ ～ { (?y)[～ Q(x,y)∨ P(y)]} } } = (?x){ P(x)∧ {(?y)[ P(y)∧ ～ P(f(x,y))]∨ (?y)[Q(x,y)∧ ～ P(y)]}} （ 改名 ） = (?x){ P(x) ∧ {(?y)[ P(y)∧ ～ P(f(x,y))]∨ (?z)[Q(x,z)∧ ～ P(z)]}} （ 消去存在量詞 ） = P(a)∧ { [ P(b)∧ ～ P(f(a,b))]∨ [Q(a,c)∧ ～ P(c)]} 用常量 a, b, c代替變量 x, y, z （ 利用分配律 ） P∨ (Q∧ R)=(P∨ Q)∧ (P∨ R) = P(a)∧ { { [ P(b)∧ ～ P(f(a,b))]∨ Q(a,c)}∧ {[ P(b)∧ ～ P(f(a,b))]∨ ～ P(c)} } = P(a)∧ {{[P(b)∨ Q(a,c)]∧ [～ P(f(a,b))∨ Q(a,c)]} ∧ {[ P(b) ∨ ～ P(c)]∧ [～ P(f(a,b)) ∨ ～ P(c)]}} 再用一次分配律 =P(a)∧ { [ P(b)∧ ～ P(f(a,b))]∨ [Q(a,c)∧ ～ P(c)]} （ 結(jié)合律 ） ＝ P(a)∧ [P(b)∨ Q(a,c)]∧ [～ P(f(a,b))∨ Q(a,c)]∧ [P(b)∨ ～ P(c)]∧ [～ P(f(a,b))∨ ～ P(c)] 子句集： { P(a), P(b)∨ Q(a,c), ～ P(f(a,b))∨ Q(a,c),
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1