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

一阶语言FOL有无穷多个变项。

一阶语言FOL有无穷多个变项。
A.对
B.错
正确答案：对

标签：语言

上一条：在Fitch中，等值引入规则要求给出两个子证明，它们表明（）。

下一条：一个语句（闭公式）是一个没有自由变项的公式。