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

一个开公式是至少有一个自由变项的公式。（）

一个开公式是至少有一个自由变项的公式。（）
A.对
B.错
正确答案：对

标签：公式自由

上一条：一个语言FOL可以没有谓词。（）

下一条：在Fitch中，系统F的全称量词规则有（）。