填空題

把謂詞公式化成子句集：（∀x）（∃y）（P（x，y）∨（Q（x，y）→R（x，y）））：（）。

答案： S={P（x， f（x））∨¬Q（x， f（x））∨R（x， f（x））}

你可能感興趣的試題

用語(yǔ)義網(wǎng)絡(luò)法表示知識(shí)“雪的顏色是白的”（）。

答案：

用產(chǎn)生式表示知識(shí)“王峰熱愛(ài)祖國(guó)”（）。

答案：（love， Wang Feng， country）或（熱愛(ài)，王峰，祖國(guó)）