問(wèn)答題

【簡(jiǎn)答題】每個(gè)讀書(shū)的人都是為了獲得知識(shí)。證明:對(duì)某個(gè)人來(lái)說(shuō),若不能獲得知識(shí),則他就不會(huì)讀書(shū)。

答案: 證明:
定義謂詞。read(x):表示x讀書(shū);knowledge(x):表示x獲得知識(shí)。
將前提和要...
題目列表

你可能感興趣的試題

問(wèn)答題

【簡(jiǎn)答題】請(qǐng)用一階謂詞邏輯法表示“喜歡玩籃球的人必喜歡玩排球?!?/h4>

答案: L.ikeplay(x,y)表示x喜歡玩y。
(Эx)(Likeplay(x,籃球)→Likepla...
問(wèn)答題

【簡(jiǎn)答題】支持集歸結(jié)策略對(duì)參加歸結(jié)的子句有什么限制?

答案: 支持集策略要求在每次歸結(jié)時(shí),親本子句中至少應(yīng)有一個(gè)是由目標(biāo)的否定所得到的子句或者它們的后代。
微信掃碼免費(fèi)搜題