Amrstrong公理系统的三条基本推理规则有（）、（）、（）。
第1题：
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZíU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作（ ）
第2题：
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴含，且 ，则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
第3题：
（ 17 ） Armstrong 公理系统的三条推理规则是自反律、增广律和 【 17 】 。
第4题：
下面关于函数依赖的叙述中，（ ）是Armstrong公理系统中的推理规则。
第5题：
Armstrong公理系统的3条推理规则是自反律、增广律和______。
第6题：
Armstrong公理系统的三条推理规则是自反律、传递律和__________ 。
第7题：
A、公理化方法和三段论方法
B、假言推理
C、选言推理
D、假言选言推理
第8题：
（17）Annstrong公理系统的3条推理规则是___________、增广律和传递律。
第9题：
由Armstrong公理系统中3条基本的推理规则可以得到另外3条推广的、很有用的推理规则，它们是合并规则、分解规则和 ______。
第10题：
符号AI的问题在于（）。