首页 › 答案 › 题库 › 知到智慧树 › 未分类

在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象。

在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象。
A.对
B.错
正确答案：对

标签：逻辑个体对象

上一条：Boole与Fitch相同，也有一个自带的练习文件夹。（）

下一条：一个个体常项不能命名多个对象。