问题
填空题
Armp公理系统中有。一条推理规则为:若X→Y为F所逻辑蕴含,且
,则XZ→YZ为F所逻辑蕴含。这条推理规则称作______。
答案
参考答案:增广律
解析: Armstrong公理系统包括3条推理规则: ①自反律若
,则X→Y为F所逻辑蕴含。 ②增广律著X→Y为F所逻辑蕴含,且
,则XZ→YZ为F所逻辑蕴含。 ③传递律若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含。
Armp公理系统中有。一条推理规则为:若X→Y为F所逻辑蕴含,且
,则XZ→YZ为F所逻辑蕴含。这条推理规则称作______。
参考答案:增广律
解析: Armstrong公理系统包括3条推理规则: ①自反律若
,则X→Y为F所逻辑蕴含。 ②增广律著X→Y为F所逻辑蕴含,且
,则XZ→YZ为F所逻辑蕴含。 ③传递律若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含。