文档视界 最新最全的文档下载
当前位置:文档视界 › 100道离散数学填空题

100道离散数学填空题

100道离散数学填空题
100道离散数学填空题

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

(每空2分)

1 命题:0 匸{{ a}}匸{{ a},3,4,1} 的真值= _______________

2.设A= {a,b}, B = {x | x2—(a+b) x+ab = 0},则两个集合的关系为:____________ . 3?设集合A= {a, b, c}, B={a, b},那么P( B) —P(A)= ________

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

5. 公式n(P(x) > Q(x, y)) z(R(y,z) > S(x))的自由变元是, 约束变兀是____ .

6. ( x)(—(( y)P(x, y))—;(( z)Q(z)—;R(x)))的前束范式是___________ . _______

7. 设A二{x|(x N)且(x :::5)}, B 二{x|x E ■且x ::: 7} ( N:自然数集,E 正偶

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

一(P (Q > (R -P))) > (R —S)的真值= ___________________________

10. 公式(P R) (S R) _P的主合取范式为

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

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

数) 8. A,

则R=

15. 设A={a, b, c, d} , A上二元运算如下:

*a

d

b c

a a

b c

b d

c b c d

d a

c d a

b

d a b

c

那么代数系统<A , *>的幺元是_______________________ ,有逆元的元素

为 _________________________________________ ,它们的逆元分别

为 ___________________________________ 。

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

努力了,但还是失败了”的翻译为

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

P (1,1)P

(1,2)

P

(2,1)

P (2,2)

T T F F 14.图的补图为

则公式_x yP(y,x)真值为_____________________________ 。

18. 设S={a i , a2,…,a s}, B是S的子集,则由B3i所表达的子集是

19. 设A={2 , 3, 4, 5, 6}上的二元关系R x, y」x:::y x是质数},贝y R=

________________________________________________ (列举法)。

R的关系矩阵M l= _____________________________ 。

20. 设A={1 , 2 , 3},则A上既不是对称的又不是反对称的关系

R= ________________________ ; A上既是对称的又是反对称的关系

R= _____________________ 。

性 _____ ;是否有对称性_________

22. 4阶群必是_________________ 群或___________________ 群。

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

24. 公式(P (一P Q))(广P Q)—R 的根树表示

为 _________________________________________________________ 。

25. 设f , g是自然数集N上的函数-X,N, f(x) = xT, g(x)=2x ,

则f F(x) = _______________________________________ 。

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上二元关系T乂:: x,y 是素数},则用列举

T= _____________________________________ T 的关系图为

T 具有

A 二{{「,2}, {2}}

2A 29.P ,Q 真值为 0 ; R, S 真值为 1。则 wff (P (R S)) > ((P Q) (R S))的 真值为

30 wff —■((P/\Q) M R) t R

31.P ( x ): x 是素数,E(x) : x 是偶数,0(x) : x 是奇数N (x,y) : x 可以整数

y 。贝u 谓 词 wff —x (p (x )、y (O(y ) N(y ,x)))的自 然语言

32. 谓词 wff —x-y( z(P(x,z) P( y, z))》uQ(x, y, u))的前束范式为

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

当 ____________________________ 。

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

F(x) : x 为实数,

L(x,y ):x

y 则 命 题 的 逻 辑 谓 词 公 式

为 ______________________________________________ 。 35. 谓词合式公式

-xP(x)、xQ(x) 的前束范式

为 ______________________________ 。

36. 将量词辖域中出现的 _________________ 和指导变元交换为另一变元符号,公

式其余的部分不变,这种方法称为换名规则。

37. 设x 是谓词合式公式A 的一个客体变元,A 的论域为D, A(x)关于y 是自由的, 则 ____________________________________________ 被称为存在量词消去规则,记

性质。

28.集

则T 中有 个1度顶点。

为ES

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

条。

41. 设[R , +, ?]是代数系统,如果①[R , +]是交换群 ②[R , ?]是半群 则称[R , +, ?]为环。

42. 设2,「二]是代数系统,则[L,「=]满足幕等律,即对L 有 __________________ 。

43. n 阶完全图结点v 的度数d(v)=

