判断题

一个语言FOL可以没有谓词。

答案：正确

你可能感兴趣的试题

单项选择题

在Tarski’sWorld中，（）表示个体常项。

A.y
B.P
C.a
D.w

每个逻辑真语句都是Tarski ’sWorld 必然真语句。

答案：正确