离散数学三四章检测题答案

合集下载

(完整版)《离散数学》同步练习答案

(完整版)《离散数学》同步练习答案

华南理工大学网络教育学院《离散数学》练习题参考答案第一章命题逻辑一填空题(1)设:p:派小王去开会。

q:派小李去开会.则命题:“派小王或小李中的一人去开会" 可符号化为:(p q) (p q)。

(2)设A,B都是命题公式,A B,则A B的真值是T。

(3)设:p:刘平聪明。

q:刘平用功。

在命题逻辑中,命题:“刘平不但不聪明,而且不用功”可符号化为:p q .(4)设A , B 代表任意的命题公式,则蕴涵等值式为A B A B。

(5)设,p:径一事;q:长一智。

在命题逻辑中,命题:“不径一事,不长一智。

" 可符号化为: p q 。

(6)设A , B 代表任意的命题公式,则德摩根律为(A B)Û A B)。

(7)设,p:选小王当班长;q:选小李当班长.则命题:“选小王或小李中的一人当班长。

”可符号化为: (p q)(p q) .(8)设,P:他聪明;Q:他用功。

在命题逻辑中,命题:“他既聪明又用功。

" 可符号化为:P Q .(9)对于命题公式A,B,当且仅当 A B 是重言式时,称“A蕴含B”,并记为A B。

(10)设:P:我们划船.Q:我们跑步.在命题逻辑中,命题:“我们不能既划船又跑步.”可符号化为:(P Q) 。

(11)设P,Q是命题公式,德·摩根律为:(P Q)P Q) 。

(12)设P:你努力.Q:你失败。

在命题逻辑中,命题:“除非你努力,否则你将失败。

”可符号化为:P Q .(13)设p:小王是100米赛跑冠军。

q:小王是400米赛跑冠军。

在命题逻辑中,命题:“小王是100米或400米赛跑冠军.”可符号化为:p q。

(14)设A,C为两个命题公式,当且仅当A C为一重言式时,称C可由A逻辑地推出。

二.判断题1.设A,B是命题公式,则蕴涵等值式为A B A B。

()2.命题公式p q r是析取范式。

( √ )3.陈述句“x + y > 5”是命题。

离散数学智慧树知到答案章节测试2023年天津大学

离散数学智慧树知到答案章节测试2023年天津大学

第一章测试1.下列语句()是命题。

A:我只知道一件事情,就是我什么也不知道。

B:你正在说谎。

C:岂有此理?D:请打开门!答案:B2.设命题公式A为¬ (p∧¬q)∨(p→r)。

则在p、q、r的下列真值指派()下,A的真值为假。

A:0、1、1B:1、0、0C:1、1、0D:0、0、1答案:B3.下列字符串()是命题公式。

A:p→rB:(p→r)C:¬ (p∧¬q)∨(p→r)D:(¬ (p∧¬q))答案:B4.下列公式()是公式¬(p∧¬q)∨(p→r)的合取范式。

A:(¬p∨q)∧rB:(¬p∨q)∧(¬p∨r)C:¬p∨q∨¬p∨rD:q∧(¬p∨r)答案:C5.公式¬(p∧¬q)∧(p→r)不能逻辑蕴含()。

A:¬p∧qB:¬pC:¬p∨rD:(¬p∨q)∧r答案:D6.公式¬ (p∧¬q)∧(p→r)等价于()。

A:¬p∨(q∧r)B:¬p∨(¬q∧r)C:(¬p∧q)→(p→r)D:(p∧¬q)→(p→r)答案:A第二章测试1.设P(u):u是运动员,Q(u):u是大学生。

则命题“存在运动员是大学生”被翻译为()。

A:∃x(P(x)∧Q(x))B:∃x(P(x)→Q(x))C:∃x(P(x)∨Q(x))D:∃xQ(x)答案:A2.设P和Q是谓词,则下列字符串()是一元命题函数。

A:∃x(P(u, x)∨Q(u))B:P(u, v)∧Q(u)C:∃xQ(x)D:P(u, u)→Q(v)答案:A3.下列字符串()是谓词公式。

A:¬P(u, u)→Q(v)B:∃xP(x, x)C:P(u, v)∧Q(u)D:∃x∀xP(x, x)答案:B4.对于公式¬∃x(¬P(u, x)→∀yQ(y)),∃x的作用域是()。

离散数学习题

离散数学习题

第一章习题1.1判断下列语句是否为命题,若是命题请指出是简单命题还是复合命题。

(1)2是无理数。

(2)5能被2整除。

(3)现在开会吗?(4)x+5>0(5)这朵花真是好看!(6)2是素数当且仅当三角形有三条边。

(7)雪是黑色的当且仅当太阳是从东方升起。

(8)2000年10月1日天气晴好。

(9)太阳系以外的星球上有生物。

(10)小李在宿舍里。

(11)全体起立。

(12)4是2的倍数或是3的倍数。

(13)4是偶数且是奇数。

(14)李明和王华是同学。

(15)蓝色和黄色可以调配成绿色。

1..2 将上题中的命题符号化,并讨论他们的真值。

1.3判断下列各命题的真值。

(1)若2+2=4,则3+3=6;(2)若2+2=4,则3+3≠6;(3)若2+2≠=4,则3+3=6;(4)若2+2≠=4,则3+3≠=6;(5)2+2=4,当且仅当3+3=6;(6)2+2=4,当且仅当3+3≠6;(7)2+2≠4,当且仅当3+3=6;(8)2+2≠4,当且仅当3+3≠6;1.4将下列命题符号化,并讨论其真值。

(1)如果今天是1号,则明天是2号;(2)如果今天是1号,则明天是3号;1.5将下列命题符号化。

(1)2是偶数不是素数;(2)小王不但聪明而且用功;(3)虽然天气冷。

老王还是来了;(4)他一边吃饭,一边看电视;(5)如果天下大雨,他就乘公交汽车来;(6)只有天下大雨,他才乘公交汽车来;(7)除非天下大雨,否则他不乘公交汽车来;(8)不经一事,不长一智;1.5设p,q的真值为0 ,r,s的真值为1,求下列命题公式的真值。

(1)p∨(q∧r);(2)(p↔r)∧(⌝p∨s);(3)(p∧(q∨r)→((p∨q)∧(r∧s);(4)⌝(p∨(q→r∧⌝p)))→(r∨⌝s);设p:2+3=5。

q:大熊猫产在中国。

r:复旦大学在广州。

求下列复合命题的真值:(1)(p q)→r(2)(r→(p∧q))┐p (3)┐r→(┐p∨┐q∨r)(4)(p∧q∧┐r)((┐p∨┐q)→r).用真值表判断下列公式的类型:方法不限。

(完整版)离散数学课后习题答案(第三章)

(完整版)离散数学课后习题答案(第三章)

a t a t i m e an dA l lt h i ng si nt h ei r be i ng ar eg oo df o r so me t hi n 3-5.1 列出所有从X={a,b,c}到Y={s}的关系。

解:Z 1={<a,s>}Z 2={<b,s>} Z 3={<c,s>}Z 4={<a,s>,<b,s>} Z 5={<a,s>,<c,s>} Z 6={<b,s>,<c,s>}Z 7={<a,s>,<b,s>,<c,s>}3-5.2 在一个有n 个元素的集合上,可以有多少种不同的关系。

解 因为在X 中的任何二元关系都是X ×X 的子集,而X ×X=X 2中共有n 2个元素,取0个到n 2个元素,共可组成22n 个子集,即22|)(|n X X =⨯℘。

3-5.3 设A ={6:00,6:30,7:30,…, 9:30,10:30}表示在晚上每隔半小时的九个时刻的集合,设B={3,12,15,17}表示本地四个电视频道的集合,设R 1和R 2是从A 到B 的两个二元关系,对于二无关系R 1,R 2,R 1∪R 2,R 1∩R 2,R 1⊕R 2和R 1-R 2可分别得出怎样的解释。

解:A ×B 表示在晚上九个时刻和四个电视频道所组成的电视节目表。

R 1和R 2分别是A ×B 的两个子集,例如R 1表示音乐节目播出的时间表,R 2是戏曲节日的播出时间表,则R 1∪R 2表示音乐或戏曲节目的播出时间表,R 1∩R 2表示音乐和戏曲一起播出的时间表,R 1⊕R 2表示音乐节目表以及戏曲节目表,但不是音乐和戏曲一起的节日表,R 1-R 2表示不是戏曲时间的音乐节目时间麦。

3-5.4 设L 表示关系“小于或等于”,D 表示‘整除”关系,L 和D 刀均定义于解:L={<1,2>,<1,3>,<1,6>,<2,3>,<2,6>, <3,6>,<1,1>,<2,2>,<3,3>,<6,6>}D={<1,2>,<1,3>,<1,6>,<2,6>,<3,6>,<1,1>,<2,2>,<3,3>,<6,6>} L ∩D={<1,2>,<1,3>,<1,6>,<2,6>,<3,6>,<1,1>,<2,2>,<3,3>,<6,6>}3-5.5对下列每一式,给出A 上的二元关系,试给出关系图:a){<x,y>|0≤x ∧y ≤3},这里A={1,2,3,4};b){<x,y>|2≤x,y ≤7且x 除尽y ,这里A ={n|n ∈N ∧n ≤10}c) {<x,y>|0≤x-y<3},这里A={0,1,2,3,4};d){<x,y>|x,y 是互质的},这里A={2,3,4,5,6}解:a) R={<0,0>,<0,1>,<0,2>,<0,3>, <1,0>,<1,1>,<1,2>,<1,3>, <2,0>,<2,1>,<2,2>,<2,3>, <3,0>,<3,1>,<3,2>,<3,3>,} 其关系图b) R={<2,0>,<2,2>,<2,4>,<2,6>,<3,0>,<3,3>,<3,6>, <4,0>,<4,4>, <5,0>,<5,5>,i m e an dA l lt h in gs in th ei r be i ng ar eg oo df o rsa)若R1和R2是自反的,则R1○R2也是自反的;b)若R1和R2是反自反的,则R1○R2也是反自反的;c)若R1和R2是对称的,则R1○R2也是对称的;d)若R1和R2是传递的,则R1○R2也是传递的。

离散数学(山东联盟-青岛理工大学)知到章节答案智慧树2023年

离散数学(山东联盟-青岛理工大学)知到章节答案智慧树2023年

离散数学(山东联盟-青岛理工大学)知到章节测试答案智慧树2023年最新第一章测试1.令p:我们划船。

q:我们跑步。

命题“我们不能既划船又跑步”符号化为()。

参考答案:2.下面哪个语句是真命题?参考答案:如果1+2=3,那么雪是白的。

3.令p:我将去镇上。

q:我有时间。

命题“我将去镇上,仅当我有时间”符号化为()。

参考答案:;4.n个命题变元可以产生()个具有不同真值的命题公式。

参考答案:5.命题公式是()。

参考答案:重言式6.下面命题公式中,()与等值。

参考答案:7.下面联结词集中,不是联结词完备集的是()。

参考答案:8.若公式的主析取范式是,则其主合取范式是()。

参考答案:9.设A、C为两个命题公式,当且仅当()为重言式时,称C可由A逻辑地推出。

参考答案:10.下列推理定理中,()是不正确的。

参考答案:第二章测试1.设C(x):x是国家足球队选手。

G(x):x是健壮的。

命题“没有一个国家足球队选手不是健壮的”可符号化为()。

参考答案:2.设L(x):x是人。

J(x):x是花。

A(x,y):x喜欢y。

命题“有的人喜欢所有的花”符号化为()。

参考答案:3.谓词公式中,量词的辖域是()。

参考答案:4.设论域为整数集,下列公式中值为真的是()参考答案:5.设个体域A={a, b},公式在A上消去量词后应为()参考答案:6.下列谓词公式中,( )是等值的。

参考答案:7.下列谓词公式中,是逻辑有效式的是()。

参考答案:8.下列各式中哪个是正确的?参考答案:9.下列推理步骤错在( )。

① P②①US③ P④③ES⑤②④假言推理⑥⑤EG参考答案:④10.下列推导错在( )。

① P②①US③ ②ES④③UG参考答案:③第三章测试1.设A={a, b},则P(A)×A = ( )。

参考答案:2.设R和S是P上的关系,P是所有人的集合,,,则表示关系 ( )。

参考答案:3.集合A={1,2,…,10}上的关系R={<x,y>|x+y=10,x,y∈A},则R 的性质为( )。

智慧树知道网课《离散数学(山东联盟)》课后章节测试满分答案

智慧树知道网课《离散数学(山东联盟)》课后章节测试满分答案

第一章测试1【单选题】(6分)A.B.C.D.2【单选题】(6分)设P:我将去市里,Q:我有时间.命题“我将去市里,仅当我有时间”符号化为A.Q→PB.⌝P∨QC.P↔QD.P→Q3【单选题】(7分)A.B.C.D.4【单选题】(7分)下列公式是重言式的为A.P∧Q↔⌝P∨QB.⌝(P∨Q)↔(⌝P∧⌝Q)C.(B→(A∨B))↔(⌝A∧(A∨B))D.A∧⌝B↔A∨B5【单选题】(6分)A.永真式B.永假式C.可满足式D.无法确定6【单选题】(7分)下列表述成立的为A.⌝P∧⌝Q⇔P∨QB.⌝A∧(A∨B)⇒BC.P→Q⇒QD.⌝B→A⇔A→B7【单选题】(7分)下列结论中不正确的是A.三个命题变元的布尔小项⌝P∧Q∧⌝R的编码是m010B.任意两个不同的布尔小项的析取式必为永真式C.任意两个不同的布尔大项的析取式必为永真式D.三个命题变元的布尔大项⌝P∨Q∨⌝R的编码是M1018【单选题】(7分)A.B.C.D.9【单选题】(6分)设A,B都是命题公式,则A→B为可满足式是A B的A.既非充分又非必要条件B.充分必要条件C.充分而非必要条件D.必要而非充分条件10【单选题】(7分)A.B.C.D.11【单选题】(7分)一个公式在等价意义下,下面哪个写法是唯一的A.析取范式B.合取范式C.主析取范式D.等价公式12【单选题】(7分)下面4个推理定律中,不正确的是A.B.C.D.13【单选题】(7分)A.B.C.D.14【单选题】(6分)下列语句中哪个是真命题A.我在说假话.B.如果1+2=3,那么雪是黑的.C.如果疑问句是命题,那么地球将停止转动.D.严禁吸烟!15【单选题】(7分)A.8B.3C.5D.第二章测试1【单选题】(7分)谓词公式∃xA(x)∧⌝∃xA(x)的类型是A.矛盾式B.非永真式的可满足式C.无法确定D.永真式2【单选题】(7分)设个体域为整数集,下列公式中其真值为1的是A.B.C.D.3【单选题】(6分)A.B.C.D.4【单选题】(7分)下面给出的一阶逻辑等价式中,的是A.B.C.D.5【单选题】(7分)A.。

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、选择题1. 关于图论的基本概念,以下哪个说法是正确的?A. 无向图中的边无方向性,有向图中的边有方向性。