44. 设n 阶图G 中有m 条边,每个结点的度数不是 k 的是k+1,若G 中有M 个k

50. 已知一棵无向树T 有三个3顶点,一个2度顶点,其余的都是1度顶点,

40.有向图

中从V 1到V 2长度为2的通路有

47. 一组学生,用 扳腕子比赛法来测定臂力的大小,则幺元

48.任何(n,m)

图 G (V,E)

边与顶点数的关系

49.当n 为

时,非平凡无向完全图K n 是欧拉图。

o

度顶点,N k+i 个k+1度顶点,则N k =

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

_______________________ 。

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

是 ____________________________ 。 53. n 阶完全图K.的边数为

55. 图 的对偶图为 _______

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

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

b a

c c

c

c

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

关 系

的 A=

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

A _

B =

A B

o

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

的。

R<

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

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

不同的双射。

67. 2是有理数的真值为 ______________________________________________ 。 68. Q :我将去上海,R:我有时间,公式(Q ' R )(R ' Q )

自 然 语 言

为 ______________________________________________________________ 。 69. 公 式 (Q J P ) (一P Q ) 的 主 合 取 范 式

70. 若S ={S1 ,S 2 ,S m }是集合 A 的一个分划,则它应满

65.偏序集疳A R <的哈斯图为

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纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求2010年12月19日前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分。 一、填空题 1.命题公式()P Q P →∨的真值是 1 . 2.设P :他生病了,Q :他出差了.R :我同意他不参加学习. 则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为 (PQ)R . 3.含有三个命题变项P ,Q ,R 的命题公式PQ 的主析取范式是 (PQR) (PQR) . 4.设P(x):x 是人,Q(x):x 去上课,则命题“有人去上课.” 可符号化为 (x)(P(x) →Q(x)) . 5.设个体域D ={a, b},那么谓词公式)()(y yB x xA ?∨?消去量词后的等值式为 (A(a) A(b)) (B(a) B(b)) . 6.设个体域D ={1, 2, 3},A(x)为“x 大于3”,则谓词公式(x)A(x) 的真值为 . 7.谓词命题公式(x)((A(x)B(x)) C(y))中的自由变元为 . 8.谓词命题公式(x)(P(x) Q(x) R(x ,y))中的约束变元为 X . 三、公式翻译题 1.请将语句“今天是天晴”翻译成命题公式. 1.解:设P :今天是天晴; 则 P . 2.请将语句“小王去旅游,小李也去旅游.”翻译成命题公式. 解:设P :小王去旅游,Q :小李去旅游, 则 PQ . 3.请将语句“如果明天天下雪,那么我就去滑雪”翻译成命题公式. 解:设P:明天天下雪 。 Q:我去滑雪 则 P Q . 4.请将语句“他去旅游,仅当他有时间.”翻译成命题公式. 7.解:设 P :他去旅游,Q :他有时间, 则 P Q . 5.请将语句 “有人不去工作”翻译成谓词公式. 11.解:设P(x):x 是人,Q(x):x 去工作,

山东大学离散数学题库及答案

《离散数学》题库答案 一、选择或填空 (数理逻辑部分) 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、判断下列语句就是不就是命题。若就是,给出命题的真值。( ) (1) 北京就是中华人民共与国的首都。 (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)均有可能

离散数学第三版课后习题答案

离散数学辅助教材 概念分析结构思想与推理证明 第一部分 集合论

离散数学习题解答 习题一(第一章集合) 1. 列出下述集合的全部元素: 1)A={x | x ∈N∧x是偶数∧x<15} 2)B={x|x∈N∧4+x=3} 3)C={x|x是十进制的数字} [解] 1)A={2,4,6,8,10,12,14} 2)B= 3)C={0,1,2,3,4,5,6,7,8,9} 2. 用谓词法表示下列集合: 1){奇整数集合} 2){小于7的非负整数集合} 3){3,5,7,11,13,17,19,23,29} [解] 1){n n∈I∧(?m∈I)(n=2m+1)}; 2){n n∈I∧n≥0∧n<7}; 3){p p∈N∧p>2∧p<30∧?(?d∈N)(d≠1∧d≠p∧(?k∈N)(p=k?d))}。 3. 确定下列各命题的真假性: 1) 2)∈ 3){} 4)∈{} 5){a,b}{a,b,c,{a,b,c}} 6){a,b}∈(a,b,c,{a,b,c}) 7){a,b}{a,b,{{a,b,}}} 8){a,b}∈{a,b,{{a,b,}}} [解]1)真。因为空集是任意集合的子集; 2)假。因为空集不含任何元素; 3)真。因为空集是任意集合的子集; 4)真。因为是集合{}的元素; 5)真。因为{a,b}是集合{a,b,c,{a,b,c}}的子集; 6)假。因为{a,b}不是集合{a,b,c,{a,b,c}}的元素;

