首页 > 试题广场 >

试由Armostrong 公理系统推导出下面三条推理规则。(

[问答题]
试由Armostrong 公理系统推导出下面三条推理规则。
(1) 合并规则:若X→Z, X→Y, 则有X →YZ。
(2) 伪传递规则:由X→Y,WY→Z, 有XW→Z。
(3) 分解规则: X→Y, Z 巨Y, 有X→Z。

这道题你会答吗?花几分钟告诉大家答案吧!