8、下列说法正确的是（）A．存在一个计算机程序，能够自动判定任何一个数学命题是否成立B．存在一个形式推理系统，能够得到所有成立的数学命题C．存在数学定理，可以应用自动定理证明器进行自动证明D．无
8、下列说法正确的是（）
A．存在一个计算机程序，能够自动判定任何一个数学命题是否成立
B．存在一个形式推理系统，能够得到所有成立的数学命题
C．存在数学定理，可以应用自动定理证明器进行自动证明
D．无
参考答案和解析
B
相关考题：
底模拆除时混凝土强度要求(达到设计的混凝土立方体抗压标准值的百分率),下列说法正确的是( )。 A.板跨度≤8m时，≥50%B.板跨度>8m时，≥100%C.梁跨度≤8时，≥75%D.梁跨度>8m时，≥100%
下列说法，正确的是（ )。 A.若CR8≥40，说明该产业市场结构是寡占型 B.若CR8≤40%，说明该产业市场结构是寡占型 C.若CR8≥70%，说明该产业市场结构是集中竞争型 D.若40%≤CR8＜70%，说明该产业市场结构是分散竞争型
“4、7、8呼吸法”能有效帮助入睡，关于这个方法的具体操作，下列说法中正确的是（）。A、吸气4秒，憋气8秒，呼气7秒B、吸气7秒，憋气4秒，呼气8秒C、吸气4秒，憋气7秒，呼气8秒D、吸气8秒，憋气4秒，呼气7秒
单选题“4、7、8呼吸法”能有效帮助入睡，关于这个方法的具体操作，下列说法中正确的是（）。A吸气4秒，憋气8秒，呼气7秒B吸气7秒，憋气4秒，呼气8秒C吸气4秒，憋气7秒，呼气8秒D吸气8秒，憋气4秒，呼气7秒
单选题在结构施工图中某现浇钢筋混凝土楼板有钢筋标注为“中8/10@150”，下列说法正确的是（）。A钢筋直径为81mmB钢筋直径为10mmC8mm与10mm的钢筋间距为150mmD以上均不正确
单选题有关锚链管，下列说法不正确的是：（）A应设防水盖B设在链轮的上方C正对锚链舱中央D直径约为7～8倍链径