首页 › 答案 › 题库 › 网课

在一阶逻辑中,不含自由出现的个体变项的公式称为()

在一阶逻辑中,不含自由出现的个体变项的公式称为()
A、合式公式
B、谓词公式
C、命题公式
D、闭式
正确答案:闭式