第一部分 数理逻辑

第一单元测试1

1、单选题:

​关于,不正确的是( )

‎选项:
A: p是q的充分条件
B: q是p的必要条件
C: q仅当p
D: 只有q才有p
答案: 【 q仅当p

2、单选题:
‍p,r真值为1,q,s真值为0,下列公式中真值为1的是( )‌
选项:
A:
B:
C:
D:
答案: 【 

3、单选题:
‌下列式子中,不正确的是( )‍‌‍
选项:
A:
B:
C:
D:
答案: 【 

4、单选题:

​给定F的真值表,则F等值于 ( ) 

​选项:
A:

B:
C:
D:
答案: 【 

5、单选题:
‎设个体域为整数集,则下列谓词公式中真值为假的是 ( )‌
选项:
A:
B:
C:
D:
答案: 【 

6、多选题:
‌设p,q均为命题,在 (  ) 下,p,q的排斥或也可以写成p,q的相容或. ‎
选项:
A: p,q不同时为真
B: 等值于1
C: p,q同时为真
D: p,q同时为假
答案: 【 p,q不同时为真;
等值于1

7、多选题:
‍”说所有火车比所有汽车快是不对的“符号化为 ( )‎
选项:
A: 其中:F(x):x是火车,G(y):y是汽车,H(x,y):x比y快.
B: 其中:F(x):x是火车,G(y):y是汽车,H(x,y):x比y快.
C: 其中:F(x):x是火车,G(y):y是汽车,H(x,y):x比y快.
D: 其中:F(x):x是火车,G(y):y是汽车,H(x,y):x比y快.
答案: 【 其中:F(x):x是火车,G(y):y是汽车,H(x,y):x比y快.;
其中:F(x):x是火车,G(y):y是汽车,H(x,y):x比y快.

8、多选题:

的主合取范式为 ( ).

‎选项:
A:

B:
C:
D:

答案: 【 
;

9、多选题:

‏谓词公式的前束范式为 ( ).

‎选项:
A:
B:
C:
D:
答案: 【 ;
;

10、多选题:
‎下列各式中是永真式的是 ( ).‏‎‏
选项:
A:
B:
C:
D:
答案: 【 ;

11、判断题:

‌设A,B,C为任意的命题公式,若.

‏选项:
A: 正确
B: 错误
答案: 【 错误

12、判断题:

是重言式.

​选项:
A: 正确
B: 错误
答案: 【 正确

13、判断题:
‏一个命题公式可以有多个与之等值的析取范式,但其主析取范式唯一.​
选项:
A: 正确
B: 错误
答案: 【 正确

14、判断题:

的辖域是,是闭式.

‌选项:
A: 正确
B: 错误
答案: 【 错误

15、判断题:

连续的符号化为.

‌选项:
A: 正确
B: 错误
答案: 【 正确

第一单元测试2

1、单选题:
‎设p:我们正在听课,q:我们正在睡觉,则命题“我们不能睡着觉听课”符号化为‍‏
选项:
A:
B:
C:
D:
答案: 【 

2、单选题:
‎设个体域D是整数,则下列公式真值为1的是‏
选项:
A:
B:
C:
D:
答案: 【 

3、单选题:

给定命题公式:与之等值的是

​选项:
A:
B:
C:
D:
答案: 【 

4、单选题:

设个体域D={a,b},则公式消去所有的量词应为

​选项:
A:
B:
C:
D:

剩余75%内容付费后可查看

发表评论

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