首页 › 答案 › 题库 › 远程教育 › 青书学堂

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

仅个体变元被量化的谓词称为
A、一阶谓词
B、原子公式
C、二阶谓词
D、全称量词
正确答案：A

标签：谓词量词全称

上一条：谓词逻辑下，子句，C1=L∨C1‘，C2=?L∨C2‘，若σ是互补文字的（最一般）合一置换，则其归结式C=（）

下一条：能对发生故障的对象（系统或设备）进行处理，使其恢复正常工作的专家系统是（）。