Atmstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。

admin2007-12-14  56

问题 Atmstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【  】。

选项

答案增广律

解析
转载请注明原文地址:https://kaotiyun.com/show/3IcZ777K
0

相关试题推荐
最新回复(0)