仅个体变元被量化的谓词称为(本题3.5分)
A、 一阶谓词
B、 原子公式
C、 二阶谓词
D、 全称量词
出自:黑龙江省教育学院人工智能(高起专)