填空题
Atmstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且Z⊆U,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作()。
【参考答案】
增广律Z⊆U
点击查看答案
<上一题
目录
下一题>
热门
试题
单项选择题
The sound of the water gently______against the side of the boat was very pleasant.A.creakingB.surgingC.suckingD.lapping
A.
A.creaking
B.surging
C.sucking
D.lapping
点击查看答案
未分类题
A.Throw himself in front of the train.B.Throw himself against the bus.C.Squeeze himself between the rails.D.Strike himself with the flowerpot.
点击查看答案
相关试题
某机床的主轴和润滑油泵各由一只笼型异步电...
试设计一个工作台前进—退回的控制线路。工...
试画出既能使三相异步电动机正、反连续运行...
The main idea of the story is tha...
When we dream,().