7)真。因为{a,b}是集合{a,b,{{a,b}}}的子集; 8)假。因为{a,b}不是集合{a,b,{{a,b}}}的元素。 4. 对任意集合A,B,C,确定下列命题的真假性: 1)如果A∈B∧B∈C,则A∈C。 2)如果A∈B∧B∈C,则A∈C。 3)如果A B∧B∈C,则A∈C。 [解] 1)假。例如A={a},B={a,b},C={{a},{b}},从而A∈B∧B∈C但A∈C。 2)假。例如A={a},B={a,{a}},C={{a},{{a}}},从而A∈B∧B∈C,但、A ∈C。 3)假。例如A={a},B={a,b},C={{a},a,b},从而ACB∧B∈.C,但A∈C。5.对任意集合A,B,C,确定下列命题的真假性: 1)如果A∈B∧B C,则A∈C。 2)如果A∈B∧B C,则A C。 3)如果A B∧B∈C,则A∈C。 3)如果A B∧B∈C,则A C。 [解] 1)真。因为B C x(x∈B x∈C),因此A∈B A∈C。 2)假。例如A={a},B={{a},{b}},C={{a},{b},{c}}从而A∈B∧B C,但A C。 3)假。例如A={a},B={{a,b}},C={{a,{a,b}},从而A B∧B∈C,但A C。 4)假。例如A={a},B={{a,b}},C={{a,b},b},从而A B∧B∈C,但A C。 6.求下列集合的幂集: 1){a,b,c} 2){a,{b,c}} 3){} 4){,{}} 5){{a,b},{a,a,b},{a,b,a,b}} [解] 1){,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}} 2){,{a},{{b,c}},{a,{a,b}}} 3){,{}} 4){,{},{{}},{,{}}}

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

离散数学作业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 .请将语句“今天是天晴”翻译成命题公式

《离散数学》题库及答案

《离散数学》题库与答案 一、选择或填空 (数理逻辑部分) 1、下列哪些公式为永真蕴含式?( A ) (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)是假言推理,(3),(5),(6)都可以用蕴含等值式来证明出是永真蕴含式 4、公式x((A(x)B(y,x))z C(y,z))D(x)中,自由变元是( ),约束变元是( )。 答:x,y, x,z(考察定义在公式x A和x A中,称x为指导变元,A为量词的辖域。在x A和x A的辖域中,x的所有出现都称为约束出现,即称x为约束变元,A中不是约束出现的其他变项则称为自由变元。于是A(x)、B(y,x)和z C(y,z)中y为自由变元,x和z为约束变元,在D(x)中x为自由变元) 5、判断下列语句是不是命题。若是,给出命题的真值。( )

