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