符号AI的问题在于（）。
第1题：
A.AI 训练/推理
B.AI 推理/HPC
C.AI 训练/HPC
D.以上全部
第2题：
此题为判断题(对，错)。
第3题：
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZíU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作（ ）
第4题：
人们利用条件性命题所进行的推理是条件推理又称（）
A归纳推理
B演绎推理
C线性推理
D假言推理
第5题：
Armstrong公理系统的3条推理规则是 ______、增广律和传递律。
第6题：
A、公理化方法和三段论方法
B、假言推理
C、选言推理
D、假言选言推理
第7题：
下面关于函数依赖的叙述中，（ ）是Armstrong公理系统中的推理规则。
第8题：
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴含，且 ，则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
第9题：
《自然哲学的数学原理》遵循的是标准的什么推理公理化体系（）
A.几何推理
B.微积分推理
C.解析推理
D.演绎逻辑
第10题：
归纳推理为演绎推理提供前提，归纳推理依赖演绎推理。