100道离散数学填空题分解

离散数学试题库——填空题

(每空2分)

1 命题: ? ? {{a }} ? {{a },3,4,1} 的真值 = __ __ . 2. 设A= {a,b}, B = {x | x 2-(a+b) x+ab = 0}, 则两个集合的关系为: __ __. 3. 设集合A ={a ,b ,c },B ={a ,b }, 那么 P(B )-P(A )=__ __ .

4. 无孤立点的有限有向图有欧拉路的充分必要条件为:

5.公式))(),(()),()((x S z y R z y x Q x P x →?∨→?的自由变元是 , 约束变元是 .

6.)))()()(()),()(()((x R z Q z y x P y x →?→???的前束范式是 .

7.设 }7|{)},5()(|{<∈=<∈=+

x E x x B x N x x A 且且(N :自然数集,E + 正偶

数) 则 =?B A 。

8.A ,B ,C

9.设P ,Q 的真值为0,R ,S 的真值为1,则

)()))(((S R P R Q P ?∨→?∧→∨?的真值= 。

10.公式P R S R P ?∨∧∨∧)()(的主合取范式为

11.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ?→? 在I 下真值为

。 12.设A={1,2,3,4},A 上关系图为

则 R 2 = 。 13.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为

则 R= 。

14.图的补图为。15.设A={a,b,c,d} ,A上二元运算如下:

那么代数系统

,元的元素

为,它们的逆元分别为。

16. P:你努力,Q:你失败。“除非你努力,否则你将失败”的翻译为

;“虽然你努力了,但还是失败了”的翻译为

17. 论域D={1,2},指定谓词P

则公式),(x y yP x ??真值为 。 18.设S={a 1 ,a 2 ,…,a 8},B i 是S 的子集,则由B 31所表达的子集是 。

19.设A={2,3,4,5,6}上的二元关系}|,{是质数x y x y x R ∨<><=,则R=

(列举法)。

R 的关系矩阵M R = 。 20. 设A={1,2,3},则A 上既不是对称的又不是反对称的关系R= ;A 上既是对称的又是反对称的关系R= 。

21.设代数系统,运算表如右图。其中A={a ,

b ,c},

则幺元是 ;是否有幂等

性 ;是否有对称性 。

22. 4阶群必是 群或 群。

23. n 个结点的无向完全图K n 的边数为 ,欧拉图的充要条件是 。 24.

R

Q P Q P P ?∧∨?∧∧?∨)(())((的根树表示

为 。 25. 设 f ,g 是自然数集N 上的函数x x g x x f N x 2)(,1)(,

=+=∈?,

则=)(x g f 。

26.设A={a ,b ,c},A 上二元关系R={< a, a > , < a, b >,< a, c >, < c, c>} ,

则s (R )= 。

27.A={1,2,3,4,5,6},A 上二元关系}|,{是素数y x y x T ÷><=,则用列举

T= ; T 的关系图为

; T 具有 性质。

28.集

}}

2{},2,{{Φ=A 的幂集

A 2= 。

29.P ,Q 真值为0 ;R ,S 真值为1。则))()(())((S R Q P S R P wff ∧∧∨→∨∧的真值为 。 30.R

R Q P wff →∨∧?))((的

为 。

31.P (x ):x 是素数, E(x):x 是偶数,O(x):x 是奇数 N (x,y):x 可以整数y 。则谓词))),()(()((x y N y O y x P x wff

∧?→?的自然语言

是 。

32.谓词)),,()),(),(((u y x uQ z y P z x P z y x wff ?→∧???的前束范式为

33. 若P ,Q ,为二命题,Q P →真值为0 当且仅当 。

34.命题“对于任意给定的正实数,都存在比它大的实数”令F(x):x 为实数,

y

x y x L >:),(则命题的逻辑谓词公式

为 。 35.谓

)

()(x xQ x xP ?→?的前束范式

为 。

36.将量词辖域中出现的 和指导变元交换为另一变元符号,公式其余的部分不变,这种方法称为换名规则。

37.设x 是谓词合式公式A 的一个客体变元,A 的论域为D ,A(x)关于y 是自由的,则

被称为存在量词消去规则,记

为ES 。

38. 设G 为9阶无向图,每个结点度数不是5就是6,则G 中至少有 个5度结点。

39. n 阶完全图,K n 的点数X (K n ) = 。

40. 有向图 中从v 1到v 2长度为2的通路有

条。

41. 设[R ,+,·]是代数系统,如果①[R ,+]是交换群 ②[R ,·]是半群 ③ 则称[R ,+,·]为环。 42. 设],,[⊕?L 是代数系统,则],,[⊕?L 满足幂等律,即对L a ∈?有 。

43.n 阶完全图结点v 的度数d(v) = 。 44.设n 阶图G 中有m 条边,每个结点的度数不是k 的是k+1,若G 中有N k 个k 度顶点,N k+1个k+1度顶点,则N k = 。 45.算

)

*()*)*(((f e d c b a ÷+的二叉树表示

为 。 46.如右图给出格L ,则e 的补元是 。

47.一组学生,用二二扳腕子比赛法来测定臂力的大小,则幺元是 。 48.任何(n,m) 图

G = (V,E) , 边与顶点数的关系

是 。

49.当n 为 时,非平凡无向完全图K n 是欧拉图。 50.已知一棵无向树T 有三个3顶点,一个2度顶点,其余的都是1度顶点,

则T 中有 个1度顶点。

51.n 阶完全图K n 的点色数X(K N )= 。

52.一组学生,用两两扳腕子比赛来测定臂力大小,则幺元是 。

53.n 阶完全图K n 的边数为 。 54.右图 的

A= 。

55.图 的对偶图为 。

56.完全二叉树中,叶数为n t ,则边数m= 。

57.设< {a,b,c}, * >为代数系统,* 运算表如下:

;零元为 ;

58.a 、b 、c 的逆元分别为 。 59.选择合适的论域和谓词表达集合A=“直角坐标系中,单位元(不包括单位圆周

A= 。 60.集

A={

Φ

,{

Φ

}}的幂集P(A)

= 。

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

R

图 。 62.设A={<1,2>,<2 , 4 >,<3 , 3 >} , B={<1,3>,<2,4>,<4,2>},

B A ?= 。

B

A =

63. 设|A|=3,则A 上有 个二元关系。 64.A={1,2,3}上关系R= 时,R 既是对称的又是反对称的。

65.偏序集><≤R A ,的哈斯图为

R =

66. 设|X|=n ,|Y|=m 则(1)从X 到Y 有 个不同的函数。

(2) 当n , m 满足 时,存在双射有 个

不同的双射。

67.2是有理数的真值为 。 68.Q :我将去上海,R :我有时间,公式)()(Q R R Q →∧→的

为 。 69.公

)

()(Q P P Q ∧?∧→的主合取范式

是 。 70.若} ,, , {21m S S S S =是集合

A

的一个分划,则它应满

足 。

71. 称为命题。 72.命

P

Q

当 。

73.一个命题含有4个原子命题,则对其所有可能赋值有 种。 74.所

为 。 75.令P (x ):x 是质数,E (x ):x 是偶数,Q (x ):x 是奇数,D (x ,y ):x 除尽

y.

)))

(),(()((y E y x D y x E x →?→?的汉语翻译

为 。 76.设

S={a

b,

c}

S 6

为 。 77.P

P(

Φ

))

= 。 78.B

A ⊕=

。 79.设

R

A

t (R )

= 。 80.若

R

A

R

足 。

81.设集合A={1,2,3,4,5,6,7,8,9,10},定义A 上的二元关系“≤”为

x

y

=

x|y

,

y x ∨= 。

82.设},2|{N n x x A n

∈==,定义A 上的二元运算为普通乘法、除法和加法,则

代数系统中运算*关于 运算具有封闭性。

83.设集合S={α,β,γ,δ,ζ},S 上的运算*定义为

左逆元是 ,无左逆元的元素是 。

84. 在群坯、半群、独异点、群中 满足消去律。 85. 设是由元素G a ∈生成的循环群,且|G|=n ,

G

= 。 86.拉格朗日定理说明若是群的子群,则可建立G 中的等价关系R= 。 87.若

|G|=n,

|H|=m

m

n

系为 。

88.设f 是由群到群的同态映射,e '是G '中的幺元, 89.则

f

Ker(f )= 。

90.}0|{>∧∈=+

x Z x x Z ,*表示求两数的最小公倍数的运算(Z 表示整数集合),

对于*运算的幺元是 ,零元是 。 91.代数系统中,|A|>1,如果θ和e 分别为的幺元和零元,则θ和e 的关系为 。

92.设是一个群,是阿贝尔群的充要条件是 。

93.图的完全关联矩阵

为 。 94.一

是 。

95.设I 是整数集合,Z 3是由模3的同余类组成的同余类集,在Z 3上定义+3如下:

]

3mod )[(][][3j i j i +=+,则+3的运算表

为 ;是否构成群 。

96.设G 是n 阶完全图,则G 的边数m= 。 97.如果有一台计算机,它有一条加法指令,可计算四数的和。现有28个数需要计算和,它至少要执行 次这个加法指令。 98.如果有限集合A 有n 个元素,则|2A |= 。 99.某集合有101个元素,则有 个子集的元素为奇数。 100.

设S={a 1,a 2,…,a 8},B i 是S 的子集,由B 17表达的子集

为 , 子集{a 2,a 6,a 7}规定为 。

离散数学第二次在线作业

第二次在线作业 1.( 2.5分)代数系统是指由集合及其上的一元或二元运算符组成的系统 ?正确 ?错误 我的答案:正确此题得分:2.5分 2.(2.5分)设< L*1*2> 是代数系统,其中是*1*2二元运算符,如果*1*2都满足交换律、结合律,并且*1和*2满足吸收律,则称< L*1*2> 是格 ?正确 ?错误 我的答案:正确此题得分:2.5分 3.(2.5分)对实数的普通加法和乘法,0是加法的幂等元,1是乘法的幂等元 ?正确 ?错误 我的答案:正确此题得分:2.5分 4.(2.5分)零元是不可逆的 ?正确 ?错误 我的答案:正确此题得分:2.5分 5.(2.5分)群中每个元素的逆元都是惟一的 ?正确 ?错误 我的答案:正确此题得分:2.5分

6.(2.5分)设abc是阿贝尔群< G+> 的元素,则-(a+b+c)=(-a)+( -b)+( -c) ?正确 ?错误 我的答案:正确此题得分:2.5分 7.(2.5分) < {01234}MAXMIN> 是格 ?正确 ?错误 我的答案:正确此题得分:2.5分 8.(2.5分)一个图的哈密尔顿路是一条通过图中所有结点一次且恰好一次的路 ?正确 ?错误 我的答案:正确此题得分:2.5分 9.(2.5分)在有向图中,结点v的出度deg+(v)表示以v为起点的边的条数,入度deg-(v)表示以v为终点的边的条数 ?正确 ?错误 我的答案:正确此题得分:2.5分 10.(2.5分)一个图的欧拉回路是一条通过图中所有边一次且恰好一次的回路 ?正确 ?错误 我的答案:正确此题得分:2.5分

11.(2.5分)不含回路的连通图是树 ?正确 ?错误 我的答案:正确此题得分:2.5分 12.(2.5分)简单图邻接矩阵主对角线上的元素全为0 ?正确 ?错误 我的答案:正确此题得分:2.5分 13.(2.5分)树一定是连通图 ?正确 ?错误 我的答案:正确此题得分:2.5分 14.(2.5分)无向图的邻接矩阵是对称阵 ?正确 ?错误 我的答案:正确此题得分:2.5分 15.(2.5分)不与任何结点相邻接的结点称为孤立结点 ?正确 ?错误 我的答案:正确此题得分:2.5分

100道离散数学填空题分解

离散数学试题库——填空题 (每空2分) 1 命题: ? ? {{a }} ? {{a },3,4,1} 的真值 = __ __ . 2. 设A= {a,b}, B = {x | x 2-(a+b) x+ab = 0}, 则两个集合的关系为: __ __. 3. 设集合A ={a ,b ,c },B ={a ,b }, 那么 P(B )-P(A )=__ __ . 4. 无孤立点的有限有向图有欧拉路的充分必要条件为: 5.公式))(),(()),()((x S z y R z y x Q x P x →?∨→?的自由变元是 , 约束变元是 . 6.)))()()(()),()(()((x R z Q z y x P y x →?→???的前束范式是 . 7.设 }7|{)},5()(|{<∈=<∈=+ x E x x B x N x x A 且且(N :自然数集,E + 正偶 数) 则 =?B A 。 8.A ,B ,C 。 9.设P ,Q 的真值为0,R ,S 的真值为1,则 )()))(((S R P R Q P ?∨→?∧→∨?的真值= 。 10.公式P R S R P ?∨∧∨∧)()(的主合取范式为 。 11.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ?→? 在I 下真值为 。 12.设A={1,2,3,4},A 上关系图为 则 R 2 = 。 13.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为

则 R= 。 14.图的补图为。15.设A={a,b,c,d} ,A上二元运算如下: 那么代数系统的 ,元的元素 为,它们的逆元分别为。 16. P:你努力,Q:你失败。“除非你努力,否则你将失败”的翻译为 ;“虽然你努力了,但还是失败了”的翻译为 。 17. 论域D={1,2},指定谓词P

(完整版)离散数学作业答案一

离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、 数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外) 安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。 要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求本学期第17周末前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分。 一、填空题 1 .命题公式P (Q P)的真值是T或1 ______ . 2?设P:他生病了,Q:他出差了. R:我同意他不参加学习.则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为(P V Q)-R 3. ____________________________________________________________ 含有三个命题变项P,Q,R的命题公式P Q的主析取范式是__________________ _(P Q R) (P Q R)_ 4. 设P(x): x是人,Q(x): x去上课,则命题“有人去上课.” 可符号化为— x(P(x) Q(x))_ 5. 设个体域D = {a, b},那么谓词公式xA(x) yB(y)消去量词后的等值式为 (A(a) A(b)) (B(a) B(b))_ 6 .设个体域D = {1,2, 3},A(x)为“x大于3”,则谓词公式(x)A(x)的真值为F 或0 ________________ . 7.谓词命题公式(x)((A(x) B(x)) C(y))中的自由变元为 ________ . 8 .谓词命题公式(x)(P(x) Q(x) R(x,y))中的约束变元为x _______ . 三、公式翻译题 1 .请将语句“今天是天晴”翻译成命题公式

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

离散数学试题(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 是反对称的;可计算对应的关系矩阵为:

《离散数学》第2次作业

一、填空题 1. 设A = {1, 2}, B = {2, 3}, 则A - A =________, A – B =________, B – A =________. 2. 设N 是自然数集合, f 和g 是N 到N 的函数, 且f (n ) = 2n +1,g (n ) = n 2, 那么复合函数(f f ) (n )=________ , (f g ) (n )=________ , (g f ) (n ) =________. 3. 设|X | = n , P (X )为集合X 的幂集, 则| P (X )| = ________. 在代数结构(P (X ), ∪)中,则P (X ) 对∪运算的单位元是________, 零元是________ . 4. 在下图中, _______________________________是其Euler 路 . 5. 设有向图G = (V , E ),V = {v 1,v 2,v 3,v 4},若G 的邻接矩阵A =???? ??????1001001111011010, 则v 1的出度deg +(v 1) =________, v 1的入度deg -(v 1) =________, 从v 2到v 4长度为2的路有________条. 二、单选题 1. 设A = {{1, 2, 3}, {4, 5}, {6, 7, 8}}, 下列选项正确的是( ) (A) 1∈A (B) {1, 2, 3}?A (C) {{4, 5}}?A (D) ?∈A . 2.集合A = {1, 2, …, 10}上的关系R ={(x , y )|x + y = 10, x , y ∈A }, 则R 的性质是 ( ) (A) 自反的 (B) 对称的 (C) 传递的、对称的 (D) 反自反的、传递的. 3.若R 和S 是集合A 上的两个关系,则下述结论正确的是( ) (A) 若R 和S 是自反的, 则R ∩S 是自反的 (B) 若R 和S 是对称的, 则R S 是对称的 (C) 若R 和S 是反对称的, 则R S 是反对称的 (D) 若R 和S 是传递的, 则R ∪S 是传递的. 4.集合A = {1, 2, 3, 4}上的关系 R = {(1, 4), (2, 3), (3, 1), (4, 3)}, 则下列不是..t (R )中元素的是( ) (A) (1, 1) (B) (1, 2) (C) (1, 3) (D) (1, 4). 5.设p :我们划船,q :我们跑步, 则有命题“我们不能既划船又跑步”符号化为( ) (A) ? p ∧? q (B) ? p ∨? q

离散数学作业(2)

离散数学作业布置 第1次作业(P15) 1.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=1 1.17 判断下面一段论述是否为真:“π是无理数。并且,如果3是无理数,则2 也是无理数。另外只有6能被2整除,6才能被4整除。” 解:p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 6能被4整除0 命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。 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 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式,最后一列全为1 (5)公式类型为可满足式(方法如上例),最后一列至少有一个1 (6)公式类型为永真式(方法如上例,最后一列全为1)。 第2次作业(P38) 2.3 用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值. (1) ﹁(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 解:(1) ﹁(p∧q→q) ?﹁(﹁(p∧q) ∨q) ?(p∧q) ∧﹁q?p∧(q ∧﹁q) ? p∧0 ?0 所以公式类型为矛盾式 (2)(p→(p∨q))∨(p→r) ? (﹁p∨(p∨q))∨(﹁p∨r) ?﹁p∨p∨q∨r?1 所以公式类型为永真式 (3) (p∨q) → (p∧r) ?¬(p∨q) ∨ (p∧r) ? (¬p∧¬q) ∨(p∧r) 易见, 是可满足式, 但不是重言式. 成真赋值为: 000,001, 101, 111

离散数学试卷及答案一

一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个选项中只有 一个选项是符合题目要求的,请将正确选项前的字母填在题后的括号内。 1.一个连通的无向图G,如果它的所有结点的度数都是偶数,那么它具有一条( ) A.汉密尔顿回路 B.欧拉回路 C.汉密尔顿通路 D.初级回路 2.设G是连通简单平面图,G中有11个顶点5个面,则G中的边是( ) A.10 B.12 C.16 D.14 3.在布尔代数L中,表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( ) A.b∧(a∨c) B.(a∧b)∨(a’∧b) C.(a∨b)∧(a∨b∨c)∧(b∨c) D.(b∨c)∧(a∨c) 4.设i是虚数,·是复数乘法运算,则G=<{1,-1,i,-i},·>是群,下列是G的子群是( ) A.<{1},·> B.〈{-1},·〉 C.〈{i},·〉 D.〈{-i},·〉 5.设Z为整数集,A为集合,A的幂集为P(A),+、-、/为数的加、减、除运算,∩为集合的交 运算,下列系统中是代数系统的有( ) A.〈Z,+,/〉 B.〈Z,/〉 C.〈Z,-,/〉 D.〈P(A),∩〉 6.下列各代数系统中不含有零元素的是( ) A.〈Q,*〉Q是全体有理数集,*是数的乘法运算 B.〈Mn(R),*〉,Mn(R)是全体n阶实矩阵集合,*是矩阵乘法运算 C.〈Z,ο〉,Z是整数集,ο定义为xοxy=xy,?x,y∈Z D.〈Z,+〉,Z是整数集,+是数的加法运算 7.设A={1,2,3},A上二元关系R的关系图如下: R具有的性质是 A.自反性 B.对称性 C.传递性 D.反自反性 8.设A={a,b,c},A上二元关系R={〈a,a〉,〈b,b〉,〈a,c〉},则关系R的对称闭包S(R)是( ) A.R∪I A B.R C.R∪{〈c,a〉} D.R∩I A 9.设X={a,b,c},Ix是X上恒等关系,要使Ix∪{〈a,b〉,〈b,c〉,〈c,a〉,〈b,a〉}∪R为X上的 等价关系,R应取( ) A.{〈c,a〉,〈a,c〉} B.{〈c,b〉,〈b,a〉} C.{〈c,a〉,〈b,a〉} D.{〈a,c〉,〈c,b〉} 10.下列式子正确的是( ) A. ?∈? B.??? C.{?}?? D.{?}∈? 11.设解释R如下:论域D为实数集,a=0,f(x,y)=x-y,A(x,y):x

2013年4月考试离散数学第二次作业

2013年4月考试离散数学第二次作业 一、单项选择题(本大题共50分,共 25 小题,每小题 2 分) 1. 下列语句中为命题的是() A. 暮春三月,江南草长. B. 这是多么可爱的风景啊! C. 大家想做什么,就做什么,行吗? D. 请勿践踏草地! 2. 2.设G是n个顶点的无向简单图,则下列说法不正确的是() A. 若G是树,则其边数等于n-1 B. 若G是欧拉图,则G中必有割边 C. 若G中有欧拉路,则G是连通图,且有零个或两个奇度数顶点 D. 若G中任意一对顶点的度数之和大于等于n-1,则G中有汉密尔顿路 3. 集合|A|=3,|B|=2,则A B上不同的函数个数为()。 A. 3+2个 B. 32个 C. 2*3个 D. 23个 4. 设A-B=φ,则以下正确的是()。 A. A=B B. A?B C. B?A D. 以上都不对 5. 设R为实数集,函数f:R→R,f(x)=2x,则f是() A. 满射函数 B. 入射函数 C. 双射函数 D. 非入射非满射 6. 设B={a,b,c},C={1,2,3,4},以下哪个关系是从B到C的单射函数?() A. f={<1,8>,<3,9>,<4,10>,<2,6>,<5,7>} B. f={<1,7>,<2,6>,<4,8>,<1,9>,<5,10>} C. f={<1,7>,<2,7>,<4,9>,<3,8>} D. f={<1,10>,<5,9>,<3,6>,<4,6>,<2,8>} E. f={<1,7>,<5,10>,<2,6>,<4,8>,<3,9>} 7. 下述*运算为实数集上的运算,其中可交换且可结合的运算是()。 A. a*b=a+2b B. a*b=a+b-ab C. a*b=a D. a*b=|a+b| 8. 在下列命题中,为真的命题是() A. 汉密顿图一定是欧拉图 B. 无向完全图都是欧拉图 C. 度数为奇数的结点个数为0个或2个的连通无向图G可以一笔画出 D. 有割点的连通图是汉密顿图 9. 设p:小李努力学习,q:小李取得好成绩,命题“只有小李努力学习,他才能取得好成绩”的符号化形式为()。 A. B. C.

离散数学作业

命题逻辑的基本概念 一、单项选择题 1.下列语句中不是命题的有( ). A 9+5≤12 B. 1+3=5 C. 我用的电脑CPU 主频是1G 吗D.我要努力学习。 2. 下列语句是真命题为( ). A. 1+2=5当且仅当2是偶数 B. 如果1+2=3,则2是奇数 C. 如果1+2=5,则2是奇数 D. 你上网了吗 3. 设命题公式)(r q p ∧→?,则使公式取真值为1的p ,q ,r 赋值分别是 ( ) 0,0,1)D (0 ,1,0)C (1 ,0,0)B (0 ,0,0)A ( 4. 命题公式q q p →∨ )(为 ( ) (A) 矛盾式 (B) 仅可满足式 (C) 重言式 (D) 合取范式 5. 设p:我将去市里,q :我有时间. 命题“我将去市里,仅当我有时间时”符号化为为( ) q p q p q p p q ?∨??→→)D ()C ()B ()A (6.设P :我听课,Q :我看小说. “我不能一边听课,一边看小说”的符号为( ) A. Q P ?→ ; B. Q P →?; C. P Q ?∧? ; D. )(Q P ∧? 二、判断下列语句是否是命题,若是命题是复合命题则请将其符号化 (1)中国有四大发明。 (2)2是有理数。 (3)“请进!” (4)刘红和魏新是同学。 (5)a+b (6)如果买不到飞机票,我哪儿也不去。 (8)侈而惰者贫,而力而俭者富。(韩非:《韩非子显学》) (9)火星上有生命。 (10)这朵玫瑰花多美丽啊! 二、将下列命题符号化,其中p:2<1,q:3<2 (1)只要2<1,就有3<2。 (2)如果2<1,则32。 (3)只有2<1,才有32。 (4)除非2<1,才有32。 (5)除非2<1,否则32。

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

一、填空 20% (每小题2分) 1、 P :你努力,Q :你失败。“除非你努力,否则你将失败”的翻译为 ;“虽然你努力了,但还是失败了”的翻译为 。 2、论域D={1,2},指定谓词P 则公式),(x y yP x ??真值为 。 2、 设S={a 1 ,a 2 ,…,a 8},B i 是S 的子集,则由B 31所表达的子集是 。 3、 设A={2,3,4,5,6}上的二元关系}|,{是质数x y x y x R ∨<><=,则R= (列举法)。 R 的关系矩阵M R = 。 5、设A={1,2,3},则A 上既不是对称的又不是反对称的关系R= ; A 上既是对称的又是反对称的关系R= 。 6、设代数系统,其中A={a ,b ,c}, 则幺元是 ;是否有幂等 性 ;是否有对称性 。 7、4阶群必是 群或 群。 8、下面偏序格是分配格的是 。

9、n 个结点的无向完全图K n 的边数为 ,欧拉图的充要条件是 。 10、公式R Q P Q P P ?∧∨?∧∧?∨)(())(( 的根树表示为 。 二、选择 20% (每小题2分) 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 的关系图为

中石油北京19春《离散数学》第二次在线作业

------------------------------------------------------------------------------------------------------------------------------ 1.(2.5分)代数系统是指由集合及其上的一元或二元运算符组成的系统 正确 错误 正确答案: 2.(2.5分)设< L,*1,*2> 是代数系统,其中是*1,*2二元运算符,如果*1,*2都满足交换律、结合律,并且*1和*2满足吸收律,则称< L,*1,*2> 是格 正确 错误 正确答案: 3.(2.5分)对实数的普通加法和乘法,0是加法的幂等元,1是乘法的幂等元 正确 错误 正确答案: 4.(2.5分)零元是不可逆的 正确 错误 正确答案: 5.(2.5分)群中每个元素的逆元都是惟一的 正确 错误 正确答案: 6.(2.5分)设a,b,c是阿贝尔群< G,+> 的元素,则-(a+b+c)=(-a)+( -b)+( -c) 正确 错误 正确答案: 7.(2.5分) < {0,1,2,3,4},MAX,MIN> 是格 正确 错误 正确答案: 8.(2.5分)一个图的哈密尔顿路是一条通过图中所有结点一次且恰好一次的路 正确 错误 正确答案: 9.(2.5分)在有向图中,结点v的出度deg+(v)表示以v为起点的边的条数,入度deg-(v)表示以v为终点的边的条数 正确 错误 正确答案: 10.(2.5分)一个图的欧拉回路是一条通过图中所有边一次且恰好一次的回路 正确 错误 正确答案: 11.(2.5分)不含回路的连通图是树

离散数学期末练习题-(带答案)

离散数学复习注意事项: 1、第一遍复习一定要认真按考试大纲要求将本学期所学习内容系统复习一遍。 2、第二遍复习按照考试大纲的要求对第一遍复习进行总结。把大纲中指定的例题及书后习题认真做一做。检验一下主要内容的掌握情况。 3、第三遍复习把随后发去的练习题认真做一做,检验一下第一遍与第二遍复习情况,要认真理解,注意做题思路与方法。 离散数学综合练习题 一、选择题 1.下列句子中,()是命题。 A.2是常数。B.这朵花多好看呀! C.请把门关上!D.下午有会吗? 2.令p: 今天下雪了,q:路滑,r:他迟到了。则命题“下雪路滑,他迟到了” 可符号化为()。 A. p q r ∨→ ∧→ B. p q r C. p q r ∨? ∧∧ D. p q r 3.令:p今天下雪了,:q路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为()。 A.p q ∧ ∧? B.p q C.p q →? ∨? D. p q 4.设() Q x:x会飞,命题“有的鸟不会飞”可符号化为()。 P x:x是鸟,() A. ()(()()) Q x ??∧()) x P x Q x ??→ B. ()(() x P x C. ()(()()) Q x ??∧()) x P x Q x ??→ D. ()(() x P x 5.设() L x y:x大于等于y;命题“所有整数 f x:x的绝对值,(,) P x:x是整数,() 的绝对值大于等于0”可符号化为()。 A. (()((),0)) ?→ x P x L f x ?∧B. (()((),0)) x P x L f x C. ()((),0) ?→ xP x L f x ?∧ D. ()((),0) xP x L f x 6.设() F x:x是人,() G x:x犯错误,命题“没有不犯错误的人”符号化为()。 A.(()()) ??→? x F x G x ?∧B.(()()) x F x G x C.(()()) ??∧? x F x G x ??∧D.(()()) x F x G x 7.下列命题公式不是永真式的是()。 A. () p q p →→ →→ B. () p q p C. () →∨ p q p p q p ?∨→ D. () 8.设() R x:x为有理数;() Q x:x为实数。命题“任何有理数都是实数”的符号化为()

离散数学试题与答案

试卷二试题与参考答案 一、填空 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、下面偏序集( )能构成格。

离散数学 练习题七

9.给定算式: {[(a +b)*c]*(d +e)}+[f -(g *h)] 此算式的波兰符号表示式为( ), 逆波兰符号表示式为( ). A 、+**a +bc +def -g *h B 、+**+abc +de -f *gh C 、*-*+abc +de -fgh + D 、ab +c *de +*fgh *-+ 10.设R,Z,N 分别为实数,整数和自然数集,函数f :R →R ,f(x)=x ,f 是( ); g: Z →N, g(x)=|x|, g 是( ); h: N →N ×N. h(n)=﹤n,n +1﹥,h({5})=( ) A .满射函数 B .单射函数 C .双射函数 D .非单射非满射 E. 满射非单射 F.单射非满射 G ,<5,6> H,{<5,6>} J,以上答案都不对. 11. 75个学生去书店买语文,数学,英语书,每种书每个学生至多买1本.已知20个学生每人 买3本书,55个学生每人至少买2本书.每本书的价格都是1元,所有学生总共花费 140元,恰好买2本书的有( )多少个学生.至少买2本书的学生花费( )元.买 1本书的有( )个学生.至少买1本书的有( )个学生.没买书的有( )个学生. A.55 B.40 C.35 D.15 E.30 F.130 G.65 H.140 J.60 K.10 12. 为每个逻辑断言选择正确的解释。T(x):x 今天来上课,S(x):x 学计算机专业的学生, P(x):x 编程序,G(x):x 玩游戏。个体域是殷都大学。 ?x T(x)表示( ),??x T(x)表示( ),?x ? T(x)表示( ),?x(S(x)→P(x))表示( ),?x(S(x)∧G(x))表示( ),?x(S(x)∧P(x))表示( ),?x(S(x)→G(x))表示( )。 A 学计算机专业的学生会编程序, B 殷都大学的学生都是计算机专业且会编程序。 C 有些计算机专业的学生玩游戏, D 所有同学今天都来上课了, E 今天有同学没来上课。 F 计算机专业的学生玩游戏, G 今天没有同学来上课。 二、计算与应用题(共40分) 1. S={ 1,2,…,10 },定义S 上的关系R={ | x,y ∈S ∧ x+y=10 }, 试列举出R 中的所有有序对,并分析说明R 具有哪些性质。(10分)

华南理工离散数学作业题2017版

华南理工大学网络教育学院 2014–2015学年度第一学期 《离散数学》作业 (解答必须手写体上传,否则酌情扣分) 1.设命题公式为?Q∧(P→Q)→?P。 (1)求此命题公式的真值表; (2)求此命题公式的析取范式; (3)判断该命题公式的类型。 解:(1)真值表如下: P Q ?Q P →Q ?Q∧(P→Q)?P ?Q∧(P→Q)→?P 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 (2)?Q∧(P→Q)→?P??(?Q∧(?P∨ Q)) ∨? P ?( Q∨? (?P∨ Q)) ∨? P ?? ( ?P∨ Q) ∨ (Q∨?P) ?1(析取范式) ?(?P∧? Q) ∨ (?P∧ Q) ∨ (P∧? Q) ∨(P∧ Q)(主析取范式) (3)该公式为重言式 2.用直接证法证明 前提:P∨Q,P→R,Q→S 结论:S∨R 解:(1)?S P (2)Q →S P (3) ? Q (1)(2) (4)P∨ Q P

(5)P (3)(4) (6) P → R P (7)R (5)(6) (8)?S→ R (1)(7) 即SVR得证 3.在一阶逻辑中构造下面推理的证明 每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车。因而有的人不喜欢步行。 令F(x):x喜欢步行。G(x):x喜欢坐汽车。H(x):x喜欢骑自行车。 解:前题:?x (F (x) →?G(x)), ?x (G (x) ∨H (x)) ? x ?H (x) 结论:? x ?F (x) 证:(1)? x ?F (x) p (2) ?H (x) ES(1) (3) ?x (G (x) ∨H (x))P (4)G(c) vH(c)US(3) (5)G(c) T(2,4)I (6)?x (F (x) →?G(x)), p (7)F (c) →?G(c) US(6) (8) ?F (c) T(5,7)I (9)( ? x) ?F (x) EG(8) 4.用直接证法证明: 前提:(?x)(C(x)→W(x)∧R(x)),(?x)(C(x)∧Q(x)) 结论:(?x)(Q(x)∧R(x))。 证: (1)(?x)(C(x)∧Q(x))P (2) C (c) ∧Q(c)ES(1) (3)(?x)(C(x)→W(x)∧R(x))P

电大离散数学作业答案作业答案

离散数学作业5 离散数学图论部分形成性考核书面作业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第二次作业,大家要认真及时地完成图论部分的综合练习作业。 要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求2010年12月5日前完成并上交任课教师(不收电子稿)。并在05任务界面下方点击“保存”和“交卷”按钮,以便教师评分。 一、填空题 1.已知图G 中有1个1度结点,2个2度结点,3个3度结点,4个4度结点,则G 的边数是 15 . 2.设给定图G (如右由图所示),则图G 的点割集是 {}f {}c e ,. 3.设G 是一个图,结点集合为V ,边集合为E ,则 G 的结点 度数之和 等于边数的两倍. 4.无向图G 存在欧拉回路,当且仅当G 连通且 不含奇数度结点 . 5.设G=是具有n 个结点的简单图,若在G 中每一对结点度数 之和大于等于︱V ︱ ,则在G 中存在一条汉密尔顿回路. 6.若图G=中具有一条汉密尔顿回路,则对于结点集V 的每个非空子集S ,在G 中删除S 中的所有结点得到的连通分支数为W ,则S 中结点数|S|与W 满足的关系式为 S W ≤ . 7.设完全图K n 有n 个结点(n ?2),m 条边,当n 为奇数时,K n 中存在欧拉回路. 8.结点数v 与边数e 满足 e= v -1 关系的无向连通图就是树. 9.设图G 是有6个结点的连通图,结点的总度数为18,则可从G 中删去 条边后使之变成树. 10.设正则5叉树的树叶数为17,则分支数为i = 4 . 二、判断说明题(判断下列各题,并说明理由.) 1.如果图G 是无向图,且其结点度数均为偶数,则图G 存在一条欧拉回路.. 答:错误。应叙述为:“如果图G 是无向连通图,且其结点度数均为偶数,则图G 存在一条欧拉回路。” 2.如下图所示的图G 存在一条欧拉回路. 答:错误。因为图中存在奇数度结点,所以不存在欧拉回路。 3.如下图所示的图G 不是欧拉图而是汉密尔顿图. 答:正确。因为有4个结点的度数为奇数,所以不是欧拉图;而对于图中任意点集V 中的非空子集1V ,都有)(1V G P -??V 1?。其中)(1V G P -是从图中删除1V 结点及其关联的边。 4.设G 是一个有7个结点16条边的连通图,则G 为平面图. 答:错误。若G 是连通平面图,那么若63,3-≤≥v e v 就有, 而16>3×7-6,所以不满足定理条件,叙述错误。 5.设G 是一个连通平面图,且有6个结点11条边,则G 有7个面. 姓 名: 学 号: 得 分: 教师签名: G

《离散数学》练习题和参考答案

《离散数学》练习题和参考答案 一、选择或填空(数理逻辑部分) 1、下列哪些公式为永真蕴含式?( ) (1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P 答:(1),(4) 2、下列公式中哪些是永真式?( ) (1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q) 答:(2),(3),(4)3、设有下列公式,请问哪几个是永真蕴涵式?( ) (1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q (4)P∧(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P∧(P∨Q)=>?P 答:(2),(3),(4),(5),(6) 4、公式?x((A(x)→B(y,x))∧?z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。答:x,y, x,z 5、判断下列语句是不是命题。若是,给出命题的真值。( ) 北京是中华人民共和国的首都。 (2) 陕西师大是一座工厂。(3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。(5) 前进! (6) 给我一杯水吧! 答:(1)是,T (2)是,F (3)不是 (4)是,T (5)不是(6)不是 6、命题“存在一些人是大学生”的否定是( ),而命题“所有的人都是要死的”的否定是( )。 答:所有人都不是大学生,有些人不会死 7、设P:我生病,Q:我去学校,则下列命题可符号化为( )。 (1) 只有在生病时,我才不去学校 (2) 若我生病,则我不去学校 (3) 当且仅当我生病时,我才不去学校(4) 若我不生病,则我一定去学校 答:(1) P Q→ ?(2)Q P? →(3)Q P? ?(4)Q P→ ? 8、设个体域为整数集,则下列公式的意义是( )。 (1) ?x?y(x+y=0) (2) ?y?x(x+y=0) 答:(1)对任一整数x存在整数 y满足x+y=0(2)存在整数y对任一整数x满足x+y=0 9、设全体域D是正整数集合,确定下列命题的真值: (1) ?x?y (xy=y) ( ) (2) ?x?y(x+y=y) ( ) (3) ?x?y(x+y=x) ( ) (4) ?x?y(y=2x) ( )答:(1) F (2) F (3)F (4)T 10、设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式?x(P(x)∨Q(x))在哪个个体域中为真?( ) (1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答:(1) 11、命题“2是偶数或-3是负数”的否定是()。答:2不是偶数且-3不是负数。 12、永真式的否定是() (1) 永真式(2) 永假式(3) 可满足式(4) (1)--(3)均有可能答:(2) 13、公式(?P∧Q)∨(?P∧?Q)化简为(),公式 Q→(P∨(P∧Q))可化简为()。答:?P ,Q→P 14、谓词公式?x(P(x)∨?yR(y))→Q(x)中量词?x的辖域是()。答:P(x)∨?yR(y) 15、令R(x):x是实数,Q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为()。

离散数学课程作业(2)

《离散数学》课程作业(2)-------数理逻辑部分 一、 填空题 1. 将几个命题联结起来,形成一个复合命题的逻辑联结词主要有否定、 、 、 和等值。 2、命题公式G=(P ∧Q )→R ,则G 共有 个不同的解释;把G 在其所有解释下所 取真值列成一个表,称为G 的 ;解释(?P ,Q ,?R )或(0,1,0)使G 的真值为 。 3、 已知命题公式R Q P G →∧?=)(,则G 的析取范式是 。 4、 求公式)()(R P Q P ∧?∨∧的主析取范式 。 5、 设命题公式)(R Q P G →?→=,则使公式G 为假的解释是 、 和 。 6、在谓次词逻辑中将下面命题符号化:在北京工作的人未必都是北京人(提示:设F (x ):x 在北京工作。G (x ):x 是北京人。) 。 7、将公式化成等价的前束范式,=→?→???)))()((),((x R z zQ y x yP x 。 8、设谓词的定义域为},,{c b a ,将表达式)()(x xS x xR ?∧?中的量词消除,写成与之等价的 命题公式是 。 二、 单项选择题 1、下列语句中,( )是命题。 A .下午有会吗? B .这朵花多好看呀! C .2是常数。 D .请把门关上。 2、一个公式在等价意义下,下面哪个写法是唯一的( )。 A .析取范式 B .合取范式 C .主析取范式 D .以上答案都不对

3、设命题公式P Q P G →∧=)(,则G 是( )。 A. 恒假的 B. 恒真的 C. 可满足的 D. 析取范式 4、设命题公式)(), (P Q P H Q P G ?→→=→?=,则G 与H 的关系是( )。 以上都不是。.;.;.;.D H G C G H B H G A =?? 5、已知命题))((R Q P G ∧→?=,则所有使G 取真值1的解释是( )。 A (0,0,0),(0,0,1),(1,0,0) B (1,0,0),(1,0,1),(1,1,0) C (0,1,0),(1,0,1),(0,0,1) D (0,0,1),(1,0,1),(1,1,1) 6、设I 是如下一个解释,0 101),(),(),() ,(},,{b b P a b P b a P a a P b a D =, 则在解释I 下取真值为1的公式是( )。 ),(.);,(.);,(.);,(.y x yP x D x x xP C y x yP x B y x yP x A ??????? 7、下面给出的一阶逻辑等价式中,( )是错的。 )). (()(.)); (()(.); ()())()((.); ()())()((.x B A x x xB A D x A x x xA C x xB x xA x B x A x B x xB x xA x B x A x A →?=?→??=???∨?=∨??∨?=∨? 三、 计算题 1. 求命题公式?(P ∨Q )?(P ∧Q )的析取范式与合取范式。