首页
一个语言FOL可以没有谓词。（）
精华吧
→
答案
→
知到智慧树
→
未分类
一个语言FOL可以没有谓词。（）
A.对
B.错
正确答案：对
Tag：
谓词
语言
时间：2024-01-14 20:04:58
上一篇：
在Tarski’s World中，（）表示个体常项。
下一篇：
一个开公式是至少有一个自由变项的公式。（）
相关答案
1.
每个逻辑真语句都是Tarski’s World必然真语句。
2.
一阶语言FOL有无穷多个常项。
3.
所有重言式都是（）。
4.
一个量化语句是一个重言式当且仅当它的真值函项形式是一个（）。
5.
每个逻辑真语句都是重言式。
6.
一个语句（闭公式）是一个没有自由变项的公式。
7.
一阶语言FOL有无穷多个变项。
8.
在Fitch中，等值引入规则要求给出两个子证明，它们表明（）。
9.
没有前提的一个证明表明它的结论是一条（）。
10.
没有前提的一个证明表明它是系统的一条（）。
热门答案
1.
有些Tarski s’World 必然真语句不是（）。
2.
如果S是一个重言式，那么它也是（）语句。
3.
如果S是一个重言式，那么S是（）。
4.
有一些Tarski s’World 必然真语句是（）。
5.
S是一个重言式当且仅当S的真值表的每一行的真值（）。
6.
形式证明比非形式证明简单。（）
7.
恒等的自反性是指：（）。
8.
每个n元谓词被解释为一个与谓词有相同元数的（）。
9.
一个论证是可靠的，需要满足下面的哪些条件。
10.
逻辑上有效的论证的结论是其前提的（）。