首页 > 财会类考试> 国际内审师

题目内容（请给出正确答案）

[判断题]

对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。（)

查看答案

如果结果不匹配，请联系老师获取答案

您可能会需要：

重置密码查看订单联系客服

安装优题宝APP，拍照搜题省时又省心！

更多“对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句…”相关的问题

第1题

谓词公式不可满足的充要条件是其子句集不可满足。（)

点击查看答案

第2题

谓词逻辑下，子句C1=L∨C1’,C2=┐L∨C2’,若σ是互补文字的最一般合一代换，则其归结式C12=（)。

A.C1’σ∨C2’σ

B.C1’∨C2’

C.C1’σ∧C2’σ

D.C1’∧C2’

点击查看答案

第3题

一阶谓词逻辑表示法的优点是（)。

A.严密性

B.自然性

C.通用性

D.以上都对

点击查看答案

第4题

试将下列各句用谓词逻辑公式表示。（1)人人为我，我为人人。（2)鱼我所欲也，熊掌亦我所欲也。（3)有的兔子比所有的乌龟跑得快。（4)若集合A上的二元关系R是反自反的和传递的，则R是反对称的。

点击查看答案

第5题

在一阶逻辑中，分别在（a)、（b)时将下列命题符号化并讨论命题的真值。（1)凡整数都能被2整除。（2)有的整数能被2整除。其中：（a)个体域为整数集Z。（b)个体域为实数集R。

点击查看答案

第6题

谓词逻辑可以表示规则。（)

点击查看答案

第7题

用来测试一个集合为空的谓词是（)

A.ISNOTEMPTY

B.NOTUNIQUE

C.ISNOTNULL

D.NOTEXISTS

点击查看答案

第8题

词逻辑表示分为命题逻辑和谓词逻辑两种。（)

点击查看答案

第9题

找出自然数域上的两个谓词P和Q以证明归纳证明的基础步骤和归纳步骤是独立的，也就是没有一个逻

辑地蕴含另一个。特别，要找出一谓词P使P(0)是真而

是真。

点击查看答案

第10题

若逻辑变量x和y满足xy=x+y，则x=y。（)

点击查看答案

湖南优积谷网络科技有限公司版权所有 ©2024

湘ICP备16018319号-1 湘公安备案43019002000613号营业执照

违法和不良信息举报电话：400-118-7898

举报/反馈/投诉邮箱：deng＃ujigu.com（请将＃替换成@）