早教吧
育儿知识
作业答案
考试题库
百科
知识分享
创建时间
资源类别
相关度排序
共找到 1 与则XZ→YZ为F所逻辑蕴含 相关的结果,耗时5 ms
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且,
则XZ→YZ为F所逻辑蕴含
。这
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且 ,则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
1
>
热门搜索: