下列公式是重言式的为下面给出的一阶逻辑等价式中，错误的是     

A:

B:

C:

D:

答案:

设P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间”符号化为

A:

Q ® P

B:

P ® Q 

C:

ØPÚQ

D:

P «Q 

答案:

Q ® P

A:

B:

C:

D:

答案:

下列公式是重言式的为

A:

AÙØB«AÚB

B:

PÙQ «ØPÚQ

C:

Ø(PÚQ) «（ØPÙØQ ）

D:

(B®(AÚB)) «(ØAÙ(AÚB))

答案:

Ø(PÚQ) «（ØPÙØQ ）

  

A:无法确定
B:永真式
C:永假式
D:可满足式
答案: 永真式

下列表述成立的为

A:

ØAÙ (AÚB) ÞB

B:

ØPÙØQÛPÚQ 

C:

P ® Q ÞQ

D:

ØB®A Û A®B

答案:

ØAÙ (AÚB) ÞB

下列结论中不正确的是

A:任意两个不同的布尔大项的析取式必为永真式
B:

三个命题变元的布尔大项ØP Ú QÚ ØR 的编码是M₁₀₁

C:任意两个不同的布尔小项的析取式必为永真式
D:

三个命题变元的布尔小项ØP∧Q∧ØR的编码是m₀₁₀

答案: 任意两个不同的布尔小项的析取式必为永真式

A:

B:

C:

D:

答案:

设A，B都是命题公式，则A→B为可满足式是AÞB的

A:

必要而非充分条件

B:

既非充分又非必要条件

C:

充分而非必要条件

D:

充分必要条件

答案:

必要而非充分条件

A:

B:

C:

D:

答案:

一个公式在等价意义下，下面哪个写法是唯一的

A:

主析取范式 

B:

合取范式

C:

析取范式

D:

等价公式

答案:

主析取范式 

下面4个推理定律中，不正确的是

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

下列语句中哪个是真命题

A:如果疑问句是命题，那么地球将停止转动.
B:我在说假话.
C:如果1+2=3，那么雪是黑的.
D:严禁吸烟！ 
答案: 如果疑问句是命题，那么地球将停止转动.

A:

5

B:

3

C:

8

D:

0

答案:

5

谓词公式$xA(x) ÙØ $xA(x)的类型是

A:

非永真式的可满足式

B:

无法确定

C:

矛盾式

D:

永真式

答案:

矛盾式

设个体域为整数集，下列公式中其真值为1的是

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

下面给出的一阶逻辑等价式中，错误的是     

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:与谓词变元和论述域都无关
B:与谓词变元和论述域都有关
C:与谓词变元有关，与论述域无关
D:与谓词变元无关，与论述域有关
答案: 与谓词变元和论述域都无关

A:

B:

C:

D:

答案:

A:

B:

C:

无法确定

D:

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

对称的

B:

反自反的

C:

传递的

D:

自反的

答案:

反自反的

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

下列关系中等价关系的是

A:

实数之间的小于等于关系

B:

命题公式之间的蕴含关系

C:

n阶方阵之间的相似关系

D:

集合之间的包含关系

答案:

n阶方阵之间的相似关系

A:

B:

C:

D:

答案:

下列命题中结论正确的是  

A:

B:

C:

D:

每一个等价关系必为偏序关系

答案:

A:2 
B:2 
C:

无无2

D:1
答案:

无无2

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

B:

C:

D:

答案:

A:

自反闭包

B:

对称闭包

C:无法确定
D:

传递闭包              

答案:

对称闭包

下列关系矩阵所对应的关系具有反对称性的是

A:

B:

C:

D:

答案: