1.

A. 对

B. 错

正确答案:A

2.

A. 对

B. 错

正确答案:B

3.

A. 错

B. 对

正确答案:B

4.p↔q⇔¬p↔¬q

A. 对

B. 错

正确答案:A

5.

A. 对

B. 错

正确答案:A

6.n个命题变元组成的命题公式共有( )种不同的等价公式。

A. 2n

B.

正确答案:B

7.n个命题变元组成的命题公式共有( )种不同的真值指派。

A.

B. 2n

正确答案:B

8.A→B ⇔¬B→¬A

A. 正确

B. 错误

正确答案:A

9.只有一种指派使命题公式P→(Q∨R)的真值为F。

A. 对

B. 错

正确答案:A

10.

A. 对

B. 错

正确答案:A

11.¬E⇒¬E∧P

A. 对

B. 错

正确答案:B

12.设各命题变元为:
P:今天打雷
Q:今天下雨
则今天打雷且下雨用   表示 。

A. P∧Q

B. P∨Q

C. P→Q

D. P↔Q

正确答案:A

13.如果P,Q是命题,则下面的    选项符合“只有P,才Q”这个复合命题。

A. P→Q

B. P∧Q

C. P∨Q

D. Q→P

正确答案:D

14.P,Q是命题,则P→Q与下面的    公式等价。

A. ¬P∧Q

B. ¬P∨Q

C. ¬Q∨P

D. ¬Q∧P

正确答案:B

15.命题公式是没有真假值的。

A. 对

B. 错

正确答案:A

16.设P,Q是两个命题,当且仅当P,Q的真值均为T时,P↔Q的值为T。

A. 对

B. 错

正确答案:B

17.

A. A

B. B

C. C

D. D

正确答案:A

18.

A. A

B. B

C. C

D. D

正确答案:A

19.

A. A

B. B

C. C

D. D

正确答案:B

20.若A∧B⇔A∧C且A∨B⇔A∨C,则B⇔C

A. 对

B. 错

正确答案:A

21.

A. A

B. B

C. C

D. D

正确答案:D

22.下面哪个公式不是合式公式:

A. (A∧B)∨C

B. A∧(B∨C)

C. A∧B∨C

正确答案:C

23.下面哪些是重言式

A. A∧B∧(¬A∨¬B)

B. (P∧(P→Q))→Q

C. (A∧B)∨(¬A∨¬B)

正确答案:BC

24.P⊕Q⇔¬(P↔Q),其中⊕是可兼或。

A. 对

B. 错

正确答案:A

25.P⊕P⇔T,其中⊕是可兼或。

A. 对

B. 错

正确答案:B

26.

A. 对

B. 错

正确答案:B

27.

A. 对

B. 错

正确答案:A

28.Q是P的有效结论是指()

A. Q⇒P

B. P⇒Q

正确答案:B

29.相同命题变元的任意两个不同极小项的合取为

A. T

B. F

正确答案:B

30.一般说来,n个命题变元共有( )个互不等价的极小项(或极大项)。

A. 2n

B. 

正确答案:A

31.析取式是析取范式,也是全取范式。

A. T

B. F

正确答案:A

32.如果一个含二个命题变元P,Q的公式的主析取范式为:∑1,2,3,则它的主合取范式为:

A. P∨Q

B. ¬P∧¬Q

C. P∧Q

D. ¬P∨¬Q

正确答案:A

33.

中由(  )得出结论。

A. T规则中的E

B. T规则中的I

正确答案:B

34.用推理规则证明:P∨Q, P→R, Q→S⇒ R∨S。
(1)P→R                       P
(2)¬R→¬P                   T(1)E
(3)P∨Q                        P
(4)¬P→Q                     T(3)E
(5)Q→S                       P
(6)¬P→S                     T(4)(5)I
(7)¬R→S                     T(?)(6)I
(8)R∨S                        T(7)E
问:(7)行中右边T(?)(6)I 中的?的数字是:

A. 1

B. 2

C. 3

D. 4

正确答案:B

35.P,T规则证明

如果用cp规则,则要把()作为一个附加前提。

A. ¬(p→S)

B. S

C. Q

D. P

正确答案:D

36.┐(P∧R)∧(P∨Q)的主合取范式为:

A. (┐P∧┐R)∧(P∨Q∨R)∧(P∨Q∨┐R)

B. (┐P∨┐R)∧(P∨Q∨R)∧(P∨Q∨┐R)

C. (┐P∨Q∨┐R)∧(┐P∨┐Q∨┐R)∧(P∨Q∨R)∧(P∨Q∨┐R)

D. (┐P∨Q∨┐R)∧(┐P∨┐Q∨┐R)∧(┐P∨Q∨R)∧(P∨Q∨┐R)

正确答案:C

37.若(A∨B)⇒C,则A⇒C且B⇒C。

A. 对

B. 错

正确答案:A

38.A→B,¬B∨C,¬C,¬D∨A⇒¬D。

A. 对

B. 错

正确答案:A

39.R∧(P∨Q)的主合取范式为

A. ∏0,1,3,5,7

B. ∏3,5,7

C. ∏2,4,6

D. ∏0,1,2,4,6

正确答案:D

40.R∧(P∨Q)的主析取范式为

A. ∑0,1,2,4,6

B. ∑3,5,7

C. ∑1,3,5,7,0

D. ∑2,4,6

正确答案:B

【离散数学】测试一 命题逻辑相关推荐

  1. 离散数学 第二章命题逻辑

    离散数学 第二章命题逻辑 2.1 什么是命题 具有确切真值的陈述句称为命题(proposition). 该命题可以取一个"值" ,称为真值.真值只有"真"和&q ...

  2. 离散数学知识点总结-命题逻辑

    目录 命题 逻辑连接词 命题符号化 命题公式及其赋值 命题公式的等价 重言式与矛盾式 重言蕴含式 范式 主析取范式 主合取范式 命题逻辑推理 直接推理 间接推理 命题 命题是表达判断的陈述句. 判断一 ...

  3. 离散数学复习:命题逻辑的推理理论

    命题逻辑的推理理论 1. 基本推理形式和蕴涵关系 1.1 基本推理形式 所谓推理,指的是从一组前提合乎逻辑地推理出结论的过程.在这里我们用命题公式来表达前提和结论. 定义: 设G1,G2,...,Gn ...

  4. 离散数学复习:命题逻辑

    命题逻辑 1.命题的概念 1.1 命题 数理逻辑研究的中心问题是推理,而推理的前提和结论都是命题,因而命题是基本的推理单元. 定义: 具有确切真值的陈述句称为命题(proposition).该命题只可 ...

  5. 用java输出真值表离散数学_离散数学 第一章 命题逻辑 1-4真值表与等价公式

    定义1-4.1在命题公式中,对于分量指派真值的各种可能组合,就确定了这个命题公式的各种真值情况,把它汇列成表,就是命题公式的真值表. 现举例说明如下: 例题1 构造┓p∨q的真值表. 解 表1-4.1 ...

  6. 离散数学 课时一 命题逻辑的基本概念

    1 命题 1.命题:可以判断其真值的陈述句 2.真值:真或者假(1或者0) 3.真命题:真值为真的命题 4.假命题:真值为假的命题 5.原子命题:不可以再被分解成更简单的命题 6.复合命题:由原子命题 ...

  7. 离散数学复习笔记——命题逻辑——永真蕴含式

  8. 离散数学中的联结符号

    文章链接:离散数学 第一章 命题逻辑 1-2 联结词 - emanlee - 博客园 http://www.cnblogs.com/emanlee/archive/2010/08/13/1799088 ...

  9. 2022考研数学-离散数学教程

    文章链接 https://gitee.com/fakerlove/discrete-mathematics 文章目录 离散数学教程 1. 命题逻辑 1.1 命题符号化 1.1.1 概念 1.1.2 形 ...

最新文章

  1. SpringMVC 运行过程
  2. RHEL4安装配置YUM源
  3. python的def函数_Python 学习之 def 函数
  4. linux安装mysql详细过程【easy】
  5. spring-cloud:利用eureka实现服务提供与调用示例
  6. ssl1643-最小乘车费用【dp练习】
  7. uint16 累加_如何把一个uint16整数分解成两个字节并传输?
  8. go实现文件服务器,golang文件服务器的两种方式(可以访问任何目录)
  9. ole object interface 能获取图片吗_常见的闲鱼辅助软件有哪些,你知道吗
  10. 《教孩子学编程(Python语言版)》——1.3 运行Python程序
  11. python反编译exe
  12. 卸载Oracle 12c
  13. Quartz.Net定时任务时间表达式设置
  14. (模拟)西天取经放弃了(python类实践)
  15. 天牛须算法(BAS)python实现
  16. 一文详解SLAM回环及优化
  17. WCF,WPF,WWF 的新读音?WinCom, WinPrez, WinFlow
  18. 魔图互联:知识图谱推荐系统-给人们带来更个性化的推荐
  19. Hi,你想要的在线创建架构图都在这儿!(四)
  20. 计算机组成原理设计,计算机组成原理课程设计

热门文章

  1. Clair介绍和源码分析
  2. LTE同步技术(一)
  3. 基于深度学习的近红外掌纹识别原型系统设计与实现
  4. JavaScript面试大全
  5. 如何使用JTable
  6. PlantUML的学习笔记
  7. 言语理解与表达之片段阅读
  8. Unicode字体表
  9. linux 看eps文件格式,EPS 文件扩展名: 它是什么以及如何打开它?
  10. 如何使用JS的排序函数sort()