第一部分数理逻辑

第一单元测试1

1、单选题:
设p:我平时认真学习,q:我通过离散数学考试,以下哪种说法能符号化为p→q:(    )‌‌
选项:
A: 除非我平时认真学习,否则我不能通过离散数学考试。
B: 若我平时认真学习,则我通过离散数学考试。
C: 因为我平时不认真学习,所以我没有通过离散数学考试。
D: 我通过离散数学考试仅当我平时认真学习。
答案: 【 若我平时认真学习,则我通过离散数学考试。

2、单选题:
‏令p:经一事,q:长一智,则命题“不经一事,不长一智”可符号化为(     )‍
选项:
A: p→q
B: ┐p→┐q
C: ┐q→┐p
D: p→┐q
答案: 【 ┐p→┐q

3、单选题:
‎令p:下雪,q:路滑,r:他迟到了,则命题“下雪路滑,他迟到了”可符号化为(   )‍
选项:
A: p∧q→r
B: p∨q→r
C: p∧q«r
D: p∧q∧r
答案: 【 p∧q→r

4、单选题:
‏​‏​‏​‏设 p:天冷, q:小王穿羽绒服,下列命题中和命题“只要天冷,小王就穿羽绒服。”一样符号化为 p®q 的是(  )​‏​
选项:
A: 如果天不冷,则小王不穿羽绒服。
B: 小王穿羽绒服仅当天冷的时候。
C: 除非小王穿羽绒服,否则天不冷。
D: 只有天冷,小王才穿羽绒服。
答案: 【 除非小王穿羽绒服,否则天不冷。

5、单选题:
设p:他在看电影,q:他在学习,命题“他在学习或在看电影”可符号化为(     )​‌​
选项:
A: p∨q
B: p∧q
C: p→q
D: p«q
答案: 【 p∨q

6、单选题:
‏重言式的否定是(  )‌
选项:
A: 矛盾式
B: 可满足式
C: 重言式
D: 以上都不正确
答案: 【 矛盾式

7、单选题:
​下列语句中是命题的是(    )‌
选项:
A: x+3>5
B: 4是素数
C: 你去图书馆吗?
D: 这朵花真美!
答案: 【 4是素数

8、单选题:
‎下列语句中不是命题的是(    )‎
选项:
A: 王红与李明是同学
B: 2025年的元旦下大雪
C: 3是素数或4是素数
D: 我正在说假话
答案: 【 我正在说假话

9、判断题:
‍p→q与┐p∨q有相同的真值表。‍
选项:
A: 正确
B: 错误
答案: 【 正确

10、判断题:
​p→(p∨q∨r)是重言式。​
选项:
A: 正确
B: 错误
答案: 【 正确

11、判断题:
‌┐(p→q)∧q∧r是矛盾式。‎
选项:
A: 正确
B: 错误
答案: 【 正确

12、判断题:
‍(┐p∧q)→┐r是矛盾式。‎
选项:
A: 正确
B: 错误
答案: 【 错误

13、判断题:
‎(┐p∧p)↔(┐q∧q)是可满足式。‏
选项:
A: 正确
B: 错误
答案: 【 错误

14、填空题:
‍设p:2+3=5,q:大熊猫产在中国,r:太阳从西方升起,计算复合命题(p→q)→r的真值‌
答案: 【 0

15、填空题:
​设p:2+3=5,q:大熊猫产在中国,r:太阳从西方升起,计算复合命题(p∧q)∧r的真值‏
答案: 【 0

16、填空题:
‍设p:2+3≠5,q:大熊猫产在中国,r:太阳从西方升起,计算复合命题(p∧q)∨r的真值‌
答案: 【 0

17、填空题:
公式p→q的成假赋值是‏‌‏
答案: 【 10

18、填空题:
‍p∧q→r的成假赋值是‌
答案: 【 110

19、填空题:
‍┐p∧q∧r的成真赋值是‍
答案: 【 011

20、填空题:
​┐p∨┐q∨r的成假赋值是‍
答案: 【 110

第一单元测试2

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: 错误
答案: 【 正确

第一单元测试3

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

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

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

发表评论

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