首頁(yè)
題庫(kù)
網(wǎng)課
在線(xiàn)模考
桌面端
登錄
搜標(biāo)題
搜題干
搜選項(xiàng)
0
/ 200字
搜索
問(wèn)答題
【簡(jiǎn)答題】每個(gè)讀書(shū)的人都是為了獲得知識(shí)。證明:對(duì)某個(gè)人來(lái)說(shuō),若不能獲得知識(shí),則他就不會(huì)讀書(shū)。
答案:
證明:
定義謂詞。read(x):表示x讀書(shū);knowledge(x):表示x獲得知識(shí)。
將前提和要...
點(diǎn)擊查看完整答案
手機(jī)看題
你可能感興趣的試題
問(wèn)答題
【簡(jiǎn)答題】請(qǐng)用一階謂詞邏輯法表示“喜歡玩籃球的人必喜歡玩排球?!?/h4>
答案:
L.ikeplay(x,y)表示x喜歡玩y。
(Эx)(Likeplay(x,籃球)→Likepla...
點(diǎn)擊查看完整答案
手機(jī)看題
問(wèn)答題
【簡(jiǎn)答題】支持集歸結(jié)策略對(duì)參加歸結(jié)的子句有什么限制?
答案:
支持集策略要求在每次歸結(jié)時(shí),親本子句中至少應(yīng)有一個(gè)是由目標(biāo)的否定所得到的子句或者它們的后代。
點(diǎn)擊查看完整答案
手機(jī)看題
微信掃碼免費(fèi)搜題