(1)北京是中华人民共和国的首都。(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→ ? P? ?(4)Q P? →(3)Q 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 (反证法:假若存在,则(x- 1)*y=0 对所有的x都成立,显然这个与前提条件相矛盾) (2)F (同理)(3)F (同理)(4)T(对任一整数x存在整数y满足条件y=2x 很明显是正确的)

离散数学习题解答

习题一 1.下列句子中,哪些是命题?在是命题的句子中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道? (1)中国有四大发明. 答:此命题是简单命题,其真值为1. (2)5是无理数. 答:此命题是简单命题,其真值为1. (3)3是素数或4是素数. 答:是命题,但不是简单命题,其真值为1. x+< (4)235 答:不是命题. (5)你去图书馆吗? 答:不是命题. (6)2与3是偶数. 答:是命题,但不是简单命题,其真值为0. (7)刘红与魏新是同学. 答:此命题是简单命题,其真值还不知道. (8)这朵玫瑰花多美丽呀! 答:不是命题. (9)吸烟请到吸烟室去! 答:不是命题. (10)圆的面积等于半径的平方乘以π. 答:此命题是简单命题,其真值为1. (11)只有6是偶数,3才能是2的倍数. 答:是命题,但不是简单命题,其真值为0. (12)8是偶数的充分必要条件是8能被3整除. 答:是命题,但不是简单命题,其真值为0. (13)2008年元旦下大雪. 答:此命题是简单命题,其真值还不知道. 2.将上题中是简单命题的命题符号化. 解:(1)p:中国有四大发明. (2)p:是无理数. (7)p:刘红与魏新是同学. (10)p:圆的面积等于半径的平方乘以π. (13)p:2008年元旦下大雪. 3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值. (1)5是有理数. 答:否定式:5是无理数.p:5是有理数.q:5是无理数.其否定式q的真值为1.

(2)25不是无理数. 答:否定式:25是有理数. p :25不是无理数. q :25是有理数. 其否定式q 的真值为1. (3)2.5是自然数. 答:否定式:2.5不是自然数. p :2.5是自然数. q :2.5不是自然数. 其否定式q 的真值为1. (4)ln1是整数. 答:否定式:ln1不是整数. p :ln1是整数. q :ln1不是整数. 其否定式q 的真值为1. 4.将下列命题符号化,并指出真值. (1)2与5都是素数 答:p :2是素数,q :5是素数,符号化为p q ∧,其真值为1. (2)不但π是无理数,而且自然对数的底e 也是无理数. 答:p :π是无理数,q :自然对数的底e 是无理数,符号化为p q ∧,其真值为1. (3)虽然2是最小的素数,但2不是最小的自然数. 答:p :2是最小的素数,q :2是最小的自然数,符号化为p q ∧?,其真值为1. (4)3是偶素数. 答:p :3是素数,q :3是偶数,符号化为p q ∧,其真值为0. (5)4既不是素数,也不是偶数. 答:p :4是素数,q :4是偶数,符号化为p q ?∧?,其真值为0. 5.将下列命题符号化,并指出真值. (1)2或3是偶数. (2)2或4是偶数. (3)3或5是偶数. (4)3不是偶数或4不是偶数. (5)3不是素数或4不是偶数. 答: p :2是偶数,q :3是偶数,r :3是素数,s :4是偶数, t :5是偶数 (1) 符号化: p q ∨,其真值为1. (2) 符号化:p r ∨,其真值为1. (3) 符号化:r t ∨,其真值为0. (4) 符号化:q s ?∨?,其真值为1. (5) 符号化:r s ?∨?,其真值为0. 6.将下列命题符号化. (1)小丽只能从筐里拿一个苹果或一个梨. 答:p :小丽从筐里拿一个苹果,q :小丽从筐里拿一个梨,符号化为: p q ∨. (2)这学期,刘晓月只能选学英语或日语中的一门外语课. 答:p :刘晓月选学英语,q :刘晓月选学日语,符号化为: ()()p q p q ?∧∨∧?. 7.设p :王冬生于1971年,q :王冬生于1972年,说明命题“王冬生于1971年或1972年”既可以化 答:列出两种符号化的真值表:

吉林大学离散数学课后习题答案

第二章命题逻辑 §2.2 主要解题方法 2.2.1 证明命题公式恒真或恒假 主要有如下方法: 方法一.真值表方法。即列出公式的真值表,若表中对应公式所在列的每一取值全为1,这说明该公式在它的所有解释下都是真,因此是恒真的;若表中对应公式所在列的每

一取值全为0,这说明该公式在它的所有解释下都为假,因此是恒假的。 真值表法比较烦琐,但只要认真仔细,不会出错。 例2.2.1 说明G= (P∧Q→R)∧(P→Q)→(P→R)是恒真、恒假还是可满足。 解:该公式的真值表如下: 表2.2.1 由于表2.2.1中对应公式G所在列的每一取值全为1,故

G恒真。 方法二.以基本等价式为基础,通过反复对一个公式的等价代换,使之最后转化为一个恒真式或恒假式,从而实现公式恒真或恒假的证明。 例2.2.2 说明G= ((P→R) ∨? R)→ (? (Q→P) ∧ P)是恒真、恒假还是可满足。 解:由(P→R) ∨? R=?P∨ R∨? R=1,以及 ? (Q→P) ∧ P= ?(?Q∨ P)∧ P = Q∧? P∧ P=0 知,((P→R) ∨? R)→ (? (Q→P) ∧ P)=0,故G恒假。 方法三.设命题公式G含n个原子,若求得G的主析取范式包含所有2n个极小项,则G是恒真的;若求得G的主合取范式包含所有2n个极大项,则G是恒假的。 方法四. 对任给要判定的命题公式G,设其中有原子P1,P2,…,P n,令P1取1值,求G的真值,或为1,或为0,或成为新公式G1且其中只有原子P2,…,P n,再令P1取0值,求G真值,如此继续,到最终只含0或1为止,若最终结果全为1,则公式G恒真,若最终结果全为0,则公式G

大学本科高等数学《离散数学》试题及答案

本科高等数学离散数学试题及答案 一、填空题 1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=____________________; ρ(A) - ρ(B)=__________________________ . 2. 设有限集合A, |A| = n, 则|ρ(A×A)| = __________________________. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________. 4. 已知命题公式G=?(P→Q)∧R,则G的主析取范式是_______________________________ __________________________________________________________. 5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为__________,分枝点数为________________. 6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A?B=_________________________; A?B=_________________________;A-B=_____________________ . 7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是______________________, ________________________, _______________________________. 8. 设命题公式G=?(P→(Q∧R)),则使公式G为真的解释有__________________________,_____________________________, __________________________. 9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)}, 则 R1?R2 = ________________________,R2?R1 =____________________________, R12 =________________________. 10. 设有限集A, B,|A| = m, |B| = n, 则| |ρ(A?B)| = _____________________________. 11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = __________________________ , B-A = __________________________ , A∩B = __________________________ , . 13.设集合A={2, 3, 4, 5, 6},R是A上的整除,则R以集合形式(列举法)记为___________ _______________________________________________________. 14. 设一阶逻辑公式G = ?xP(x)→?xQ(x),则G的前束范式是__________________________ _____. 15.设G是具有8个顶点的树,则G中增加_________条边才能把G变成完全图。

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

