一个语言FOL可以没有谓词。（）
一个语言FOL可以没有谓词。（）
如果P和Q是FOL语句，那么（）也是。
如果P和Q是FOL语句，那么（）也是。
在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象。
在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象。
1
一个语言FOL可以没有谓词。（）
如果P和Q是FOL语句，那么（）也是。
在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象。