相关考题
-
单项选择题
1997年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（）
A.深蓝
B.IBM
C.深思
D.蓝天 -
单项选择题
仅个体变元被量化的谓词称为（）
A.一阶谓词
B.原子公式
C.二阶谓词
D.全称量词 -
单项选择题
命题是可以判断真假的（）
A.祈使句
B.疑问句
C.感叹句
D.陈述句
