文档库 最新最全的文档下载
当前位置:文档库 › 离散数学试卷及答案(9)

离散数学试卷及答案(9)

离散数学试卷及答案(9)
离散数学试卷及答案(9)

一、 填空 30% (每空 3分)

1、 选择合适的论域和谓词表达集合A=“直角坐标系中,单位元(不包括单位圆周)的点集”

则A= 。

2、 集合A={Φ,{Φ}}的幂集P (A) = 。

3、 设A={1,2,3,4},A 上二元关系R={<1,2>,<2,1>,<2,3>,<3,4>}画出R 的关

系图

。 4、 设A={<1,2>,<2 , 4 >,<3 , 3 >} , B={<1,3>,<2,4>,<4,2>},

则B A ?= 。

B A = 。

5、 设|A|=3,则A 上有 个二元关系。

6、 A={1,2,3}上关系R= 时,R 既是对称的又是反对称的。

7、 偏序集><≤R A ,的哈斯图为

则≤R = 。 8、 设|X|=n ,|Y|=m 则(1)从X 到Y 有 个不同的函数。

(2)当n , m 满足 时,存在双射有 个不同的双射。 9、 2是有理数的真值为 。 10、

Q :我将去上海,R :我有时间,公式)()(Q R R Q →∧→的

自然语言为 。 11、

公式)()(Q P P Q ∧?∧→的

主合取范式是 。 12、

若} ,, , {21m S S S S =是集合A 的一个分划,

则它应满足 。

二、 选择 20% (每小题 2分)

1、 设全集为I ,下列相等的集合是( )。

A 、} |{是偶数或奇数x x A =;

B 、)}2( |{y x I y y x B =∧∈?=;

C 、)}12( |{+=∧∈?=y x I y y x C ;

D 、},4,4,3,3,2,2,1,1,0|{ ----=x D 。 2、 设S={N ,Q ,R},下列命题正确的是( )。 A 、S S N N ∈∈∈2 ,2则; B 、S N S Q Q N ?∈?则 ,; C 、R N R Q Q N ???则 ,; D 、S N S N ??Φ?Φ?Φ则 ,。 3、 设C={{a},{b},{a,b}},则

S S C

S C

S ??∈∈与分别为( )

。 A 、C 和{a,b};B 、{a,b}与Φ;C 、{a,b}与{a,b};D 、C 与C 4、 下列语句不是命题的有( )。

A 、 x=13;

B 、离散数学是计算机系的一门必修课;

C 、鸡有三只脚;

D 、太阳系以外的星球上有生物;

E 、你打算考硕士研究生吗? 5、 R Q P →→)(的合取范式为( )。

A 、R Q P ∨?∧)( ;

B 、)()(R Q R P ∨?∧∨ ;

C 、

)()()()()()(R Q P R Q P R Q P R Q P R Q P R Q P ∧?∧?∨∧∧?∨∧?∧∨∧∧∨?∧?∧∨∧?∧ D 、)()()()(R Q P R Q P R Q P R Q P ∨?∨?∧∨?∨∧∨?∨∧∨∨。 6、 设|A|=n ,则A 上有()二元关系。

A 、2n

; B 、n 2

; C 、2

2n ; D 、n n

; E 、n

n 2。 7、 设r 为集合A 上的相容关系,其简化关系图(如图),

则 [I] r 产生的最大相容类为( );

A 、},{21x x ;

B 、},,{321x x x ;

C 、},{54x x ;

D 、},,{542x x x [II] A 的完全覆盖为( )。

A 、},,,,{54321x x x x x ;

B 、}},{},,,{},,{{5432121x x x x x x x ;

C 、}},,{},,,{{542321x x x x x x ;

D 、}},{},{},,{{54321x x x x x 。 8、 集合A={1,2,3,4}上的偏序关系图为

则它的哈斯图为( )。

9、 下列关系中能构成函数的是( )。

A 、)}10(),(|,{<+∧∈>

B 、)}(),(|,{2

x y R y x y x =∧∈><; C 、)}(),(|,{2

x y R y x y x =∧∈><; D 、)}3mod (),(|,{y x I y x y x ≡∧∈><。

10、N 是自然数集,定义3mod )()( ,:x x f N N f =→(即x 除以3的余数),

则f 是( )。

A 、满射不是单射;

B 、单射不是满射;

C 、双射;

D 、不是单射也不是满射。

三、 简答题 15%

1、(10分)设S={1 , 2 , 3 , 4, 6 , 8 , 12 , 24},“≤”为S 上整除关系,问:(1)偏序集≤>

<,S 的Hass 图如何?(2)偏序集},{≤S

的极小元、最小元、极大元、最大元是什么? 2、(5分)设解释R 如下:D R 是实数集,D R 中特定元素a=0,D R 中特定函数y x y x f -=),(,特定谓词y x y x F <:),(,问公式))),(),,((),((z y f z x f F y x F z y x A →???=的涵义如何?真值如何?

四、 逻辑推理 10%

或者逻辑难学,或者有少数学生不喜欢它;如果数学容易学,那么逻辑并不难学。因此,如果许多学生喜欢逻辑,那么数学并不难学。

五、10%

设X={1,2,3,4,5},X 上的关系R={<1,1> , < 1 , 2 > , <2 , 4 > , < 3 , 5 > , < 4 , 2 > },用Warshall 方法,求R 的传递闭包t (R)。

六、证明 15%

1、 每一有限全序集必是良序集。(7分)

2、 设f g 是复合函数,如果f g 满射,则g 也是满射。(8分)

五、 填空 20%(每小题2分)

1、)}1(),(|,{22<+∧∈><=y x R y x y x A ;

2、}}}{,{}},{{},{,{ΦΦΦΦΦ;

3、见右图;

4、{< 1 , 2 > , < 2 , 4 > , <3 , 3 > , < 1,3 >,<2,4> ,<4,2>}、{< 1 , 4 > , < 2 , 2 > };

5、29;

6、{< 1 , 1 > , < 2 , 2 > , <3 , 3 > ;

7、{,,,,,,,,,}A I ?; 8、m n 、n=m 、n!;9、假;10、我将去上海当且仅当我有空; 11、)()()()(Q P Q P Q P Q P ?∨?∧∨∧?∨∧∨?; 12、A S

j i S S i

m

i j i =≠Φ=??=1

)2( )()1( 。

六、 选择 20%(每小题 2分)

七、 简答题 15%

1、(10分) (

1

={<1,2>,<1,3>,<1,4>,<1,6>,<1,8>,<1,12>,<1,24>,<2,4>,<2,6>,<2,8>

<2,12>,<2,24>,<3,6>,<3,12>,<3,24>,<4,8>,<4,12>,<4,24>,<6,12>,<6,24>,<8,24>,<12,24>}S I ? covS={<1,2>,<1,3>,<2,4>,<2,6>,<3,6>,<4,8>,<4,12>,<6,12> ,<8,24>,<12,24>} Hass 图为

(2)极小元、最小元是1,极大元、最大元是 24。 2、(5分)

解:公式A 涵义为:对任意的实数x,y,z ,如果x

解:设P :逻辑难学;Q :有少数学生不喜欢逻辑学;R :数学容易学 符号化:R Q P R Q P ?→???→∨ , 证:①Q P ∨

P ②Q P →? T ①E ③P R ?→ P ④Q R → T ②③I ⑤R Q ?→? T ④E

九、 (10分)

解:???

???

?

?

??=000000001010000

01000

00011R M

=i 1时,R M [1,1]=1, A =R M =i 2时,A[1,2]=A[4,2]=1

A=???

???

?

?

??0000001010100000100001011

=i 3时,A 的第三列全为0,故A 不变 =i 4时A[1,4]=A[2,4]=A[4,4]=1

A=???

???

?

?

??0000001010100000101001011

=i 5时,A 的第五行全为0,故A 不变。

所以t (R)={<1,1>, <1,2>,<1,4>,<2,2>,<2,4>,<3,5>,<4,2>,<4,4>}。

十、 证明 15%

1、(7分)

证明:设},,,{21n a a a A =,≤><,A 全序集。

若≤><,A 不是良序集,那么必有一子集)(Φ≠?B A B ,在B 中不存在最小元素,由于B 是一有限集合,故一定可找出两元素x ,y 是无关的,由于≤><,A 是全序集。A y x ∈,所以x ,y 必有关系,矛盾。故≤><,A 必是良序集。 2、(8分)

证明:设Z X f g Z Y g Y X f →→→: ,: ,: , Z z ∈?由于Z X f g →: 满射,故必有X x ∈使得z x f g =)( ,由复合函数定义知,存在Y y ∈ 使得y x f =)(,又因为

g 是函数,必对任Y y ∈,必Z z ∈?使z y g =)(,任每个z 在g 作用下都是Y 中元素的一个映象,由Z 的任意性,所以g 是满射。

各大学教材课后习题答案网址

各大学教材课后习题答案网址 《线性代数》(同济第四版)课后习题答案(完整版) 高等数学(同济第五版)课后答案(PDF格式,共527页) 中国近现代史纲要课后题答案 曼昆《经济学原理》课后习题解答 21世纪大学英语读写教程(第三册)参考答案 谢希仁《计算机网络教程》(第五版)习题参考答案(共48页) 《概率论与数理统计》习题答案 http:// 《模拟电子技术基础》详细习题答案(童诗白,华成英版,高教版) 《机械设计》课后习题答案(高教版,第八版,西北工业大学) 《大学物理》完整习题答案 .com/viewthread.php?tid=217&fromuid=164951 《管理学》课后答案(周三多) 机械设计基础(第五版)习题答案[杨可桢等主编] 程守洙、江之永主编《普通物理学》(第五版)详细解答及辅导 .php?tid=3&fromuid=164951 新视野大学英语课本详解(四册全) 21世纪大学英语读写教程(第四册)课后答案 新视野大学英语读写教程3册的课后习题答案 1

新视野大学英语第四册答案(第二版) 《中国近现代史》选择题全集(共含250道题目和答案) 《电工学》课后习题答案(第六版,上册,秦曾煌主编) 完整的英文原版曼昆宏观、微观经济学答案 《数字电子技术基础》习题答案(阎石,第五版) 《电路》习题答案上(邱关源,第五版) 《电工学》习题答案(第六版,秦曾煌) https://www.wendangku.net/doc/2a12584482.html,/viewthread.php?tid=112&fromuid=164951 21世纪大学英语读写教程(第三册)课文翻译 《生物化学》复习资料大全(3套试卷及答案+各章习题集) 《模拟电子技术基础》课后习题答案(共10章)ewthread.php?tid=21&fromuid=164951 《概率论与数理统计及其应用》课后答案(浙江大学盛骤谢式千编著)《理论力学》课后习题答案(赫桐生,高教版) 《全新版大学英语综合教程》(第四册)练习答案及课文译文viewthread.php?tid=78&fromuid=164951 《化工原理答案》课后习题答案(高教出版社,王志魁主编,第三版)《国际贸易》课后习题答案(海闻P.林德特王新奎) 大学英语综合教程1-4册练习答案 read.php?tid=1282&fromuid=164951 《流体力学》习题答案 《传热学》课后习题答案(第四版) 高等数学习题答案及提示

(完整版)离散数学试卷及答案

离散数学试题(A卷答案) 一、(10分)求(P↓Q)→(P∧?(Q∨?R))的主析取范式 解:(P↓Q)→(P∧?(Q∨?R))??(?( P∨Q))∨(P∧?Q∧R)) ?(P∨Q)∨(P∧?Q∧R)) ?(P∨Q∨P)∧(P∨Q∨?Q)∧(P∨Q∨R) ?(P∨Q)∧(P∨Q∨R) ?(P∨Q∨(R∧?R))∧(P∨Q∨R) ?(P∨Q∨R)∧(P∨Q∨?R)∧(P∨Q∨R) ? M∧1M ? m∨3m∨4m∨5m∨6m∨7m 2 二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断: 甲说:王教授不是苏州人,是上海人。 乙说:王教授不是上海人,是苏州人。 丙说:王教授既不是上海人,也不是杭州人。 王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。试判断王教授是哪里人? 解设设P:王教授是苏州人;Q:王教授是上海人;R:王教授是杭州人。则根据题意应有: 甲:?P∧Q 乙:?Q∧P 丙:?Q∧?R 王教授只可能是其中一个城市的人或者3个城市都不是。所以,丙至少说对了一半。因此,可得甲或乙必有一人全错了。又因为,若甲全错了,则有?Q ∧P,因此,乙全对。同理,乙全错则甲全对。所以丙必是一对一错。故王教授的话符号化为:

((?P ∧Q )∧((Q ∧?R )∨(?Q ∧R )))∨((?Q ∧P )∧(?Q ∧R )) ?(?P ∧Q ∧Q ∧?R )∨(?P ∧Q ∧?Q ∧R )∨(?Q ∧P ∧?Q ∧R ) ?(?P ∧Q ∧?R )∨(P ∧?Q ∧R ) ??P ∧Q ∧?R ?T 因此,王教授是上海人。 三、(10分)证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 证明 设R 是非空集合A 上的二元关系,则由定理4.19知,tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。 若'R 是包含R 的且具有自反性、对称性和传递性的任意关系,则由闭包的定义知r (R )?'R 。由定理4.15和由定理4.16得sr (R )?s ('R )='R ,进而有tsr (R )?t ('R )='R 。 综上可知,tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 四、(15分)集合A ={a ,b ,c ,d ,e }上的二元关系R 为R ={}, (1)写出R 的关系矩阵。 (2)判断R 是不是偏序关系,为什么? 解 (1) R 的关系矩阵为: ??? ??? ? ? ? ?=100001100010100 10110 11111 )(R M (2)由关系矩阵可知,对角线上所有元素全为1,故R 是自反的;ij r +ji r ≤1,故R 是反对称的;可计算对应的关系矩阵为:

离散数学期末试题

离散数学考试试题(A 卷及答案) 一、(10分)求(P ↓Q )→(P ∧?(Q ∨?R ))的主析取范式 解:(P ↓Q )→(P ∧?(Q ∨?R ))??(?( P ∨Q ))∨(P ∧?Q ∧R )) ?(P ∨Q )∨(P ∧?Q ∧R )) ?(P ∨Q ∨P )∧(P ∨Q ∨?Q )∧(P ∨Q ∨R ) ?(P ∨Q )∧(P ∨Q ∨R ) ?(P ∨Q ∨(R ∧?R ))∧(P ∨Q ∨R ) ?(P ∨Q ∨R )∧(P ∨Q ∨?R )∧(P ∨Q ∨R ) ?0M ∧1M ?2m ∨3m ∨4m ∨5m ∨6m ∨7m 二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断: 甲说:王教授不是苏州人,是上海人。 乙说:王教授不是上海人,是苏州人。 丙说:王教授既不是上海人,也不是杭州人。 王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。试判断王教授是哪里人? 解 设设P :王教授是苏州人;Q :王教授是上海人;R :王教授是杭州人。则根据题意应有: 甲:?P ∧Q 乙:?Q ∧P 丙:?Q ∧?R 王教授只可能是其中一个城市的人或者3个城市都不是。所以,丙至少说对了一半。因此,可得甲或乙必有一人全错了。又因为,若甲全错了,则有?Q ∧P ,因此,乙全对。同理,乙全错则甲全对。所以丙必是一对一错。故王教授的话符号化为: ((?P ∧Q )∧((Q ∧?R )∨(?Q ∧R )))∨((?Q ∧P )∧(?Q ∧R )) ?(?P ∧Q ∧Q ∧?R )∨(?P ∧Q ∧?Q ∧R )∨(?Q ∧P ∧?Q ∧R ) ?(?P ∧Q ∧?R )∨(P ∧?Q ∧R ) ??P ∧Q ∧?R ?T 因此,王教授是上海人。 三、(10分)证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 证明 设R 是非空集合A 上的二元关系,则tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。 若'R 是包含R 的且具有自反性、对称性和传递性的任意关系,则由闭包的定义知r (R )?' R 。则sr (R )?s ('R )='R ,进而有tsr (R )?t ('R )='R 。

离散数学考试试题(A卷及答案)

离散数学考试试题(A卷及答案) 一、(10分)证明?(A∨B)→?(P∨Q),P,(B→A)∨?P A。 证明:(1)?(A∨B)→?(P∨Q) P (2)(P∨Q)→(A∨B) T(1),E (3)P P (4)A∨B T(2)(3),I (5)(B→A)∨?P P (6)B→A T(3)(5),I (7)A∨?B T(6),E (8)(A∨B)∧(A∨?B) T(4)(7),I (9)A∧(B∨?B) T(8),E (10)A T(9),E 二、(10分)甲、乙、丙、丁4个人有且仅有2个人参加围棋优胜比赛。关于谁参加竞赛,下列4种判断都是正确的: (1)甲和乙只有一人参加; (2)丙参加,丁必参加; (3)乙或丁至多参加一人; (4)丁不参加,甲也不会参加。 请推出哪两个人参加了围棋比赛。 解符号化命题,设A:甲参加了比赛;B:乙参加了比赛;C:丙参加了比赛;D:丁参加了比赛。 依题意有, (1)甲和乙只有一人参加,符号化为A⊕B?(?A∧B)∨(A∧?B); (2)丙参加,丁必参加,符号化为C→D; (3)乙或丁至多参加一人,符号化为?(B∧D); (4)丁不参加,甲也不会参加,符号化为?D→?A。 所以原命题为:(A⊕B)∧(C→D)∧(?(B∧D))∧(?D→?A) ?((?A∧B)∨(A∧?B))∧(?C∨D)∧(?B∨?D)∧(D∨?A) ?((?A∧B∧?C)∨(A∧?B∧?C)∨(?A∧B∧D)∨(A∧?B∧D))∧((?B∧D)∨(?B∧?A)∨(?D∧?A)) ?(A∧?B∧?C∧D)∨(A∧?B∧D)∨(?A∧B∧?C∧?D)?T 但依据题意条件,有且仅有两人参加竞赛,故?A∧B∧?C∧?D为F。所以只有:(A∧?B∧?C∧D)∨(A∧?B∧D)?T,即甲、丁参加了围棋比赛。 三、(10分)指出下列推理中,在哪些步骤上有错误?为什么?给出正确的推理形式。 (1)?x(P(x)→Q(x)) P (2)P(y)→Q(y) T(1),US (3)?xP(x) P (4)P(y) T(3),ES (5)Q(y) T(2)(4),I (6)?xQ(x) T(5),EG 解 (4)中ES错,因为对存在量词限制的变元x引用ES规则,只能将x换成某个个体常元c,而不能将其改为自由变元。所以应将(4)中P(y)改为P(c),c为个体常元。 正确的推理过程为: (1)?xP(x) P (2)P(c) T(1),ES (3)?x(P(x)→Q(x)) P (4)P(c)→Q(c) T(3),US (5)Q(c) T(2)(4),I (6)?xQ(x) T(5),EG 四、(10分)设A={a,b,c},试给出A上的一个二元关系R,使其同时不满足自反性、反自反性、对称性、反对称性和传递性。 解设R={},则

离散数学试题与答案

试卷二试题与参考答案 一、填空 1、 P:您努力,Q:您失败。 2、 “除非您努力,否则您将失败”符号化为 ; “虽然您努力了,但还就是失败了”符号化为 。 2、论域D={1,2},指定谓词P P (1,1) P (1,2) P (2,1) P (2,2) T T F F 则公式x ??真值为 。 3设A={2,3,4,5,6}上的二元关系}|,{是质数x y x y x R ∨<><=,则 R= (列举法)。 R 的关系矩阵M R = 。 4、设A={1,2,3},则A 上既不就是对称的又不就是反对称的关系 R= ;A 上既就是对称的又就是反对称的关系R= 。 5、设代数系统,其中A={a,b,c}, 则幺元就是 ;就是否有幂等 性 ;就是否有对称性 。 6、4阶群必就是 群或 群。 7、下面偏序格就是分配格的就是 。 8、n 个结点的无向完全图K n 的边数为 ,欧拉图的充要条件就是 。 * a b c a b c a b c b b c c c b

二、选择 1、在下述公式中就是重言式为( ) A.)()(Q P Q P ∨→∧; B.))()(()(P Q Q P Q P →∧→??; C.Q Q P ∧→?)(; D.)(Q P P ∨→。 2、命题公式 )()(P Q Q P ∨?→→? 中极小项的个数为( ),成真赋值的个数为 ( )。 A.0; B.1; C.2; D.3 。 3、设}}2,1{},1{,{Φ=S ,则 S 2 有( )个元素。 A.3; B.6; C.7; D.8 。 4、设} 3 ,2 ,1 {=S ,定义S S ?上的等价关系 },,,, | ,,,{c b d a S S d c S S b a d c b a R +=+?>∈∈<><><<=则由 R 产 生的S S ?上一个划分共有( )个分块。 A.4; B.5; C.6; D.9 。 5、设} 3 ,2 ,1 {=S ,S 上关系R 的关系图为 则R 具有( )性质。 A.自反性、对称性、传递性; B.反自反性、反对称性; C.反自反性、反对称性、传递性; D.自反性 。 6、设 ο,+ 为普通加法与乘法,则( )>+<ο,,S 就是域。 A.},,3|{Q b a b a x x S ∈+== B.},,2|{Z b a n x x S ∈== C.},12|{Z n n x x S ∈+== D.}0|{≥∧∈=x Z x x S = N 。 7、下面偏序集( )能构成格。

各科书的下载地址

[Word格式]《成本会计》习题及答案(自学推荐,23页) [Word格式]《成本会计》配套习题集参考答案 [Word格式]《实用成本会计》习题答案 [Word格式]《会计电算化》教材习题答案(09年) [JPG格式]会计从业《基础会计》课后答案 [Word格式]《现代西方经济学(微观经济学)》笔记与课后习题详解(第3版,宋承先)[Word格式]《宏观经济学》习题答案(第七版,多恩布什) [Word格式]《国际贸易》课后习题答案(海闻 P.林德特王新奎) [PDF格式]《西方经济学》习题答案(第三版,高鸿业)可直接打印 [Word格式]《金融工程》课后题答案(郑振龙版) [Word格式]《宏观经济学》课后答案(布兰查德版) [JPG格式]《投资学》课后习题答案(英文版,牛逼版) [PDF格式]《投资学》课后习题答案(博迪,第四版) [Word格式]《微观经济学》课后答案(高鸿业版) [Word格式]《公司理财》课后答案(英文版,第六版) [Word格式]《国际经济学》教师手册及课后习题答案(克鲁格曼,第六版) [Word格式]《金融市场学》课后习题答案(张亦春,郑振龙,第二版) [PDF格式]《金融市场学》电子书(张亦春,郑振龙,第二版) [Word格式]《微观经济学》课后答案(平狄克版) [Word格式]《中级财务会计》习题答案(第二版,刘永泽) [PDF格式]《国际经济学》习题答案(萨尔瓦多,英文版) [JPG格式]《宏观经济学》课后答案(曼昆,中文版) [PDF格式]《宏观经济学》答案(曼昆,第五版,英文版)pdf格式 [Word格式]《技术经济学概论》(第二版)习题答案 [Word格式]曼昆《经济学原理》课后习题解答 [PDF格式]西方经济学(高鸿业版)教材详细答案 [Word格式]完整的英文原版曼昆宏观、微观经济学答案 [Word格式]《金融市场学》课后答案(郑振龙版) 化学物理 [Word格式]《固体物理》习题解答(方俊鑫版) [Word格式]《简明结构化学》课后习题答案(第三版,夏少武) [Word格式]《生物化学》复习资料大全(3套试卷及答案+各章习题集) [PDF格式]《光学教程》习题答案(第四版,姚启钧原著) [Word格式]《流体力学》实验分析答案(浙工大版) [Word格式]《高分子化学》课后习题答案(第四版,潘祖仁主编) [PDF格式]《化工热力学》习题与习题答案(含各种版本) [Word格式]《材料力学》习题答案 [Word格式]《量子力学导论》习题答案(曾谨言版,北京大学) [PDF格式]《理论力学》习题答案(动力学和静力学)

离散数学期末试题及答案完整版

离散数学期末试题及答 案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】

326《离散数学》期末考试题(B ) 一、填空题(每小题3分,共15分) 1.设,,},,{{b a b a A =?},则-A ? = ( ),-A {?} = ( ), )(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素,则A 上的二元关系有( )个,其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ,对于其上的整除关系“|”,元素( )不存在补元. 5.当n ( )时,n 阶完全无向图n K 是平面图,当当n 为( )时,n K 是欧拉图. 二.1. 若n B m A ==||,||,则=?||B A ( ),A 到B 的2元关系共有( )个,A 上的2元关系共有( )个. 2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)},则( )是单射,( )是满射,( )是双射. 3. 下列5个命题公式中,是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(; (2))(q p p ∨→; (3))(q p p ∧→; (4)q q p p →∨∧?)(; (5)q q p →→)(. 4. 设D 24是24的所有正因数组成的集合,“|”是其上的整除关系,则3的补元( ),4的补元( ),6的补元( ).

离散数学期末考试试卷(A卷)

离散数学期末考试试卷(A卷) 一、判断题:(每题2分,共10分) (1) (1) (2)对任意的命题公式, 若, 则 (0) (3)设是集合上的等价关系, 是由诱导的上的等价关系,则。(1) (4)任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价。 (0) (5)设是上的关系,分别表示的对称和传递闭包,则 (0) 二、填空题:(每题2分,共10分) (1) 空集的幂集的幂集为()。 (2) 写出的对偶式()。 (3)设是我校本科生全体构成的集合,两位同学等价当且仅当他们在 同一个班,则等价类的个数为(),同学小王所在 的等价类为()。 (4)设是上的关系,则满足下列性质的哪几条:自反的,对称的,传递的,反自反的,反对称的。 () (5)写出命题公式的两种等价公式( )。 三、用命题公式符号化下列命题(1)(2)(3),用谓词公式符号化下列命题(4)(5)(6)。(12分) (1)(1)仅当今晚有时间,我去看电影。 (2)(2)假如上午不下雨,我去看电影,否则就在家里读书。 (3)你能通你能通过考试,除非你不复习。 (4)(4)并非发光的都是金子。 (5)(5)有些男同志,既是教练员,又是国家选手。 (6)(6)有一个数比任何数都大。 四、设,给定上的两个关系和分别是

(1)(1)写出 和 的关系矩阵。(2)求 及 (12分) 五、求 的主析取范式和主合取范式。(10分) 六、设 是 到 的关系, 是 到 的关系,证明: (8分) 七、设 是一个等价关系,设 对某一个 ,有 ,证明: 也是一个等价关系。(10分) 八、(10分)用命题推理理论来论证 下述推证是否有效? 甲、乙、丙、丁四人参加比赛,如果甲获胜,则乙失败;如果丙获胜,则乙也获 胜,如果甲不获胜,则丁不失败。所以,如果丙获胜,则丁不失败。 九、(10分) 用谓词推理理论来论证下述推证。 任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或喜欢乘汽车,或喜欢骑 自行车(可能这两种都喜欢)。有的人不爱骑自行车,因而有的人不爱步行 (论 域是人)。 十、(8分) 利用命题公式求解下列问题。 甲、乙、丙、丁四人参加考试后,有人问他们,谁的成绩最好, 甲说:“不是我,”乙说:“是丁,”丙说:“是乙,” 丁说:“不是我。” 四人的回答只有一人符合实际,问若只有一人成绩最 好,是谁? 离散数学期末考试试卷答案(A 卷) 一、判断题:(每题2分,共10分) (1)}}{{}{x x x -∈ ( ∨) (2) 对任意的命题公式C B A ,,, 若 C B C A ∧?∧, 则B A ? ( ? ) (3)设R 是集合A 上的等价关系, L 是由 R A 诱导的A 上的等价关系,则L R =。 ( ∨ ) (4) 任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等 价。 ( ? ) (5)设R 是A 上的关系,)(),(R t R s 分别表示R 的对称和传递闭包,则 )()(R st R ts ? ( ? ) 二、填空题:(每题2分,共10分)

离散数学期末试卷及答案

一.判断题(共10小题,每题1分,共10分) 在各题末尾的括号内画 表示正确,画 表示错误: 1.设p、q为任意命题公式,则(p∧q)∨p ? p ( ) 2.?x(F(y)→G(x)) ? F(y)→?xG(x)。( ) 3.初级回路一定是简单回路。( ) 4.自然映射是双射。( ) 5.对于给定的集合及其上的二元运算,可逆元素的逆元是唯一的。( ) 6.群的运算是可交换的。( ) 7.自然数集关于数的加法和乘法构成环。( ) 8.若无向连通图G中有桥,则G的点连通度和边连通度皆为1。( ) 9.设A={a,b,c},则A上的关系R={,}是传递的。( ) 10.设A、B、C为任意集合,则A?(B?C)=(A?B)?C。( ) 二、填空题(共10题,每题3分,共30分) 11.设p:天气热。q:他去游泳。则命题“只有天气热,他才去游泳”可符号 化为。 12.设M(x):x是人。S(x):x到过月球。则命题“有人到过月球”可符号 化为。 13.p?q的主合取范式是。 14.完全二部图K r,s(r < s)的边连通度等于。 15.设A={a,b},,则A上共有个不同的偏序关系。 16.模6加群中,4是阶元。 17.设A={1,2,3,4,5}上的关系R={<1,3>,<1,5>,<2,5>,<3,3>,<4,5>},则R的传递闭包t(R) = 。. 18.已知有向图D的度数列为(2,3,2,3),出度列为(1,2,1,1),则有向图D的入度

列为。 19.n阶无向简单连通图G的生成树有条边。 20.7阶圈的点色数是。 三、运算题(共5小题,每小题8分,共40分) 21.求?xF(x)→?yG(x,y)的前束范式。 22.已知无向图G有11条边,2度和3度顶点各两个,其余为4度顶点,求G 的顶点数。 23.设A={a,b,c,d,e,f},R=I A?{,},则R是A上的等价关系。求等价类[a]R、[c]R及商集A/R。 24.求图示带权图中的最小生成树,并计算最小生成树的权。 25.设R*为正实数集,代数系统< R*,+>、< R*,·>、< R*,/>中的运算依次为普通加法、乘法和除法运算。试确定这三个代数系统是否为群?是群者,求其单位元及每个元素的逆元。 四、证明题(共3小题,共20分) 26 (8分)在自然推理系统P中构造下述推理的证明: 前题:p→(q∨r),?s→?q,p∧?s 结论:r 27 (6分)设是群,H={a| a∈G∧?g∈G,a*g=g*a},则是G的子群 28.(6分)设G是n(≥3)阶m条边、r个面的极大平面图,则r=2n-4。

离散数学期末试卷A卷及答案

《离散数学》试卷(A 卷) 一、 选择题(共5 小题,每题 3 分,共15 分) 1、设A={1,2,3},B={2,3,4,5},C={2,3},则C B A ⊕?)(为(C )。 A 、{1,2} B 、{2,3} C 、{1,4,5} D 、{1,2,3} 2、下列语句中哪个是真命题 ( A ) A 、如果1+2=3,则4+5=9; B 、1+2=3当且仅当4+5≠9。 C 、如果1+2=3,则4+5≠9; D 、1+2=3仅当4+5≠9。 3、个体域为整数集合时,下列公式( C )不是命题。 A 、)*(y y x y x =?? B 、)4*(=??y x y x C 、)*(x y x x =? D 、)2*(=??y x y x 4、全域关系A E 不具有下列哪个性质( B )。 A 、自反性 B 、反自反性 C 、对称性 D 、传递性 5、函数612)(,:+-=→x x f R R f 是( D )。 A 、单射函数 B 、满射函数 C 、既不单射也不满射 D 、双射函数 二、填充题(共 5 小题,每题 3 分,共15 分) 1、设|A|=4,|P(B)|=32,|P(A ?B)|=128,则|A ?B|=??2???.

2、公式)(Q P Q ?∨∧的主合取范式为 。 3、对于公式))()((x Q x P x ∨?,其中)(x P :x=1, )(x Q :x=2,当论域为{0,1,2}时,其真值为???1???。 4、设A ={1,2,3,4},则A 上共有???15????个等价关系。 5、设A ={a ,b ,c },B={1,2},则|B A |= 8 。 三、判断题(对的填T ,错的填F ,共 10 小题,每题 1 分,共计10 分) 1、“这个语句是真的”是真命题。 ( F ) 2、“张刚和小强是同桌。”是复合命题。 ( F ) 3、))(()(r q q p p ∧?∧→?∨是矛盾式。 ( T ) 4、)(T S R T R S R ??????。 ( F ) 5、恒等关系具有自反性,对称性,反对称性,传递性。 ( T ) 6、若f 、g 分别是单射,则g f ?是单射。 ( T ) 7、若g f ?是满射,则g 是满射。 ( F ) 8、若A B ?,则)()(A P B P ?。 ( T ) 9、若R 具有自反性,则1-R 也具有自反性。 ( T ) 10、B A ∈并且B A ?不可以同时成立。 (F ) 四、计算题(共 3 小题,每题 10 分,共30 分) 1、调查260个大学生,获得如下数据:64人选修数学课程,94人选修计算机课程,58人选修商贸课程,28人同时选修数学课程和商贸课程,26人同时选修数学课程和计算机课程,22人同时选修计算机课程和商贸课程,14人同时选修三门课程。问 (1)三门课程都不选的学生有多少? (2)只选修计算机课程的学生有多少?

离散数学试卷二十三试题与答案

试卷二十三试题与答案 一、单项选择题:(每小题1分,本大题共10分) 1.命题公式)(P Q P ∨→是( )。 A 、 矛盾式; B 、可满足式; C 、重言式; D 、等价式。 2.下列各式中哪个不成立( )。 A 、)()())()((x xQ x xP x Q x P x ?∨??∨?; B 、)()())()((x xQ x xP x Q x P x ?∨??∨?; C 、)()())()((x xQ x xP x Q x P x ?∧??∧?; D 、Q x xP Q x P x ∧??∧?)())((。 3.谓词公式)())()((x Q y yR x P x →?∨?中的 x 是( )。 A 、自由变元; B 、约束变元; C 、既是自由变元又是约束变元; D 、既不是自由变元又不是约束变元。 4.在0 Φ之间应填入( )符号。 A 、= ; B 、?; C 、∈; D 、?。 5.设< A , > 是偏序集,A B ?,下面结论正确的是( )。 A 、 B 的极大元B b ∈且唯一; B 、B 的极大元A b ∈且不唯一; C 、B 的上界B b ∈且不唯一; D 、B 的上确界A b ∈且唯一。 6.在自然数集N 上,下列( )运算是可结合的。 (对任意N b a ∈,) A 、b a b a -=*; B 、),max(b a b a =*; C 、b a b a 5+=*; D 、b a b a -=*。 7.Q 为有理数集N ,Q 上定义运算*为a*b = a + b – ab ,则的幺元为( )。 A 、a ; B 、b ; C 、1; D 、0。 8.给定下列序列,( )可以构成无向简单图的结点度数序列。 A 、(1,1,2,2,3); B 、(1,1,2,2,2); C 、(0,1,3,3,3); D 、(1,3,4,4,5)。 9.设G 是简单有向图,可达矩阵P(G)刻划下列 ( )关系。 A 、点与边; B 、边与点; C 、点与点; D 、边与边。 10.一颗树有两个2度结点,1个3度结点和3个4度结点,则1度结点数为( )。 A 、5; B 、7; C 、9; D 、8。

离散数学试卷及答案

填空10% (每小题 2 分) 1、若P,Q,为二命题,P Q 真值为0 当且仅当。 2、命题“对于任意给定的正实数,都存在比它大的实数” 令F(x):x 为实数,L(x, y) : x y 则命题的逻辑谓词公式为。 3、谓词合式公式xP(x) xQ(x)的前束范式为。 4、将量词辖域中出现的和指导变元交换为另一变元符号,公式其余的部分不变,这种方法称为 换名规则。 5、设x 是谓词合式公式A的一个客体变元,A的论域为D,A(x)关于y 是自由的,则被称为存 在量词消去规则,记为ES。 选择25% (每小题分) 1、下列语句是命题的有()。 A、明年中秋节的晚上是晴天; C、xy 0 当且仅当x 和y 都大于0; D 、我正在说谎。 2、下列各命题中真值为真的命题有()。 A、2+2=4当且仅当3是奇数; B、2+2=4当且仅当 3 不是奇数; C、2+2≠4 当且仅当3是奇数; D、2+2≠4当且仅当 3 不是奇数; 3、下列符号串是合式公式的有() A、P Q ; B、P P Q; C、( P Q) (P Q); D、(P Q) 。 4、下列等价式成立的有( )。 A、P QQ P ; B、P(P R) R; C、P (P Q) Q; D 、P (Q R) (P Q) R。 5、若A1,A2 A n和B为 wff ,且A1 A2 A n B 则 ( )。 A、称A1 A2 A n 为 B 的前 件; B 、称 B 为A1,A2 A n 的有效结论

C 、 x(M (x) Mortal (x)) ; D 、 x(M(x) Mortal (x)) 8、公式 A x(P(x) Q(x))的解释 I 为:个体域 D={2} ,P(x) :x>3, Q(x) :x=4则 A 的 真 值为( ) 。 A 、 1; B 、 0; C 、 可满足式; D 、无法判定。 9、 下列等价关系正确的是( )。 A 、 x(P(x) Q(x)) xP(x) xQ(x); B 、 x(P(x) Q(x)) xP(x) xQ(x); C 、 x(P(x) Q) xP(x) Q ; D 、 x(P(x) Q) xP(x) Q 。 10 、 下列推理步骤错在( )。 ① x(F(x) G(x)) P ② F(y) G(y) US ① ③ xF(x) P ④ F(y) ES ③ ⑤G(y) T ②④I ⑥ xG(x) EG ⑤ A 、②; B 、④; C 、⑤; D 、⑥ 逻辑判断 30% 1、 用等值演算法和真值表法判断公式 A ((P Q) (Q P)) (P Q) 的类型。 C 、当且仅当 A 1 A 2 A n D 、当且仅当 A 1 A 2 A n B F 。 6、 A ,B 为二合式公式,且 B ,则( )。 7、 A 、 A C 、 A B 为重言式; B 、 B ; E 、 A B 为重言式。 人总是要死的”谓词公式表示为( )。 论域为全总个体域) M (x ) : x 是人; Mortal(x) x 是要死的。 A 、 M (x) Mortal (x) ; B M (x) Mortal (x)

大学几乎所有学科的课本答案

大学几乎所有学科的课本答案 ! 任明嘉的日志 经济金融 [PDF格式]《会计学原理》同步练习题答案 [Word格式]《成本会计》习题及答案(自学推荐,23页) [Word格式]《成本会计》配套习题集参考答案 [Word格式]《实用成本会计》习题答案 [Word格式]《会计电算化》教材习题答案(09年) [JPG格式]会计从业《基础会计》课后答案 [Word格式]《现代西方经济学(微观经济学)》笔记与课后习题详解(第3版,宋承先)[Word格式]《宏观经济学》习题答案(第七版,多恩布什) [Word格式]《国际贸易》课后习题答案(海闻P.林德特王新奎) [PDF格式]《西方经济学》习题答案(第三版,高鸿业)可直接打印 [Word格式]《金融工程》课后题答案(郑振龙版) [Word格式]《宏观经济学》课后答案(布兰查德版) [JPG格式]《投资学》课后习题答案(英文版,牛逼版) [PDF格式]《投资学》课后习题答案(博迪,第四版) [Word格式]《微观经济学》课后答案(高鸿业版) [Word格式]《公司理财》课后答案(英文版,第六版)

[Word格式]《国际经济学》教师手册及课后习题答案(克鲁格曼,第六版) [Word格式]《金融市场学》课后习题答案(张亦春,郑振龙,第二版)[PDF格式]《金融市场学》电子书(张亦春,郑振龙,第二版) [Word格式]《微观经济学》课后答案(平狄克版) [Word格式]《中级财务会计》习题答案(第二版,刘永泽) [PDF格式]《国际经济学》习题答案(萨尔瓦多,英文版) [JPG格式]《宏观经济学》课后答案(曼昆,中文版) [PDF格式]《宏观经济学》答案(曼昆,第五版,英文版)pdf格式 [Word格式]《技术经济学概论》(第二版)习题答案 [Word格式]曼昆《经济学原理》课后习题解答 [PDF格式]西方经济学(高鸿业版)教材详细答案 [Word格式]完整的英文原版曼昆宏观、微观经济学答案 [Word格式]《金融市场学》课后答案(郑振龙版) 化学物理 [Word格式]《固体物理》习题解答(方俊鑫版) [Word格式]《简明结构化学》课后习题答案(第三版,夏少武) [Word格式]《生物化学》复习资料大全(3套试卷及答案+各章习题集)[PDF格式]《光学教程》习题答案(第四版,姚启钧原著) [Word格式]《流体力学》实验分析答案(浙工大版) [Word格式]《高分子化学》课后习题答案(第四版,潘祖仁主编)

离散数学试卷及答案(1)

一、填空 20% (每小题2分) 1.设 }7|{)},5()(|{<∈=<∈=+x E x x B x N x x A 且且(N :自然数集,E + 正偶数) 则 =?B A 。 2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 。 3.设P ,Q 的真值为0,R ,S 的真值为1,则 )()))(((S R P R Q P ?∨→?∧→∨?的真值= 。 4.公式P R S R P ?∨∧∨∧)()(的主合取范式为 。 5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ?→? 在I 下真值为 。 6.设A={1,2,3,4},A 上关系图为 则 R 2 = 。 7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为 则 R= 。

8.图的补图为 。 9.设A={a ,b ,c ,d} ,A 上二元运算如下: 那么代数系统的幺元是 ,有逆元的元素为 ,它们的逆元分别为 。 10.下图所示的偏序集中,是格的为 。 二、选择 20% (每小题 2分) 1、下列是真命题的有( ) A . }}{{}{a a ? ; B .}}{,{}}{{ΦΦ∈Φ; C . }},{{ΦΦ∈Φ; D . }}{{}{Φ∈Φ。 2、下列集合中相等的有( ) A .{4,3}Φ?; B .{Φ,3,4}; C .{4,Φ,3,3}; D . {3,4}。 3、设A={1,2,3},则A 上的二元关系有( )个。

A.23 ;B.32 ;C.332?;D.223?。 4、设R,S是集合A上的关系,则下列说法正确的是() R 是自反的; A.若R,S 是自反的,则S R 是反自反的; B.若R,S 是反自反的,则S R 是对称的; C.若R,S 是对称的,则S R 是传递的。 D.若R,S 是传递的,则S 5、设A={1,2,3,4},P(A)(A的幂集)上规定二元系如下 t s p R= t s ∈ =则P(A)/ R=() < > ∧ A ) (| || |} ( , {t , | s A.A ;B.P(A) ;C.{{{1}},{{1,2}},{{1,2,3}},{{1,2,3,4}}};D.{{Φ},{2},{2,3},{{2,3,4}},{A}} 6、设A={Φ,{1},{1,3},{1,2,3}}则A上包含关系“?”的哈斯图为() 7、下列函数是双射的为() A.f : I→E , f (x) = 2x ;B.f : N→N?N, f (n) = ; C.f : R→I , f (x) = [x] ;D.f :I→N, f (x) = | x | 。 (注:I—整数集,E—偶数集,N—自然数集,R—实数集) 8、图中从v1到v3长度为3 的通路有()条。 A.0;B.1;C.2;D.3。 9、下图中既不是Eular图,也不是Hamilton图的图是()

离散数学期末考试试题及答案

离散数学试题(B卷答案1) 一、证明题(10分) 1)(P∧(Q∧R))∨(Q∧R)∨(P∧R)R 证明: 左端(P∧Q∧R)∨((Q∨P)∧R) ((P∧Q)∧R))∨((Q∨P)∧R) ((P∨Q)∧R)∨((Q∨P)∧R) ((P∨Q)∨(Q∨P))∧R ((P∨Q)∨(P∨Q))∧R T∧R(置换)R 2) x (A(x)B(x))xA(x)xB(x) 证明:x(A(x)B(x))x(A(x)∨B(x)) x A(x)∨xB(x) xA(x)∨xB(x) xA(x)xB(x) 二、求命题公式(P∨(Q∧R))(P∧Q∧R)的主析取范式和主合取范式(10分)。 证明:(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∧R)∨(P∧Q∧R)∨(P∧Q∧R))∨(P∧Q∧R))∨(P∧Q∧R) m0∨m1∨m2∨m7 M3∨M4∨M5∨M6 三、推理证明题(10分) 1)C∨D,(C∨D)E, E(A∧B),(A∧B)(R∨S)R∨S证明:(1) (C∨D) E ?P (2) E(A∧B) ??P (3) (C∨D)(A∧B) T(1)(2),I (4) (A∧B)(R∨S)??P (5) (C∨D)(R∨S) ? T(3)(4),I (6) C∨D P (7) R∨S T(5),I 2) x(P(x)Q(y)∧R(x)),xP(x)Q(y)∧x(P(x)∧R(x)) 证明(1)xP(x) P