B. 有向图中的边无方向性,无向图中的边有方向性。

C. 无向图和有向图都是由顶点和边组成的。

D. 无向图和有向图都只由边组成。

答案:A2. “若顶点集合为V,边集合为E,那么图G可以表示为G(V, E)”是关于图的哪个基本概念的描述?A. 图的顶点B. 图的边C. 图的邻接D. 图的表示方法答案:D3. 以下哪个命题是正确的?A. 若集合A和B互相包含,则A和B相等。

B. 若集合A和B相交为空集,则A和B相等。

C. 若集合A和B相等,则A和B互相包含。

D. 若集合A和B相等,则A和B相交为空集。

答案:C二、填空题1. 有一个集合A = {1, 2, 3, 4},则集合A的幂集的元素个数为__________。

答案:162. 设A = {a, b, c},B = {c, d, e},则集合A和B的笛卡尔积为__________。

答案:{(a, c), (a, d), (a, e), (b, c), (b, d), (b, e), (c, c), (c, d), (c, e)}3. 若p为真命题,q、r为假命题,则合取范式(p ∨ q ∨ r)的值为__________。

答案:真三、计算题1. 计算集合A = {1, 2, 3, 4}和集合B = {3, 4, 5, 6}的交集、并集和差集。

答案:交集:{3, 4}并集:{1, 2, 3, 4, 5, 6}差集:{1, 2}2. 计算下列命题的真值:(~p ∨ q) ∧ (p ∨ ~q),其中p为真命题,q为假命题。

答案:真四、证明题证明:对于任意集合A和B,如果A和B互相包含,则A和B相等。

证明过程:假设A和B互相包含,即A包含于B且B包含于A。

设x为集合A中的任意元素,则x也必然存在于集合B中,即x属于B。

同理,对于集合B中的任意元素y,y也属于集合A。

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、选择题(每题5分,共20分)1. 下列哪个选项不是离散数学的研究对象?A. 图论B. 组合数学C. 微积分D. 逻辑学答案:C2. 在逻辑学中,下列哪个命题是真命题?A. 如果今天是周一,那么明天是周二。

B. 如果今天是周一,那么明天是周三。

C. 如果今天是周一,那么明天是周四。

D. 如果今天是周一,那么明天是周五。

答案:A3. 在集合论中,下列哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 在图论中,下列哪个术语描述的是图中的顶点集合?A. 边B. 路径C. 子图D. 顶点答案:D二、填空题(每题5分,共20分)1. 如果一个集合A包含5个元素,那么它的子集个数是______。

答案:322. 在逻辑学中,如果命题P和命题Q都是真命题,那么复合命题“P且Q”的真值是______。

答案:真3. 在图论中,如果一个图的顶点数为n,那么它的最大边数是______。

答案:n(n-1)/24. 如果一个二叉树的深度为3,那么它最多包含______个节点。

答案:7三、简答题(每题10分,共30分)1. 请简述什么是图的连通性,并给出一个例子。

答案:图的连通性是指在图中任意两个顶点之间都存在一条路径。

例如,在一个完全图K3中,任意两个顶点之间都可以通过一条边直接连接,因此它是连通的。

2. 解释什么是逻辑蕴含,并给出一个例子。

答案:逻辑蕴含是指如果一个命题P为真,则另一个命题Q也必须为真。

例如,命题P:“如果今天是周一”,命题Q:“明天是周二”。

如果今天是周一,那么根据逻辑蕴含,明天必须是周二。

3. 请描述什么是二叉搜索树,并给出它的一个性质。

答案:二叉搜索树是一种特殊的二叉树,其中每个节点的左子树只包含小于当前节点的数,右子树只包含大于当前节点的数。

它的一个性质是中序遍历可以得到一个有序序列。

四、计算题(每题15分,共30分)1. 给定一个集合A={1, 2, 3, 4, 5},请计算它的幂集,并列出所有元素。

知道网课《离散数学(武汉科技大学)》课后章节测试答案

知道网课《离散数学(武汉科技大学)》课后章节测试答案
B.
{《史记》,《资治通鉴》}
C.
{《春秋》,《资治通鉴》}
D.
{《资治通鉴》}
4
【单选题】(10分)
设R,S是A上的等价关系,则下列为等价关系的是()
A.
B.
C.
D.
5
【单选题】(10分)
A上的等价关系 ,则 是()
A.
{{a,b},{c,d}}
B.
{{a},{b,c},{d}}
C.
{{a,b},{c},{d}}
A.
P∧¬Q
B.
¬P∧Q
C.
P∨¬Q
D.
¬P∨¬Q
E.
P∧Q
F.

G.
¬P∨Q
H.
¬P∧¬Q
I.
P∨Q
8
【多选题】(10分)
(P→Q)∧Q的主析取范式中所含的极大极小项有()。
A.
¬P∨Q
B.
P∧Q
C.
P∧¬Q
D.
¬P∧Q
E.
P∨Q
F.

G.
¬P∨¬Q
H.
¬P∧¬Q
I.
P∨¬Q
9
【多选题】(10分)
以下为全关系的是()
A.
集合{杨铁心,郭啸天,欧阳锋}上的朋友关系
B.
集合{梅超风,陈玄风}上的同门关系
C.
集合{郭靖,黄蓉,郭芙}上的血缘关系
D.
集合{郭靖,洪七公}上的师徒关系
6
【多选题】(10分)
设A={1,2,3},R为A上的关系,其关系图为 ,则R具有()的性质。
A.
反对称
B.
此项必选
C.
传递

《离散数学》部分习题答案

《离散数学》部分习题答案

第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。

(1)p∨(q∧r)⇔0∨(0∧1) ⇔0(2)(p↔r)∧(﹁q∨s) ⇔(0↔1)∧(1∨1) ⇔0∧1⇔0.(3)(⌝p∧⌝q∧r)↔(p∧q∧﹁r) ⇔(1∧1∧1)↔ (0∧0∧0)⇔0(4)(⌝r∧s)→(p∧⌝q) ⇔(0∧1)→(1∧0) ⇔0→0⇔117.判断下面一段论述是否为真:“π是无理数。

