重要提示: 请勿将账号共享给其他人使用,违者账号将被封禁!
查看《购买须知》>>>
学历考试首页 > 全部分类 > 远程教育
搜题
网友您好, 请在下方输入框内输入要搜索的题目:
搜题
题目内容 (请给出正确答案)
[单选题]

消解是一种可用于一定的()的重要推理规则。

A.子句

B.双条件

C.合取公式

D.蕴含公式

查看答案
更多“消解是一种可用于一定的()的重要推理规则。”相关的问题

第1题

子句是由文字的()组成的公式

A.析取

B.合取

C.蕴含

D.双条件

点击查看答案

第2题

用连词→连接两个公式所构成的公式叫做()公式。

A.析取

B.合取

C.蕴含

D.双条件

点击查看答案

第3题

用连词∨把几个公式连接起来所构成的公式叫做()公式。

A.析取

B.合取

C.蕴含

D.双条件

点击查看答案

第4题

消解反演证明定理的思路是:给定一个公式集S(前提条件)和目标公式L(结论),通过反演来求证目标公式L,其证明过程为:否定L,得到~L、把~L加到S中、把新形成的集合{S,~L}化为子句集、应用消解原理,试图导出一个表示矛盾的空子句。()此题为判断题(对,错)。
点击查看答案

第5题

反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。

A.永真式

B.合取式

C.析取式

D.空子句

点击查看答案

第6题

逻辑联结词的优先级(由高到低)为____________。
逻辑联结词的优先级(由高到低)为____________。

A、合取→析取→蕴含→等价→否定

B、否定→合取→析取→等价→蕴含

C、合取→析取→否定→蕴含→等价

D、否定→合取→析取→蕴含→等价

点击查看答案

第7题

谓词公式与其子句集的关系是()。

A.小于

B.大于

C.包含

D.被包含

点击查看答案

第8题

用于小流域设计洪水计算的推理公式,适用于流域无降雨资料的情况。()
点击查看答案

第9题

对于暴雨洪峰流量的推理公式,描述错误的是()。
对于暴雨洪峰流量的推理公式,描述错误的是()。

A、推理公式是以非线性汇流为基础的

B、洪峰流量一般为净雨强度与汇流面积的乘积

C、推理公式主要包括了暴雨因素、产流因素和汇流因素

D、径流系数越大,洪峰流量越大

点击查看答案

第10题

任何文字的合取式称为子句。()
点击查看答案
下载上学吧APP
客服
TOP
重置密码
账号:
旧密码:
新密码:
确认密码:
确认修改
购买搜题卡查看答案
购买前请仔细阅读《购买须知》
请选择支付方式
微信支付
支付宝支付
选择优惠券
优惠券
请选择
点击支付即表示你同意并接受《服务协议》《购买须知》
立即支付
搜题卡使用说明

1. 搜题次数扣减规则:

功能 扣减规则
基础费
(查看答案)
加收费
(AI功能)
文字搜题、查看答案 1/每题 0/每次
语音搜题、查看答案 1/每题 2/每次
单题拍照识别、查看答案 1/每题 2/每次
整页拍照识别、查看答案 1/每题 5/每次

备注:网站、APP、小程序均支持文字搜题、查看答案;语音搜题、单题拍照识别、整页拍照识别仅APP、小程序支持。

2. 使用语音搜索、拍照搜索等AI功能需安装APP(或打开微信小程序)。

3. 搜题卡过期将作废,不支持退款,请在有效期内使用完毕。

请使用微信扫码支付(元)
订单号:
遇到问题请联系在线客服
请不要关闭本页面,支付完成后请点击【支付完成】按钮
遇到问题请联系在线客服
恭喜您,购买搜题卡成功 系统为您生成的账号密码如下:
重要提示: 请勿将账号共享给其他人使用,违者账号将被封禁。
发送账号到微信 保存账号查看答案
怕账号密码记不住?建议关注微信公众号绑定微信,开通微信扫码登录功能
警告:系统检测到您的账号存在安全风险

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

- 微信扫码关注上学吧 -
警告:系统检测到您的账号存在安全风险
抱歉,您的账号因涉嫌违反上学吧购买须知被冻结。您可在“上学吧”微信公众号中的“官网服务”-“账号解封申请”申请解封,或联系客服
- 微信扫码关注上学吧 -
请用微信扫码测试
选择优惠券
确认选择
谢谢您的反馈

您认为本题答案有误,我们将认真、仔细核查,如果您知道正确答案,欢迎您来纠错

上学吧找答案