Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且Z[*]U,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作______。

admin2009-01-19  21

问题 Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且Z[*]U,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作______。

选项

答案增广率

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

最新回复(0)