并且,如果3是无理数,则2也是无理数。

另外6能被2整除,6才能被4整除。

”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。

19.用真值表判断下列公式的类型:(4)(p→q) →(⌝q→⌝p)(5)(p∧r) ↔(⌝p∧⌝q)(6)((p→q) ∧(q→r)) →(p→r)答:(4)p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式(5)公式类型为可满足式(方法如上例)(6)公式类型为永真式(方法如上例)第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答:(2)(p→(p∨q))∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3)P q r p∨q p∧r (p∨q)→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式:(2)(p→q)∧(p→r)⇔(p→(q∧r))(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)证明(2)(p→q)∧(p→r)⇔ (⌝p∨q)∧(⌝p∨r)⇔⌝p∨(q∧r))⇔p→(q∧r)(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨(⌝p∧q)) ∧(⌝q∨(⌝p∧q) ⇔(p∨⌝p)∧(p∨q)∧(⌝q∨⌝p) ∧(⌝q∨q)⇔1∧(p∨q)∧⌝(p∧q)∧1⇔(p∨q)∧⌝(p∧q)5.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解:(1)主析取范式(⌝p→q)→(⌝q∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p) ⇔ (⌝p ∧⌝q)∨(⌝q ∧p)∨(⌝q ∧⌝p)∨(p ∧q)∨(p ∧⌝q)⇔(⌝p ∧⌝q)∨(p ∧⌝q)∨(p ∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式:(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p ∨(⌝q ∨p))∧(⌝q ∨(⌝q ∨p)) ⇔1∧(p ∨⌝q)⇔(p ∨⌝q) ⇔ M 1⇔∏(1) (2) 主合取范式为: ⌝(p →q)∧q ∧r ⇔⌝(⌝p ∨q)∧q ∧r⇔(p ∧⌝q)∧q ∧r ⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7) 矛盾式的主析取范式为 0 (3)主合取范式为:(p ∨(q ∧r))→(p ∨q ∨r)⇔⌝(p ∨(q ∧r))→(p ∨q ∨r)⇔(⌝p ∧(⌝q ∨⌝r))∨(p ∨q ∨r)⇔(⌝p ∨(p ∨q ∨r))∧((⌝q ∨⌝r))∨(p ∨q ∨r))⇔1∧1 ⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14. 在自然推理系统P中构造下面推理的证明:(2)前提:p→q,⌝(q∧r),r结论:⌝p(4)前提:q→p,q↔s,s↔t,t∧r结论:p∧q证明:(2)①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦¬p(3)⑤⑥拒取式证明(4):①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥(q→t)∧(t→q) ⑤置换⑦(q→t)⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理:(1)前提:p→(q→r),s→p,q结论:s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理:(1)前提:p→⌝q,⌝r∨q,r∧⌝s结论:⌝p证明:①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④¬r∨q 前提引入⑤¬r ④化简律⑥r∧¬s 前提引入⑦r ⑥化简律⑧r∧﹁r ⑤⑦合取由于最后一步r∧﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解:F(x): 2=(x+)(x).G(x): x+5=9.(1)在两个个体域中都解释为)xF∀,在(a)中为假命题,在(b)中为真命题。

离散数学第四章部分答案

离散数学第四章部分答案

离散数学第四章部分答案(1)设S={1,2},R 是S 上的⼆元关系,且xRy 。

如果R=Is ,则(A );如果R 是数的⼩于等于关系,则(B ),如果R=Es ,则(C )。

(2)设有序对与有序对<5,2x+y>相等,则 x=(D),y=(E). 供选择的答案A 、B 、C :① x,y 可任意选择1或2;② x=1,y=1;③ x=1,y=1 或 2;x=y=2;④ x=2,y=2;⑤ x=y=1或 x=y=2;⑥ x=1,y=2;⑦x=2,y=1。

D 、E :⑧ 3;⑨ 2;⑩-2。

答案: A: ⑤ B: ③ C: ① D: ⑧ E: ⑩设S=<1,2,3,4>,R 为S 上的关系,其关系矩阵是0001100000011001 则(1)R 的关系表达式是(A )。

(2)domR=(B),ranR=(C).(3)R R 中有(D )个有序对。

(4)R ¯1的关系图中有(E )个环。

供选择的答案A :①<1,1>,<1,2>,<1,4>,<4,1>,<4,3>;②<1,1>,<1,4>,<2,1>,<4,1>,<3,4>;B 、C :③1,2,3,4;④1,2,4;⑤1,4⑥1,3,4。

D 、E ⑦1;⑧3;⑨6;⑩7。

答案: A:② B:③ C:⑤ D:⑩ E:⑦设R 是由⽅程x+3y=12定义的正整数集Z+上的关系,即 {<x,y >︳x,y ∈Z+∧x+3y=12}, 则(1)R 中有A 个有序对。

(2)dom=B 。

(3)R ↑{2,3,4,6}=D 。

(4){3}在R 下的像是D 。

(5)R 。

R 的集合表达式是E 。

供选择的答案 A:①2;②3;③4.B 、C 、D 、E:④{<3,3>};⑤{<3,3>,<6,2>};⑥{0,3,6,9,12};⑦{3,6,9};⑧{3};⑨Ф;⑩3。

离散数学习题及解答

离散数学习题及解答

作业题与解答第一章19 (2)、(4) 、(6)21 (1)、(2) 、(3)19、(2)解答: (p→┐p)→┐q 真值表如下:所以公式(p→┐q)→┐q 为可满足式19、(4)解答: (p→q)→(┐q→┐p) 真值表如下:所以公式(p→q)→(┐q→┐p)为永真式19、(6)解答: ((p→q)∧(q→r))→(p→r) 真值表如下:所以公式((p→q)∧(q→r))→(p→r)为永真式21、(1)解答: ┐(┐p∧q)∨┐r 真值表如下:所以成假赋值为:01121、(2)解答: (┐q∨r)∧(p→q)真值表如下:所以成假赋值为:010,100,101,11021、(3)解答: (p→q)∧(┐(p∧r)∨p)真值表如下:所以成假赋值为:100,101第二章5、(1) (2) (3) 6、(1) (2) (3) 7、(1) (2) 8、(1) (2) (3)5、求下列公式的主析取范式,并求成真赋值(1) (┐p→q)→(┐q∨p)⇔┐(┐p→q) ∨(┐q∨p)⇔┐(┐(┐p) ∨q) ∨(┐q∨p)⇔(┐p ∧┐q) ∨(┐q∨p)⇔(┐p ∧┐q) ∨(p ∧┐q)∨(p ∧q)⇔m0 ∨m 2∨m3,所以00,10,11 为成真赋值。

(2) (┐p→q)∧(q∧r)⇔(┐┐p∨q)∧(q∧r)⇔(p∨q)∧(q∧r)⇔(p∧q∧r)∨(q∧r)⇔(p∧q∧r)∨(p∧q∧r)∨(┐p∧q∧r)⇔(p∧q∧r)∨(┐p∧q∧r)⇔m3∨m 7,所以011,111 为成真赋值。

