从已知的FD集使用推理规则导出的FD在F+中"，这是推理规则的（）性。

[填空题] "不能从已知的FD集使用推理规则导出的FD不在F+中"，这是推理规则的（）性。

如果X→Y，并且Y X，则称X→Y是平凡的FD。根据推理规则的自反律可推出。什么是平凡的FD?平凡的FD可根据哪一条推理规则推出?

[填空题] 反向推理是从（）出发，反向使用规则，求证已知的事实。

[单选题]演绎推理中最常用的是推理规则的（）A . 演绎法B . 归纳法C . 演绎三段论D . 归纳三段论

[单选题]充分条件推理有（）个推理规则。A .一B .二C .三D .四

[单选题]必要条件推理有（）个推理规则。A .五B .四C .三D . D.二

[名词解释] 推理规则的正确性和完备性

[问答题,论述题] 试由amstrong 公理系统推导出下面三条推理规则

[填空题] 从已知事实出发，通过规则库求得结论的产生式系统的推理方式是（）。

[填空题] 正向推理是从（）出发，通过规则库求得结果。