离散数学复习注意事项: 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为实数。命题“任何有理数都是实数”的符号化为()

慕课 离散数学 电子科技大学 课后习题十 答案

作业参考答案——10-特殊图 1.(a)(c)(d)是欧拉图,(a)(b)(c)(d)(e)可以一笔画,(a)(b)(c)(d)(e)(f)(g)是 哈密顿图。 2.根据给定条件建立一个无向图G=,其中: V={a,b,c,d,e,f,g} E={(u,v)|u,v∈V,且u和v有共同语言} 从而图G如下图所示。 a b c d e f g 将这7个人围圆桌排位,使得每个人都能与他两边的人交谈,就是在图G 中找哈密顿回路,经观察上图可得到两条可能的哈密顿回路,即两种方案:abdfgeca和acbdfgea。 3.证明(法一):根据已知条件,每个结点的度数均为n,则任何两个不相邻 的结点v i,v j的度数之和为2n,而图中总共有2n个结点,即deg(v i)+ deg(v j)?2n,满足哈密顿图的充分条件,从而图中存在一条哈密顿回路,当然,这就说明图G是连通图。 证明(法二):用反证法,假设G不是连通图,设H是G的一个连通分支,由于图G是简单图且每个结点的度数为n,则子图H与G-H中均至少有n+1个结点。所以G的结点数大于等于2n+2,这与G中结点数为2n矛盾。所以假设不成立,从而G是连通图。 4.将n位男士和n位女士分别用结点表示,若某位男士认识某位女士,则在 代表他们的结点之间连一条线,得到一个偶图G,假设它的互补结点子集V1、V2分别表示n位男士和n位女士,由题意可知V1中的每个结点度 1

