单项选择题

仅个体变元被量化的谓词称为（）

A.一阶谓词
B.原子公式
C.二阶谓词
D.全称量词
<上一题 目录 下一题>
热门 试题

单项选择题
命题是可以判断真假的（）

A.祈使句
B.疑问句
C.感叹句
D.陈述句
单项选择题
语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的（）。
A.无悖性
B.可扩充性
C.继承性
相关试题