- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問(wèn)答題
【簡(jiǎn)答題】已知：If Fido goes wherever John goes and if John is at school，用歸結(jié)原理求解：Where is Fido？
答案：
你可能感興趣的試題
問(wèn)答題
【簡(jiǎn)答題】
設(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