数至少为2,而V2中的每个结点度数至多为2,从而它满足t条件t=1,因此存在从V1到V2的匹配,故可分配。 5.此平面图具有五个面,如下图所示。 a b c d e f g r1r2 r3 r4 r5 ?r1,边界为abca,D(r1)=3; ?r2,边界为acga,D(r2)=3; ?r3,边界为cegc,D(r3)=3; ?r4,边界为cdec,D(r4)=3; ?r5,边界为abcdefega,D(r5)=8;无限面 6.设该连通简单平面图的面数为r,由欧拉公式可得,6?12+r=2,所以 r=8,其8个面分别设为r1,r2,r3,r4,r5,r6,r7,r8。因是简单图,故每个面至少由3条边围成。只要有一个面是由多于3条边所围成的,那就有所有面的次数之和 8∑ i=1 D(r i)>3×8=24。但是,已知所有面的次数之和等于边数的两倍,即2×12=24。因此每个面只能由3条边围成。 2

中国石油大学大学《离散数学》期末复习题及答案

《离散数学》期末复习题 一、填空题(每空2分,共20分) 1、集合A上的偏序关系的三个性质是、 和。 2、一个集合的幂集是指。 3、集合A={b,c},B={a,b,c,d,e},则A?B= 。 4、集合A={1,2,3,4},B={1,3,5,7,9},则A?B= 。 5、若A是2元集合, 则2A有个元素。 6、集合A={1,2,3},A上的二元运算定义为:a* b = a和b两者的最大值,则 2*3= 。 7、设A={a, b,c,d }, 则∣A∣= 。 8、对实数的普通加法和乘法,是加法的幂等元, 是乘法的幂等元。 9、设a,b,c是阿贝尔群的元素,则-(a+b+c)= 。 10、一个图的哈密尔顿路是。 11、不能再分解的命题称为,至少包含一个联结词的命题称 为。 12、命题是。 13、如果p表示王强是一名大学生,则┐p表示。 14、与一个个体相关联的谓词叫做。 15、量词分两种:和。 16、设A、B为集合,如果集合A的元素都是集合B的元素,则称A是B 的。 17、集合上的三种特殊元是、 及。 18、设A={a, b},则ρ(A) 的四个元素分别 是:,,,。

19、代数系统是指由及其上的或 组成的系统。 20、设是代数系统,其中是*1,*2二元运算符,如果*1,*2都满 足、,并且*1和*2满足,则称是格。 21、集合A={a,b,c,d},B={b },则A \ B= 。 22、设A={1, 2}, 则∣A∣= 。 23、在有向图中,结点v的出度deg+(v)表示,入度deg-(v)表示 以。 24、一个图的欧拉回路是。 25、不含回路的连通图是。 26、不与任何结点相邻接的结点称为。 27、推理理论中的四个推理规则 是、、、。 二、判断题(每题2分,共20分) 1、空集是唯一的。 2、对任意的集合A,A包含A。 3、恒等关系不是对称的,也不是反对称的。 4、集合{1,2,3,3}和{1,2,2,3}是同一集合。 5、图G中,与顶点v关联的边数称为点v的度数,记作deg(v)。 6、在实数集上,普通加法和普通乘法不是可结合运算。 7、对于任何一命题公式,都存在与其等价的析取范式和合取范式。 8、设(A,*)是代数系统,a∈A,如果a*a=a,则称a为(A,*)的等幂元。 9、设f:A→B,g:B→C。若f,g都是双射,则gf不是双射。 10、无向图的邻接矩阵是对称阵。 11、一个集合不可以是另一个集合的元素。 12、映射也可以称为函数,是一种特殊的二元关系。 13、群中每个元素的逆元都不是惟一的。

离散数学 练习题七

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分)

离散数学作业答案

