第十三章单元测试
一阶语言FOL有无穷多个常项。
一个语句（闭公式）是一个没有自由变项的公式。
每个逻辑真语句都是Tarski’s World必然真语句。
在Tarski’s World中，（ ）表示个体常项。
下面哪些公式是亚里士多德语句形式。
一个语言FOL可以没有谓词。（ ）
一个开公式是至少有一个自由变项的公式。（ ）
A:对 B:错
答案:错
A:对 B:错
A:错 B:对
A:出现 B:不出现 C:自由出现 D:约束出现，但不是自由出现
A:自由出现 B:出现 C:约束出现，但不是自由出现 D:不出现
A:P B:w C:y D:a
A:
B:
C:
D:
A:
B:
C:
D:
A:错 B:对
A:错 B:对
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
