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

所有重言式都是（）。

所有重言式都是（）。
A.一阶有效的
B.逻辑真的
C.不是一阶有效式
D.塔斯基世界必然真的
正确答案：逻辑真的；塔斯基世界必然真的

标签：重言逻辑世界

上一条：一个量化语句是一个重言式当且仅当它的真值函项形式是一个（）。

下一条：一阶语言FOL有无穷多个常项。