第二章单元测试
- 设L(x,y):x大于y，则L(x,y)是一个命题。 （ ）
- 在一阶逻辑中将命题符号化时，针对不同的个体域，同一个命题符号化之后的结果可能相同也可能不同。 （ ）
- 给定解释N如下：
在解释N下，下面公式中真命题有（ ）。 - 下列公式中，逻辑有效式是（ ）。
- 在一阶逻辑中，任何合式公式都存在与之等值的前束范式，并且前束范式是唯一存在的。（ ）
- 每列火车都比某些汽车快。
，
则该命题符号化为（ ） - 给定解释I如下：
下列公式为真的是（ ） 
，请问哪几个正确（ ）
A:错 B:对
答案:错
A:对 B:错
答案:对
A:
B:
C:
D:
答案:
###
A:
B:
C:
D:
答案:
###
A:对 B:错
答案:错
A:
B:
C:
D:
答案:
A:
B:
C:
D:
答案:
###
###
答案:无
答案:无
A:
B:
C:
D:
答案:
###
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
