首页
题库
面试
求职
学习
竞赛
More+
所有博客
搜索面经/职位/试题/公司
搜索
我要招人
去企业版
登录 / 注册
首页
>
试题广场
>
试由Armostrong 公理系统推导出下面三条推理规则。(
[问答题]
试由Armostrong 公理系统推导出下面三条推理规则。
(1) 合并规则:若X→Z, X→Y, 则有X →YZ。
(2) 伪传递规则:由X→Y,WY→Z, 有XW→Z。
(3) 分解规则: X→Y, Z 巨Y, 有X→Z。
添加笔记
求解答(0)
邀请回答
收藏(4)
分享
纠错
0个回答
添加回答
这道题你会答吗?花几分钟告诉大家答案吧!
提交观点
问题信息
上传者:
小小
难度:
0条回答
4收藏
1602浏览
热门推荐
相关试题
执行以下程序,理论上输出的结果应最...
360集团
Python
算法工程师
2019
评论
(1)
来自
360公司-2019校招...
下面关于 Spring Cloud...
Spring
评论
(1)
以下描述正确的是
Java
评论
(1)
测试设计员的职责: ①制定测试计划...
软件测试
评论
(1)
下列哪个选项可以用于在Java中将...
Java
评论
(1)
扫描二维码,关注牛客网
意见反馈
下载牛客APP,随时随地刷题