早教吧 育儿知识 作业答案 考试题库 百科 知识分享
创建时间 资源类别 相关度排序
共找到 4011 与蕴含-- 相关的结果,耗时46 ms rss sitemap
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且 ,则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
下面哪一条是对伪传递规则的描述?( )A.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含B.由X→Y及Z=y,有X→ZC.由X→Y,WY→Z,有XW→ZD.由X→Y,X→Z,有X→YZ