(3) (p∨(q∧r))→(p∨q∨r)⇔┐(p∨(q∧r))∨(p∨q∨r)⇔(┐p∧(┐q∨┐r))∨(p∨q∨r)⇔(┐p∧┐q)∨(┐p∧┐r)∨(p∨q∨r)⇔(┐p∧┐q)∨((┐p∧┐r)∨(p∨q∨r))⇔(┐p∧┐q)∨((┐p∨p∨q∨r)∧(┐r∨p∨q∨r) )⇔(┐p∧┐q)∨(1∧1)⇔(┐p∧┐q)∨1⇔1⇔m0∨m1∨m 2∨m3∨m4∨m5∨m 6 ∨m 7,所以000, 001, 010, 011, 100, 101, 110, 111 为成真赋值。

离散数学第4章 集合参考答案.doc

离散数学第4章 集合参考答案.doc

&(1)有8个子集:0, (2) 有4个子集:0,(3) 有2个子集:0,(4) 有2个子1. (1) {0, 1, 2, 3, 4}(2) {11, 13, 17, 19} (3) {12,24,36,48,60} 2. (1) (x | x=2nAneI +}(2) {x|XG N AX ^IOO} (3) {x|x=10nAneI}3. A={a}, B={{a},b}, C={{{a}, b}, c}4. 证明 由于A 为集合{{b}}的元素,而集合{{b}}中只有一个元素{b},所以A={b};又因 为 be {b},所以 beAo5. A=G, B=E, C=F6. (1)正确(2)错误 (3)正确 (4)正确 (5)正确(6)错误(7)正确(8)错误7. 是可能的。

因为A Q B,要求A 中的元素都在B 中,但B 中除去A 的元素外,还可能有其 他元素。

故如B 中有元素为集合A 时,则本命题就可能成立的。

例如:A={a}, B={a, {a}},则就有A C B A AEB O⑴,⑵,⑶,{1,2}, {1,3}, {2,3}, {1,2,3}⑴,{{2,3}}, {1, {2,3}}{{1, (2, 3}}}{0}{0}, {{0}}, {0, {0}}{{1,2}} {{0,2}}, {{2}}, {{0,2}, {2}}9.⑴ 设人=轨,{b}},则P(A) = {0, {a}, {{b}}, {a, {b}}} (2) 设 B={1,0},则 P(B) = {0,⑴,{0}, (1, 0}}(3) 设 C={x, y, z},则 P(C) = {0, {x}, {y}, {z}, (x, y}, {x, z}, {y, z}, {x, y, z}} (4) 设 D={0,a, {a}},则P(C) = {0, {0}, {a}, {{a}}, {0, a}, {0, {a}}, {a, {a}}, (0, a, {a}}} (5) 因为P(0) = (0},贝IJP(P(0)) = {0, {0}} 10.VSeP(A) nP(B),有 SeP(A)且 SeP(B),所以 S Q A 且 ScB… 从而 ScAAB,故SeP(AAB) o 即 P(A) nP(B)cP(AnB) 0 VSeP(AAB),有 S G AAB,所以 S G A 且 S G B 0 从而SeP(A)且 SeP(B),故SeP(A) nP(B) o 即 P(AnB)cP(A) AP(B) o第4章集合参考答案故P(A) nP(B)=P(APB)11.当AcB或BcA时,等式成立。

离散数学一三四作业答案

离散数学一三四作业答案

离散数学形成性考核作业参考答案作业一第1章 集合及其运算1.用列举法表示 “大于2而小于等于9的整数” 集合.{3,4,5,6,7,8,9}。

2.用描述法表示 “小于5的非负整数集合” 集合.{x ∣x ∈Z ∧0≤x ≤5}。

3.写出集合B ={1, {2, 3 }}的全部子集.{ },{1},{{2, 3 }},{1, {2, 3 }}。

4.求集合A ={∅∅,{}}的幂集.Φ,{Φ},{{Φ}},{Φ,{Φ}}。

5.设集合A ={{a }, a },命题:{a }⊆P (A ) 是否正确,说明理由.错误。

P(A)中无元素a 。

6.设A B C ==={,,},{,,},{,,},123135246求(1)A B ⋂ (2)A B C ⋃⋃(3)C - A (4)A B ⊕(1){3};(2){1,2,3,4,5,6};(3){4,6};(4){2,5}。

7.化简集合表示式:((A ⋃B )⋂B ) - A ⋃B .((A ∪B )∩ B) - A ∪B =( B - A )∪B = (B ∩~ A )∪B = B 。

8.设A , B , C 是三个任意集合,试证: A - (B ⋃C ) = (A - B ) - C .A -(B ∪C) = A ∩~(B ∪C) = A ∩~B ∩~C = (A - B)–C 。

9.填写集合{4, 9 }⊂{9, 10, 4}之间的关系.10.设集合A = {2, a , {3}, 4},那么下列命题中错误的是( A ).A .{a }∈AB .{ a , 4, {3}}⊆AC .{a }⊆AD .∅⊆A11.设B = { {a }, 3, 4, 2},那么下列命题中错误的是( B ).A .{a }∈B B .{2, {a }, 3, 4}⊆BC .{a }⊆BD .{∅}⊆B第2章 关系与函数1.设集合A = {a , b },B = {1, 2, 3},C = {3, 4},求 A ⨯(B ⋂C ),(A ⨯B )⋂(A ⨯C ) ,并验证A ⨯(B ⋂C ) = (A ⨯B )⋂(A ⨯C ).A ×(B ∩C ) = {a, b}×{3} = {<a,3>,<b,3>};(A ×B )∩(A ×C )= {<a,1>,<a,2>,<a,3>,<b,1>,<b,2>,<b,3>}∩{<a,3>,<a,4>,<b,3><b,4>}={<a,3>,<b,3>}验证了A ×(B ∩C ) =(A ×B )∩(A ×C )。

离散数学三、四章检测题及答案

离散数学三、四章检测题及答案

天津理工大学中环信息学院《离散数学》第三、四章检测题请将填空题答案填入下面相应位置1. ;2. ;3. ;4. ;5. , ;6. , ;7. , , , , , ;8. ;9. , , , , 。

一、填空题(每空2分,共40分)1.若集合A 的基数为n ,则()A P A ⨯= 。

2n n ⨯2.设A ={{Φ,{Φ}}},则A ×(())P P Φ= 。

其中()P A 表示集合A 的幂集.{,{}},{,{}{,}},{}ΦΦΦΦΦΦ3.设{{,{,}}}A a b c =,则()P A = 。

其中()P A 表示集合A 的幂集.,{{,{}{},}}a b c Φ4.设A ={1,2,3},A 上的二元关系R ={1,1,1,2,1,3,3,3}〈〉〈〉〈〉〈〉,则关系R 具有 性。

反对称,传递。

5.设R 是集合A 上的二元关系,则()S R = ,()t R = 。

1R R- ;1i i R ∞=6.设R 是集合A 上的具有自反性、对称性、反对称性和传递性的二元关系,则R = ,R 的关系矩阵是 。

