【离散数学】测试一 命题逻辑
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 形 ...
最新文章
- linux shell for 循环变量,shell for循环总结
- ionic + cordova+angularJs 搭建的H5 App完整版总结
- python限制输入值范围_求python 中if 里如何设定一个值的范围
- WordPress后台保护插件 Sabre 和 电子商务插件E - commerce GetShopped
- yum安装ruby_rediscluster安装
- 前端实现街道地图_来自法国的注重保护个人隐私的开源地图
- Numpy入门(详看注释)
- logistic回归详解(三):梯度下降训练方法
- Win10问题篇:使用微PE装机。(完整版教程)
- axure7.0 汉化包下载
- php李炎恢第二季视频_李炎恢PHP视频教程第二季资源推荐
- jsonp跨域原理解析
- 创建收发文件的服务器端 客户端,TCP/IP网络编程 Chap.5 基于TCP的服务器端/客户端(2)...
- java人品计算器,App Store 上的“围棋死活大全”
- vw8000_汽车电子国际测试标准iso16750和VW8000
- eclipse配置opencv和javacv环境
- 【报告分享】毕马威阿里研究院:迈向万亿市场的直播电商(附下载)
- mmap函数的用法详解及实例分析
- 个人开公司的流程,以后用得着(经典)
- 一件挺有意思的事,关于数据校验