- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問答題
【簡答題】
設(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
你可能感興趣的試題
問答題
【簡答題】請(qǐng)用一階謂詞邏輯法表示“太原市的夏天既干燥又炎熱?！?/h4>
答案：
S.tate（x，y，z）：x市在y季節(jié)氣候處于z狀態(tài)。
則：State（太原，夏天，干燥）∧Stat...
則：State（太原，夏天，干燥）∧Stat...
