设为首页收藏本站
开启辅助访问 切换到窄版
搜索
公开课»论坛 › 公开课 问答 › 考试题库 › 归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。 ...

[知识问答] 归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“（）”把关于永真性的证明转化为关于不可满足性的证明。

[复制链接] 【举报中心】
查看10 | 回复0 | 2024-8-29 15:06:43 | 显示全部楼层 |阅读模式
归结演绎公开课 wWW.openke.Cn推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“（）”把关于永真性的证明转化为关于不可满足性的证明。
A.反证法B.综合法C.分析法D.归纳法正确答案：反证法
鲁宾逊, 反证法, 是一种, 真性, 转化为

相关帖子
回复

使用道具 举报

返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

匿名
千诗

3万

主题

0

回帖

5万

积分

论坛元老

Rank: 8Rank: 8

精华
0
金币
39321 个
贡献
0
违规
0
注册时间
2022-10-16
回复楼主 返回列表