填空題

把謂詞公式化成子句集:(∀x)(∃y)(P(x,y)∨(Q(x,y)→R(x,y))):()。

答案: S={P(x, f(x))∨¬Q(x, f(x))∨R(x, f(x))}
題目列表

你可能感興趣的試題

填空題

用產(chǎn)生式表示知識“王峰熱愛祖國”()。

答案: (love, Wang Feng, country) 或(熱愛,王峰,祖國)
微信掃碼免費搜題