第一章 1.假定A是ECNU二年级的学生集合,B是ECNU必须学离散数学的学生的集合。请用A 和B表示ECNU不必学习离散数学的二年级的学生的集合。 2.试求: (1)P(φ) (2)P(P(φ)) (3)P(P(P(φ))) 3.在1~200的正整数中,能被3或5整除,但不能被15整除的正整数共有多少个? 能被5整除的有40个, 能被15整除的有13个, ∴能被3或5整除,但不能被15整除的正整数共有 66-13+40-13=80个。 第三章 1.下列语句是命题吗? (1)2是正数吗? (2)x2+x+1=0。 (3)我要上学。 (4)明年2月1日下雨。 (5)如果股票涨了,那么我就赚钱。 2.请用自然语言表达命题(p?→r)∨(q?→r),其中p、q、r为如下命题: p:你得流感了 q:你错过了最后的考试

3.通过真值表求p→(p∧(q→p))的主析取范式和主合取范式。 4.给出p→(q→s),q,p∨?r?r→s的形式证明。 第四章 1.将?x(C(x)∨?y(C(y)∧F(x,y)))翻译成汉语,其中C(x)表示x有电脑,F(x,y) 表示x和y是同 班同学,个体域是学校全体学生的集合。 解: 学校的全体学生要么自己有电脑,要么其同班同学有电脑。 2.构造?x(P(x)∨Q(x)),?x(Q(x)→?R(x)),?xR(x)??xP(x)的形式证明。 解: ①?xR(x) 前提引入 ②R(e) ①US规则 ③?x(Q(x)→?R(x)) 前提引入 ④Q(e) →?R(e) ③US规则 ⑤?Q (e) ②④析取三段论 ⑥?x(P(x)∨Q(x)) 前提引入 ⑦P(e) ∨Q(e) ⑥US规则 ⑧P(e) ⑤⑦析取三段论 ⑨?x (P(x)) ⑧EG规则 第五章

山东大学离散数学题库及答案

《离散数学》题库答案 一、选择或填空 (数理逻辑部分) 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、判断下列语句是不是命题。若是,给出命题的真值。( ) (1) 北京是中华人民共和国的首都。 (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

离散数学课后答案

离散数学课后答案 习题一 6.将下列命题符号化。 (1)小丽只能从框里那一个苹果或一个梨. (2)这学期,刘晓月只能选学英语或日语中的一门外语课. 答: (1)(p Λ?q )ν(?pΛq)其中p:小丽拿一个苹果,q:小丽拿一个梨(2)(p Λ?q )ν(?pΛq)其中p:刘晓月选学英语,q:刘晓月选学日语 14.将下列命题符号化. (1) 刘晓月跑得快, 跳得高. (2)老王是山东人或河北人. (3)因为天气冷, 所以我穿了羽绒服. (4)王欢与李乐组成一个小组. (5)李辛与李末是兄弟. (6)王强与刘威都学过法语. (7)他一面吃饭, 一面听音乐. (8)如果天下大雨, 他就乘班车上班. (9)只有天下大雨, 他才乘班车上班. (10)除非天下大雨, 他才乘班车上班. (11)下雪路滑, 他迟到了. (12)2与4都是素数, 这是不对的. (13)“2或4是素数, 这是不对的”是不对的. 答: (1)p∧q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高. (2)p∨q, 其中, p: 老王是山东人, q: 老王是河北人. (3)p→q, 其中, p: 天气冷, q: 我穿了羽绒服. (4)p, 其中, p: 王欢与李乐组成一个小组, 是简单命题. (5)p, 其中, p: 李辛与李末是兄弟. (6)p∧q, 其中, p: 王强学过法语, q: 刘威学过法语. (7)p∧q, 其中, p: 他吃饭, q: 他听音乐. (8)p→q, 其中, p: 天下大雨, q: 他乘班车上班. (9)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (10)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (11)p→q, 其中, p: 下雪路滑, q: 他迟到了. (12) ? (p∧q)或?p∨?q, 其中, p: 2是素数, q: 4是素数. (13) ? ? (p∨q)或p∨q, 其中, p: 2是素数, q: 4是素数. 16. 19.用真值表判断下列公式的类型: (1)p→ (p∨q∨r) (2)(p→?q) →?q

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

《离散数学》练习题和参考答案 一、选择或填空(数理逻辑部分) 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是有理数。则命题“并非每个实数都是有理数”的符号化表示为()。

相关文档