(A I ,100010001⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭或单位矩阵) 7. 在偏序集,A ≤中,其中A ={1,2,3,4,6,8,12,14},≤是A 中的整除关系,则集合B ={2,3,4,6}的极大元是 4,6 ,极小元是 2,3 ,最大元是 无 ,最小元是 无 ,上确界是 12 ,下确界是 1 。

8.设{,{}},{0,1A B φφ==, 所有从A 到B 的双射函数是1f ={,0,{},1}φφ, 2f ={,1,{},0}φφ。

9.设f 是A 到B 的函数,如果对2121,,x x A x x ≠∈∀,都有)()(21x f x f ≠,则称f 为 ,如果B f ran =)(,则称f 为 ;若f ,则称f 为双射。

当f 为双射时,1-f是B 到A 的函数,且1-ff = ,f f1-= 。

离散数学答案版(全)

离散数学答案版(全)

第一章命题逻辑内容:命题及命题联结词、命题公式的基本概念,真值表、基本等价式及永真蕴涵式,命题演算的推理理论中常用的直接证明、条件证明、反证法等证明方法。

教学目的:1. 熟练掌握命题、联结词、复合命题、命题公式及其解释的概念。

2. 熟练掌握常用的基本等价式及其应用。

3. 熟练掌握(主)析/合取范式的求法及其应用。

4. 熟练掌握常用的永真蕴涵式及其在逻辑推理中的应用。

5. 熟练掌握形式演绎的方法。

教学重点:1 .命题的概念及判断2 .联结词,命题的翻译3. 主析(合)取范式的求法4. 逻辑推理教学难点:1. 主析(合)取范式的求法2. 逻辑推理1.1命题及其表示法1.1.1 命题的概念数理逻辑将能够判断真假的陈述句称作命题。

1.1.2 命题的表示命题通常使用大写字母 A , B,…,Z或带下标的大写字母或数字表示,如A i, [10], R等,例如A1:我是一名大学生。

A1:我是一名大学生.[10]:我是一名大学生。

R:我是一名大学生。

1.2命题联结词1.2.1否定联结词「P1.2.2合取联结词A1.2.3 析取联结词V1.2.4 条件联结词—125126 与非联结词T性质:(1)P T P=「( PAP)二「P;(2)(P T Q)T( P T Q) -「( P T Q) - PAQ;(3)( P T P)T( Q TQ) -「P T「Q= P V Q。

127 或非联结词J性质:(1) P J P=「( P V Q) =「P;(2)( P J Q );( P J Q) =「( P J Q) = P V Q;(3)( P J P)J( Q J Q) =「P Q=P V-Q) = PAQ1.3 命题公式、翻译与解释1.3.1 命题公式定义命题公式,简称公式,定义为:(1)单个命题变元是公式;(2 )如果P是公式,则「P是公式;(3)如果P、Q是公式,则PAQ、PVQ、P > Q、P Q都是公式;(4)当且仅当能够有限次的应用(1)、(2)、(3)所得到的包括命题变元、联结词和括号的符号串是公式。

离散数学课后习题答案

离散数学课后习题答案

