第十二章单元测试
一阶语言FOL有无穷多个变项。
一个语句（闭公式）是一个没有自由变项的公式。
每个逻辑真语句都是重言式。
一个一阶语言FOL不可以没有常项。（ ）
一个量化语句是一个重言式当且仅当它的真值函项形式是一个（ ）。
所有重言式都是（ ）。
下面哪些公式是亚里士多德语句形式。
A:错 B:对
答案:对
A:对 B:错
A:对 B:错
A:错 B:对
A:约束出现，但不是自由出现 B:自由出现 C:
出现
A:自由出现 B:不出现 C:出现 D:约束出现，但不是自由出现
A:永假式
A:
B:
C:
D:
A:一阶有效的 B:逻辑真的 C:塔斯基世界必然真的 D:不是一阶有效式
A:
B:
C:
D:
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
