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

admin2010-05-13  32

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

选项

答案增广律

解析 Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZU,则X2→YZ为F所逻辑蕴涵。这条推理规则称作增广律。
转载请注明原文地址:https://jikaoti.com/ti/cr97FFFM
0

最新回复(0)