题目内容

设有子句集S={～I(x)∨R(x)，I(a)，～R(y)∨～L(y)，L(a)}，用输入归结策略对其进行归结。

查看答案

搜索结果不匹配？点我反馈

更多问题

求子句集S={R(h(x)，a，g(y)，b)}的H域。

什么是命题？请写出3个真值为T及真值为F的命题。

设C1=～P(a)∨Q(x)∨R(x)，C2=P(y)∨～Q(b)，求其二元归结式。

设有下列语句，请用相应的谓词公式把它们表示出来： (1)有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。 (2)他每天下午都去玩足球。 (3)太原市的夏天既干燥又炎热。 (4)所有人都有饭吃。 (5)喜欢玩篮球的人必喜欢玩排球。 (6)要想出国留学，必须通过外语考试。