一起答
主观

第 80 题 Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且 ,则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。

参考答案
查看试卷详情