第一章 单元测试

1、 问题:下列哪个命题公式是重言式?( )
选项:
A:
B:
C:
D:
答案: 【

4、 问题:若解释I使命题公式A为真,使公式A®B也为真,则解释I使公式B为(   )。
选项:
A:假,
B:真,
C:可满足,
D:与解释I无关
答案: 【真,

5、 问题:任何两个重言式的合取或析取,仍然是一个重言式。( )
选项:
A:对
B:错
答案: 【

6、 问题:命题公式等值于( )。
选项:
A:,
B:
C:
D:
答案: 【,

7、 问题:n个命题变项可以产生( )个互不等值的极小项。
选项:
A:2n,
B:,
C:n,
D:
答案: 【,

第二章 单元测试

1、 问题:设L(x,y):x大于y,则L(x,y)是一个命题。 ( )
选项:
A:对
B:错
答案: 【

2、 问题:在一阶逻辑中将命题符号化时,针对不同的个体域,同一个命题符号化之后的结果可能相同也可能不同。 ( )
选项:
A:错
B:对
答案: 【

3、 问题:给定解释N如下:

在解释N下,下面公式中真命题有( )。
选项:
A:
B:
C:
D:
答案: 【
,

4、 问题:下列公式中,逻辑有效式是( )。
选项:
A:
B:
C:
D:
答案: 【
,

5、 问题:在一阶逻辑中,任何合式公式都存在与之等值的前束范式,并且前束范式是唯一存在的。( )
选项:
A:错
B:对
答案: 【

6、 问题:每列火车都比某些汽车快。则该命题符号化为( )
选项:
A:
B:
C:
D:
答案: 【

7、 问题:给定解释I如下:

下列公式为真的是( )
选项:
A:
B:
C:
D:
答案: 【
,
,

10、 问题:,请问哪几个正确( )
选项:
A:
B:
C:
D:
答案: 【
,

第三章 单元测试

1、 问题:为真。( )
选项:
A:对
B:错
答案: 【

   

发表评论

电子邮件地址不会被公开。 必填项已用*标注