Armstrong公理系统中有一条推理规则为:若x—Y为F所逻辑蕴含,且z∈U,则XZ—YZ为F所逻辑蕴含。这条推理规则称作____________。

admin2012-04-17  42

问题 Armstrong公理系统中有一条推理规则为:若x—Y为F所逻辑蕴含,且z∈U,则XZ—YZ为F所逻辑蕴含。这条推理规则称作____________。

选项

答案增广律

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

随机试题
最新回复(0)