- 搜標(biāo)題
- 搜題干
- 搜選項
問答題
【簡答題】
設(shè)公理集：
P，
（P∧Q）→R，
（S∨T）→Q，
T
用歸結(jié)原理求證：R
答案：
證明：子句集：
（1）P
（2）～P∨～Q∨R
（3）～S∨Q
（1）P
（2）～P∨～Q∨R
（3）～S∨Q
你可能感興趣的試題
問答題
【簡答題】畫出下列知識的語義網(wǎng)絡(luò)：“籍貫為湖南的張山在信息學(xué)院讀書，該學(xué)校位于健翔橋附近，該校由計算機系、信息系和通信系組成?！?/h4>
答案：
語義網(wǎng)絡(luò)如下圖：
問答題
【簡答題】請用一階謂詞邏輯法表示“太原市的夏天既干燥又炎熱?！?/h4>
答案：
S.tate（x，y，z）：x市在y季節(jié)氣候處于z狀態(tài)。
則：State（太原，夏天，干燥）∧Stat...
則：State（太原，夏天，干燥）∧Stat...
