【离散数学】测试一 命题逻辑
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
【离散数学】测试一 命题逻辑相关推荐
- 离散数学 第二章命题逻辑
离散数学 第二章命题逻辑 2.1 什么是命题 具有确切真值的陈述句称为命题(proposition). 该命题可以取一个"值" ,称为真值.真值只有"真"和&q ...
- 离散数学知识点总结-命题逻辑
目录 命题 逻辑连接词 命题符号化 命题公式及其赋值 命题公式的等价 重言式与矛盾式 重言蕴含式 范式 主析取范式 主合取范式 命题逻辑推理 直接推理 间接推理 命题 命题是表达判断的陈述句. 判断一 ...
- 离散数学复习：命题逻辑的推理理论
命题逻辑的推理理论 1. 基本推理形式和蕴涵关系 1.1 基本推理形式 所谓推理,指的是从一组前提合乎逻辑地推理出结论的过程.在这里我们用命题公式来表达前提和结论. 定义: 设G1,G2,...,Gn ...
- 离散数学复习：命题逻辑
命题逻辑 1.命题的概念 1.1 命题 数理逻辑研究的中心问题是推理,而推理的前提和结论都是命题,因而命题是基本的推理单元. 定义: 具有确切真值的陈述句称为命题(proposition).该命题只可 ...
- 用java输出真值表离散数学_离散数学 第一章 命题逻辑 1-4真值表与等价公式
定义1-4.1在命题公式中,对于分量指派真值的各种可能组合,就确定了这个命题公式的各种真值情况,把它汇列成表,就是命题公式的真值表. 现举例说明如下: 例题1 构造┓p∨q的真值表. 解 表1-4.1 ...
- 离散数学 课时一 命题逻辑的基本概念
1 命题 1.命题:可以判断其真值的陈述句 2.真值:真或者假(1或者0) 3.真命题:真值为真的命题 4.假命题:真值为假的命题 5.原子命题:不可以再被分解成更简单的命题 6.复合命题:由原子命题 ...
- 离散数学复习笔记——命题逻辑——永真蕴含式
- 离散数学中的联结符号
文章链接:离散数学 第一章 命题逻辑 1-2 联结词 - emanlee - 博客园 http://www.cnblogs.com/emanlee/archive/2010/08/13/1799088 ...
- 2022考研数学-离散数学教程
文章链接 https://gitee.com/fakerlove/discrete-mathematics 文章目录 离散数学教程 1. 命题逻辑 1.1 命题符号化 1.1.1 概念 1.1.2 形 ...
最新文章
- SpringMVC 运行过程
- RHEL4安装配置YUM源
- python的def函数_Python 学习之 def 函数
- linux安装mysql详细过程【easy】
- spring-cloud:利用eureka实现服务提供与调用示例
- ssl1643-最小乘车费用【dp练习】
- uint16 累加_如何把一个uint16整数分解成两个字节并传输？
- go实现文件服务器,golang文件服务器的两种方式(可以访问任何目录)
- ole object interface 能获取图片吗_常见的闲鱼辅助软件有哪些，你知道吗
- 《教孩子学编程（Python语言版）》——1.3 运行Python程序
- python反编译exe
- 卸载Oracle 12c
- Quartz.Net定时任务时间表达式设置
- （模拟）西天取经放弃了（python类实践）
- 天牛须算法(BAS)python实现
- 一文详解SLAM回环及优化
- WCF,WPF,WWF 的新读音?WinCom, WinPrez, WinFlow
- 魔图互联：知识图谱推荐系统-给人们带来更个性化的推荐
- Hi，你想要的在线创建架构图都在这儿！（四）
- 计算机组成原理设计,计算机组成原理课程设计