(2)P(a) T(1),ES (3)x(P(x)Q(y)∧R(x)) P (4)P(a)Q(y)∧R(a) T(3),US (5)Q(y)∧R(a) T(2)(4),I (6)Q(y) T(5),I (7)R(a) T(5),I (8)P(a)∧R(a) T(2)(7),I (9)x(P(x)∧R(x)) T(8),EG (10)Q(y)∧x(P(x)∧R(x)) T(6)(9),I 四、某班有25名学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。而6个会打网球的人都会打另外一种球,求不会打这三种球的人数(10分)。 解:A,B,C分别表示会打排球、网球和篮球的学生集合。则|A|=12,|B|=6,|C|=14,|A∩C|=6,|B∩C|=5,|A∩B∩C|=2。 先求|A∩B|。 ∵6=|(A∪C)∩B|=|(A∩B)∪(B∩C)|=|(A∩B)|+|(B∩C)|-|A∩B∩C|=|(A∩B)|+5-2,∴|(A∩B)|=3。 于是|A∪B∪C|=12+6+14-6-5-3+2=20。不会打这三种球的人数25-20=5。五、已知A、B、C是三个集合,证明A-(B∪C)=(A-B)∩(A-C)(10分)。 证明:∵x A-(B∪C) x A∧x(B∪C) xA∧(xB∧x C) (x A∧x B)∧(x A∧xC) x(A-B)∧x(A-C) x(A-B)∩(A-C) ∴A-(B∪C)=(A-B)∩(A-C) 六、已知R、S是N上的关系,其定义如下:R={| x,yN∧y=x2} R*S={| x,y N∧y=x2+1} S*R={<x,y>| x,yN∧y=(x+1)2},R{1,2}={<1,1>,<2,4>},S[{1,2}]={1,4}。 七、设R={<a,b>,,<c,a>},求r(R)、s(R)和t(R) (15分)。 解:r(R)={,,,<b,b>,

离散数学期末考试试题(有几套带答案)

离散数学试题(A卷及答案) 一、证明题(10分) 1)(?P∧(?Q∧R))∨(Q∧R)∨(P∧R)?R 证明: 左端?(?P∧?Q∧R)∨((Q∨P)∧R)?((?P∧?Q)∧R))∨((Q∨P)∧R) ?(?(P∨Q)∧R)∨((Q∨P)∧R)?(?(P∨Q)∨(Q∨P))∧R ?(?(P∨Q)∨(P∨Q))∧R?T∧R(置换)?R 2)?x(A(x)→B(x))??xA(x)→?xB(x) 证明:?x(A(x)→B(x))??x(?A(x)∨B(x))??x?A(x)∨?xB(x)???xA(x)∨?xB(x)??xA(x)→?xB(x) 二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式(10分) 证明:(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∧R)∨(?P∧?Q∧?R)∨(?P∧Q∧?R))∨(?P∧?Q∧?R))∨(P∧Q∧R) ?m0∨m1∨m2∨m7 ?M3∨M4∨M5∨M6 三、推理证明题(10分) 1)C∨D, (C∨D)→?E, ?E→(A ∧?B), (A∧?B)→(R∨S)?R∨S 证明:(1) (C∨D)→?E (2) ?E→(A∧?B) (3) (C∨D)→(A∧?B) (4) (A∧?B)→(R∨S) (5) (C∨D)→(R∨S) (6) C∨D (7) R∨S 2) ?x(P(x)→Q(y)∧R(x)),?xP(x)?Q(y)∧?x(P(x)∧R(x)) 证明(1)?xP(x) (2)P(a) (3)?x(P(x)→Q(y)∧R(x)) (4)P(a)→Q(y)∧R(a) (5)Q(y)∧R(a)