第一章命题逻辑基本概念课后练习题答案1.将下列命题符号化,并指出真值:(1)p∧q,其中,p:2是素数,q:5是素数,真值为1;(2)p∧q,其中,p:是无理数,q:自然对数的底e是无理数,真值为1;(3)p∧┐q,其中,p:2是最小的素数,q:2是最小的自然数,真值为1;(4)p∧q,其中,p:3是素数,q:3是偶数,真值为0;(5)┐p∧┐q,其中,p:4是素数,q:4是偶数,真值为0.2.将下列命题符号化,并指出真值:(1)p∨q,其中,p:2是偶数,q:3是偶数,真值为1;(2)p∨q,其中,p:2是偶数,q:4是偶数,真值为1;(3)p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0;(4)p∨q,其中,p:3是偶数,q:4是偶数,真值为1;(5)┐p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0;3.(1)(┐p∧q)∨(p∧┐q),其中,小丽从筐里拿一个苹果,q:小丽从筐里拿一个梨;(2)(p∧┐q)∨(┐p∧q),其中,p:刘晓月选学英语,q:刘晓月选学日语;.4.因为p与q不能同时为真.5.设p:今天是星期一,q:明天是星期二,r:明天是星期三:(1)p→q,真值为1(不会出现前件为真,后件为假的情况);(2)q→p,真值为1(也不会出现前件为真,后件为假的情况);(3)p q,真值为1;(4)p→r,若p为真,则p→r真值为0,否则,p→r真值为1.返回第二章命题逻辑等值演算本章自测答案5.(1):∨∨,成真赋值为00、10、11;(2):0,矛盾式,无成真赋值;(3):∨∨∨∨∨∨∨,重言式,000、001、010、011、100、101、110、111全部为成真赋值;7.(1):∨∨∨∨⇔∧∧;(2):∨∨∨⇔∧∧∧;8.(1):1⇔∨∨∨,重言式;(2):∨⇔∨∨∨∨∨∨;(3):∧∧∧∧∧∧∧⇔0,矛盾式.11.(1):∨∨⇔∧∧∧∧;(2):∨∨∨∨∨∨∨⇔1;(3):0⇔∧∧∧.12.A⇔∧∧∧∧⇔∨∨.第三章命题逻辑的推理理论本章自测答案6.在解本题时,应首先将简单陈述语句符号化,然后写出推理的形式结构*,其次就是判断*是否为重言式,若*是重言式,推理就正确,否则推理就不正确,这里不考虑简单语句之间的内在联系(1)、(3)、(6)推理正确,其余的均不正确,下面以(1)、(2)为例,证明(1)推理正确,(2)推理不正确(1)设p:今天是星期一,q:明天是星期三,推理的形式结构为(p→q)∧p→q(记作*1)在本推理中,从p与q的内在联系可以知道,p与q的内在联系可以知道,p与q不可能同时为真,但在证明时,不考虑这一点,而只考虑*1是否为重言式.可以用多种方法(如真值法、等值演算法、主析取式)证明*1为重言式,特别是,不难看出,当取A为p,B为q时,*1为假言推理定律,即(p→q)∧p→q ⇒ q(2)设p:今天是星期一,q:明天是星期三,推理的形式结构为(p→q)∧p→q(记作*2)可以用多种方法证明*2不是重言式,比如,等值演算法、主析取范式(主和取范式法也可以)等(p→q)∧q→p⇔(┐p∨q) ∧q →p⇔q →p⇔┐p∨┐q⇔⇔∨∨从而可知,*2不是重言式,故推理不正确,注意,虽然这里的p与q同时为真或同时为假,但不考虑内在联系时,*2不是重言式,就认为推理不正确.9.设p:a是奇数,q:a能被2整除,r:a:是偶数推理的形式结构为(p→q┐)∧(r→q)→(r→┐p) (记为*)可以用多种方法证明*为重言式,下面用等值演算法证明:(p→┐q)∧(r→q)→(r→┐p)⇔(┐p∨┐q) ∨(q∨┐r)→(┐q∨┐r) (使用了交换律)⇔(p∨q)∨(┐p∧r)∨┐q∨┐r⇔(┐p∨q)∨(┐q∧┐r)⇔┐p∨(q∨┐q)∧┐r⇔110.设p:a,b两数之积为负数,q:a,b两数种恰有一个负数,r:a,b都是负数.推理的形式结构为(p→q)∧┐p→(┐q∧┐r)⇔(┐p∨q) ∧┐p→(┐q∧┐r)⇔┐p→(┐q∧┐r) (使用了吸收律)⇔p∨(┐q∧┐r)⇔∨∨∨由于主析取范式中只含有5个W极小项,故推理不正确.11.略14.证明的命题序列可不惟一,下面对每一小题各给出一个证明① p→(q→r)前提引入② P前提引入③ q→r①②假言推理④ q前提引入⑤ r③④假言推理⑥ r∨s前提引入(2)证明:① ┐(p∧r)前提引入② ┐q∨┐r①置换③ r前提引入④ ┐q ②③析取三段论⑤ p→q前提引入⑥ ┐p④⑤拒取式(3)证明:① p→q前提引入② ┐q∨q①置换③ (┐p∨q)∧(┐p∨p) ②置换④ ┐p∨(q∧p③置换⑤ p→(p∨q) ④置换15.(1)证明:① S结论否定引入② S→P前提引入③ P①②假言推理④ P→(q→r)前提引入⑤ q→r③④假言推论⑥ q前提引入⑦ r⑤⑥假言推理(2)证明:① p附加前提引入② p∨q①附加③ (p∨q)→(r∧s)前提引入④ r∧s②③假言推理⑤ s④化简⑥ s∨t⑤附加⑦ (s∨t)→u前提引入⑧ u⑥⑦拒取式16.(1)证明:① p结论否定引入② p→ ┐q前提引入③ ┐q ①②假言推理④ ┐r∨q前提引入⑤ ┐r③④析取三段论⑥ r∧┐s前提引入⑦ r⑥化简⑧ ┐r∧r⑤⑦合取(2)证明:① ┐(r∨s)结论否定引入② ┐r∨┐s①置换③ ┐r②化简④ ┐s②化简⑤ p→r前提引入⑥ ┐p③⑤拒取式⑦ q→s前提引入⑧ ┐q④⑦拒取式⑨ ┐p∧┐q⑥⑧合取⑩ ┐(p∨q)⑨置换口p∨q前提引入⑾①口┐(p∨q) ∧(p∨q) ⑩口合取17.设p:A到过受害者房间,q: A在11点以前离开,r:A犯谋杀罪,s:看门人看见过A。

离散数学(1-4章)自测题(答案)

离散数学(1-4章)自测题(答案)

《离散数学》题库答案第2,3章(数理逻辑)1.答:(2),(3),(4)2.答:(2),(3),(4),(5),(6)3.答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是4.答:(1)P↔(4)QP→⌝P⌝Q→⌝(2)QP⌝→(3)Q5.答:(1)6.答:2不是偶数且-3不是负数。

7.答:(2)8.答:⌝P ,Q→P9.答:P(x)∨∃yR(y)10.答:⌝∀x(R(x)→Q(x))11、a、(P→Q)∧R解:(P→Q)∧R⇔(⌝P∨Q )∧R⇔(⌝P∧R)∨(Q∧R) (析取范式)⇔(⌝P∧(Q∨⌝Q)∧R)∨((⌝P∨P)∧Q∧R)⇔(⌝P∧Q∧R)∨(⌝P∧⌝Q∧R)∨(⌝P∧Q∧R)∨(P∧Q∧R)⇔(⌝P∧Q∧R)∨(⌝P∧⌝Q∧R)∨(P∧Q∧R)⇔m3∨ m1∨m7 (主析取范式)⇔m1∨ m3∨m7⇔M0∧M2∧M4∧M5∧M6 (主合取范式)b、Q→(P∨⌝R)解:Q→(P∨⌝R)⇔⌝Q∨P∨⌝R⇔M5(主合取范式)⇔ m0∨ m1∨ m2∨m3∨ m4∨m6 ∨m7 (主析取范式)c、P→(P∧(Q→P))解:P→(P∧(Q→P))⇔⌝P∨(P∧(⌝Q∨P))⇔⌝P∨P⇔ 1 (主合取范式)⇔ m0∨ m1∨m2∨ m3 (主析取范式)d、P∨(⌝P→(Q∨(⌝Q→R)))解:P∨(⌝P→(Q∨(⌝Q→R)))⇔ P∨(P∨(Q∨(Q∨R)))⇔ P∨Q∨R⇔ M0 (主合取范式)⇔ m1∨ m2∨m3∨ m4∨ m5∨m6 ∨m7 (主析取范式)12、a、P→Q,⌝Q∨R,⌝R,⌝S∨P=>⌝S证明:(1) ⌝R 前提(2) ⌝Q∨R 前提(3)⌝Q (1),(2)析取三段论(4) P→Q 前提(5)⌝P (3),(4)拒取式(6)⌝S∨P 前提(7) ⌝S (5),(6)析取三段论b、P→(Q→R),R→(Q→S) => P→(Q→S)证明:(1) P 附加前提(2) Q 附加前提(3) P→(Q→R) 前提(4) Q→R (1),(3)假言推理(5) R (2),(4)假言推理(6) R→(Q→S) 前提(7) Q→S (5),(6)假言推理(8) S (2),(7)假言推理c、A,A→B, A→C, B→(D→⌝C) => ⌝D证明:(1) A 前提(2) A→B 前提(3) B (1),(2) 假言推理(4) A→C 前提(5) C (1),(4) 假言推理(6) B→(D→⌝C) 前提(7) D→⌝C (3),(6) 假言推理(8)⌝D (5),(7) 拒取式d、P→⌝Q,Q∨⌝R,R∧⌝S⇒⌝P证明、(1) P 附加前提(2) P→⌝Q 前提(3)⌝Q (1),(2)假言推理(4) Q∨⌝R 前提(5) ⌝R (3),(4)析取三段论(6 ) R∧⌝S 前提(7) R (6)化简(8) R∧⌝R 矛盾(5),(7)合取所以该推理正确13.写出∀x(F(x)→G(x))→(∃xF(x) →∃xG(x))的前束范式。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

天津理工大学中环信息学院《离散数学》第三、四章检测题得分统计表:题号 总分 一 二 三 四请将填空题答案填入下面相应位置1. ;2. ;3. ;4. ;5. , ;6. , ;7. , , , , , ;8. ;9. , , , , 。

请将选择题答案填入下表相应位置1 2 3 4 5 6 7 8 9 10 得分一、填空题(每空2分,共40分)1.若集合A 的基数为n ,则()A P A ⨯= 。

2nn ⨯2.设A ={{Φ,{Φ}}},则A ×(())P P Φ= 。

其中()P A 表示集合A 的幂集.{,{}},{,{}{,}},{}ΦΦΦΦΦΦ3.设{{,{,}}}A a b c =,则()P A = 。

其中()P A 表示集合A 的幂集.,{{,{}{},}}a b c Φ4.设A ={1,2,3},A 上的二元关系R ={1,1,1,2,1,3,3,3}〈〉〈〉〈〉〈〉,则关系R 具有 性。

反对称,传递。

5.设R 是集合A 上的二元关系,则()S R = ,()t R = 。

1R R - ;1ii R∞=6.设R 是集合A 上的具有自反性、对称性、反对称性和传递性的二元关系,则R = ,R 的关系矩阵是 。

(A I ,100010001⎛⎫⎪⎪⎪ ⎪⎪⎝⎭或单位矩阵) 7. 在偏序集,A ≤中,其中A ={1,2,3,4,6,8,12,14},≤是A 中的整除关系,则集合B ={2,3,4,6}的极大元是 4,6 ,极小元是 2,3 ,最大元是 无 ,最小元是 无 ,上确界是 12 ,下确界是 1 。

8.设{,{}},{0,1A B φφ==, 所有从A 到B 的双射函数是1f ={,0,{},1}φφ, 2f ={,1,{},0}φφ。

9.设f 是A 到B 的函数,如果对2121,,x x A x x ≠∈∀,都有)()(21x f x f ≠,则称f 为 ,如果B f ran =)(,则称f 为 ;若f ,则称f 为双射。

当f 为双射时,1-f是B 到A 的函数,且1-ff = ,f f1-= 。

(单射,满射;既是单射又是满射; B I ; A I )二、单项选择题(每小题2分,共20分)1.设1R 和2R 是集合A 上的任意两个关系,则下列命题为真的是( ).(1)(1).若1R 和2R 是自反的,则1R 2R 也是自反的; (2).若1R 和2R 是非自反的,则1R 2R 也是非自反的; (3).若1R 和2R 是对称的,则1R 2R 也是对称的; (4).若1R 和2R 是传递的,则1R 2R 也是传递的.2.集合A 上的关系R 为一个偏序关系,当且仅当R 具有( )。

(2) (1).自反性、对称性和传递性; (2).自反性、反对称性和传递性; (3).反自反性、对称性和传递性; (4).反自反性、反对称性和传递 3.集合A 上的关系R 为一个等价关系,当且仅当R 具有( )。

(1) (1).自反性、对称性和传递性; (2).自反性、反对称性和传递性; (3).反自反性、对称性和传递性; (4).反自反性、反对称性和传递性4.集合A 上的等价关系R ,其等价类的集合{[]A a a R ∈}称为( ).(3)(1).A 与R 的并集,记为A ∪R ; (2).A 与R 的交集,记为A ∩R ;(3).A 与R 的商集,记为A /R ; (4).A 与R 的差集,记为A -R .5.设集合{0,1,2,3}A =,R ={<0,0>,<0,2>,<1,2>,<1,3>,<2,0>,<2,1>,<3,3,>}是A 上的二元关系,则R 的关系矩阵R M 是( )。

(2)(1).⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡1100100000110101(2).⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡1000001111000101(3). ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0111101001011000(4). ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡01011000110001116.设{1,2,3,4,5,6},{,,,,}A B a b c d e ==,以下哪一个关系是从A 到B 的满射 ( 2 )。

(1).{1,,2,,3,,4,,5,}R a b c d e =; (2).{1,,2,3,,4,,5,,6,}R e dc b a e =;(3).{1,,2,,3,,4,,5,,6,}R a b c a b c = ; (4).{1,,2,,3,,4,,5,,1,}R a b c d e b = .7.设{,,}A a b c =,集合A 上的等价关系R 所确定的A 的划分的是{{a },{ b , c }} ,则R =( 1 )(1). {< a , a >,<b , b >,<c , b >,<b , c >,<c , c >} (2).{< a ,b >,<b , a >,<c , b >,<b , c >} (3).{< a ,b >,<b , a >,<c , b >} (4).{< a , a >,< a ,b >,<b , a >,<c , b >,<b , c >,<c , c >} 8.设Z 为整数集,f :Z →Z ,()(mod3)f i i =,则f 是( ).(3)(1).是入射不是满射; (2).是满射不是入射;(3).既非入射也非满射; (4).是双射. 9.设,,f g h 是集合A 上的任意函数,下列哪个命题是真命题( ).(3)(1). f g g f = ; (2).f f f = ; (3).()()f g h f g h = ; (4).f g h = . 10.设{1,2,3},{,}A B a b ==,下列二元关系R 为A 到B 的函数的是( 1 )(1).{1,,2,,3,}R a a a = ; (2).{1,,2,}R a b =;(3).{1,,1,,2,,3,}R a b a a = ; (4).{1,,1,,2,,3,}R a b a b = .三、简答题(共30分)1.(6分)设A ={1,2,3,5,6,10,15,30} , “/” 为集合A 上的整除关系。

〈A ,/〉是否为偏序集? 若是,画出其哈斯图;解:〈A ,/〉是偏序集。

其哈斯图为:2.(12分)对下图所给的偏序集 ,A ,求下表所列集合的上(下)界,上(下)确界,并将结果填入表中。

子 集 上 界 下 界 上 确 界 下 确 界 {,,}a b c {,,}c d eA子 集上 界下 界上 确 界 下 确 界{,,}a b cadad{,,}c d e,a c 无 c 无 Aa无a无3.(6分)设 A ={1,2,3,4,5,6},集合A 上的关系R ={〈1,3〉,〈1,5〉,〈2,5〉,〈4,4〉,〈4,5〉,〈5,4〉,〈6,3〉,〈6,6〉}。

(1)画出R 的关系图,并求它的关系矩阵; (2)求(),()r R S R 及 ()t R 。

解:(1)R 的关系图为R 的关系矩阵为⎥⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎢⎣⎡=100100001000011000000000010000010100R M (2分)(2)(){1,1,2,2,3,3,5,5}r R R = , (1分)(){3,1,5,1,5,2,3,6}S R R= (1分) (){1,4,2,4,5,5}t R R = (2分)4.设Z 是整数集,R 是Z 上的模3同余关系,即{,,,(mod3)}R x y x y Z x y =∈≡,试根据等价关系R 决定Z 的一个划分 。

答案:由R 决定的Z 的划分为:[][][]}2,1,0{R R R , 其中:[][][]},8,5,2,1,4,7,{2},7,4,1,2,5,8,{1},9,6,3,0,3,6,9,{0 ---=---=---=R R R四.证明题(共10分)1.设,,,b a R b a <∈ 定义]1,0[],[:→b a f 为 ab ax x f --=)(,证明:f 是双射,并求出其逆映射。

证:1)先证明f 是入射(2分)对任意的[]),()(,,,2121x f x f b a x x =∈若则有ab ax a b a x --=--21,从而有21x x =,故f 是入射。

2) 再证明f 是满射(2分)对任意的[][],)(,,)(,1,0y x f b a a y a b x y =∈+-=∈使得都存在从而f 是满射。

综合(1)、(2)知f 是双射。

],[]1,0[:1b a f →-为 a x a b x f+-=-)()(1,对任意[]1,0∈x 。

(1分) njj。

相关文档
最新文档