单选题仅个体变元被量化的谓词称为（）A一阶谓词B原子公式C二阶谓词D全称量词
单选题
仅个体变元被量化的谓词称为（）
A
一阶谓词
B
原子公式
C
二阶谓词
D
全称量词
参考解析
解析：
暂无解析
相关考题：
量化就是进行“舍零取整”处理。其中，N称为量化级数，△称为量化级差，而量化信噪比定义为20lg（Us/Uz）。这三个量之间的关系是（）A、N增大，则△和量化信噪比增大B、N增大，则△和量化信噪比减小C、N减小，则△和量化信噪比增大D、N减小，则△和量化信噪比减小
单选题量化就是进行“舍零取整”处理。其中，N称为量化级数，△称为量化级差，而量化信噪比定义为20lg（Us/Uz）。这三个量之间的关系是（）AN增大，则△和量化信噪比增大BN增大，则△和量化信噪比减小CN减小，则△和量化信噪比增大DN减小，则△和量化信噪比减小
填空题谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。