题目内容 (请给出正确答案)
[单选题]

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

A.C1’σ∨C2’σ

B.C1’∨C2’

C.C1’σ∧C2’σ

D.C1’∧C2’

提问人:网友Dume2021 发布时间:2022-01-07
参考答案
查看官方参考答案
如搜索结果不匹配,请 联系老师 获取答案
网友答案
查看全部
  • · 有5位网友选择 A,占比55.56%
  • · 有3位网友选择 B,占比33.33%
  • · 有1位网友选择 C,占比11.11%
匿名网友 选择了A
[0.***.***.16] 1天前
匿名网友 选择了A
[42.***.***.127] 1天前
匿名网友 选择了B
[22.***.***.160] 1天前
匿名网友 选择了B
[196.***.***.3] 1天前
匿名网友 选择了A
[141.***.***.107] 1天前
匿名网友 选择了A
[154.***.***.94] 1天前
匿名网友 选择了B
[48.***.***.236] 1天前
匿名网友 选择了A
[24.***.***.124] 1天前
匿名网友 选择了C
[145.***.***.135] 1天前
加载更多
提交我的答案
登录提交答案,可赢取奖励机会。
更多“谓词逻辑下,子句C1=L∨C1’,C2=┐L∨C2’,若σ是…”相关的问题
第1题
谓词逻辑下,子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的(最一般)合一置换,则其归结式C=()
A.C1’σ∨C2’σ

B.C1’∨C2’

C.C1’σ∧C2’σ

D.C1’∧C2’

点击查看答案
第2题
在公式中∀y∃xp(x,y)),存在量词是在全称量词的辖域内,我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义,把每个y值映射到存在的那个x。这种函数叫做()。
A、依赖函数

B、Skolem函数

C、决定函数

D、多元函数

点击查看答案
第3题
由一般性知识推出适合于某一具体情况的结论的推理是?()
A、演绎推理

B、归纳推理

C、默认推理

D、单调推理

点击查看答案
第4题
对于谓词公式,以下说法错误的是()。
A、上述公式中的所有y是自由变元

B、P(x,y)中的x是约束变元

C、C.R(x,y)中的x是约束变元

D、Q(x,y)中的x是约束变元

点击查看答案
第5题
李明的父亲是教师,用谓词逻辑可以表示为Teacher(father(Liming))这里father(Liming)是()。
A、常量

B、变元

C、函数

D、一元谓词

点击查看答案
第6题
假设我们定义了以下谓词:Study(x)x肯学习Lucky(x)x是幸运的那么下列哪个谓词公式对于以下知识的表示是正确的?()"小张不肯学习但他是幸运的"
A、﹁Study(zhang)∧Lucky(zhang)

B、﹁(Study(zhang)∧Lucky(zhang))

C、﹁(Study(zhang)∨Lucky(zhang))

D、﹁Study(zhang)∨Lucky(zhang)

点击查看答案
第7题
影响金属丝材料的应变灵敏系数的主要因素是()。
A.金属丝的电阻率变化

B.属丝的物理性质变化

C.金属丝的几何尺寸变化

D.金属丝的化学性质变化

点击查看答案
第8题
迟滞特性表明传感器在正反行程期间输出-输入特性曲线不重合的程度。以下关于迟滞特性的说法不正确的是()。
A.迟滞特性破坏了传感器输入输出之间的一一对应关系

B.轴承摩擦、紧固件松动、材料的内摩擦都可能是产生迟滞的原因

C.迟滞特性是传感器的静态特性指标

D.迟滞特性不会对传感器的动态特性造成任何影响

点击查看答案
第9题
注重表现景物的局部和细节,从细微处揭示事物特征的景别是()。
A.特写

B.近景

C.全景

D.中景

点击查看答案
账号:
你好,尊敬的用户
复制账号
发送账号至手机
密码将被重置
获取验证码
发送
温馨提示
该问题答案仅针对搜题卡用户开放,请点击购买搜题卡。
马上购买搜题卡
我已购买搜题卡, 登录账号 继续查看答案
重置密码
确认修改
欢迎分享答案

为鼓励登录用户提交答案,简答题每个月将会抽取一批参与作答的用户给予奖励,具体奖励活动请关注官方微信公众号:简答题

简答题官方微信公众号

警告:系统检测到您的账号存在安全风险

为了保护您的账号安全,请在“简答题”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!

微信搜一搜
简答题
点击打开微信
警告:系统检测到您的账号存在安全风险
抱歉,您的账号因涉嫌违反简答题购买须知被冻结。您可在“简答题”微信公众号中的“官网服务”-“账号解封申请”申请解封,或联系客服
微信搜一搜
简答题
点击打开微信