填空题

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

【参考答案】

增广律
<上一题 目录 下一题>
热门 试题

单项选择题
下列哪一个是正确的从栈中删除元素的序列
A．BE
B．BD
C．BEDC
D．BDEC
单项选择题
当某设备输入操作正常结束时，操作系统将等待该输入操作结果的进程的状态改为（ ）。
A．就绪态
B．运行态
C．等待态
D．挂起态
相关试题