仅个体变元被量化的谓词称为
·一阶谓词\t
·原子公式\t
·二阶谓词\t
·全称量词
出自:佳木斯大学语言治疗学