离散数学第三章习题参考答案
第三章课后习题参考答案
离散数学 第二章练习题答案
一、 选择题 1.下列四个公式正确的是 ①)()())()((x xB x xA x B x A x ?∧??∧? ②)()())()((x xB x xA x B x A x ?∨??∨? ③)()())()((x xB x xA x B x A x ?∨??∨? ④))()(()()(x B x A x x xB x xA ∧???∧? A.①③ B.①④ C.③④ D.②④ 2. 谓词公式)())()((x Q y yR x P x →?∨?中量词?x 的辖域是( ) (A) ))()((y yR x P x ?∨? (B) P (x ) (C ) )()(y yR x P ?∨ (D) )(x Q 3. 谓词公式))()(()(x xQ x Q x x xP ??→??→?的类型是( ) (A ) 永真式 (B) 矛盾式 (C) 非永真式的可满足式 (D) 蕴涵式 4. 设个体域为整数集,下列公式中其真值为1的是( ) (A ) )0(=+??y x y x (B) )0(=+??y x x y (C))0(=+??y x y x (D) )0(=+???y x y x 5. 设个体域{,}A a b =,公式()()xP x xS x ?∧?在中消去量词后应为 ( ) (A) ()()P x S x ∧ (B ) ()()(()())P a P b S a S b ∧∧∨ (C) ()()P a S b ∧ (D) ()()()()P a P b S a S b ∧∧∨ 6. 在谓词演算中,下列各式正确的是( ) (A) (,)(,)x yA x y y xA x y ????? (B ) (,)(,)x yA x y y xA x y ????? (C) (,)(,)x yA x y x yA x y ????? (D) (,)(,)x yA x y y xA x y ????? 7.下列各式不正确的是( ) (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 x xP x xQ x ?∨??∨? (D) (())()x P x Q xP x Q ?∧??∧
北邮离散数学第一次阶段作业
北京邮电大学 离散数学 第一次阶段作业 判断题 1. 如果A∪B=B,则A?B。【答案:A】 A. 正确 B. 错误 2. 如果a∈A∪B,则a?A或a?B。【答案:B】 A. 正确 B. 错误 3. a∈{a,a}。【答案:A】 A. 正确 B. 错误 4.{?}是空集。【答案:B】 A. 正确 B. 错误 5.设ρ是集合A上的等价关系,则当a,b∈ρ时,aρ=bρ。【答案:A】 A. 正确 B. 错误 单项选择题 1. 设A={a,a},则下列各式中错误的是【答案:B】 A. a∈2A B. {a}?2A C. {a}∈2A D. {a}?2A 解:2A={?,a,a, a,a} 2. 下列各式中不正确的是【答案:C】 A. ??? B. ?∈{?} C. ??? D. ?∈{?,?} 3. 设ρ是集合A上的关系,则()不是ρ为反对称关系的充分必要条件【答案:D】 A. ρ是反对称关系 B. ρ∩ρ?i A C. 对任意x,y∈A,当x,y∈ρ且x≠y时y,x?ρ D. 对A的某两个元素x, y,当x,y,y,x∈ρ时有x=y 4. 设A,B,C是集合,ρ,μ分别是A到B,B到C的关系,x∈A,z∈C,则存在y∈B使得x,y∈ρ且y,z∈μ是x,z∈ρ°μ的()条件【答案:C】 A. 充分而非必要 B. 必要而非充分 C. 充分必要
D. 既非充分又非必要 5. 设A={0,b},B={1,b,3},则A∪B的恒等关系为【答案:A】 A.{0,0,1,1,b,b,3,3} B. {0,0,1,1,3,3} C. {0,0,b,b,3,3} D. {0,1,1,b,b,3,3,0}
离散数学题库及答案
数理逻辑部分 选择、填空及判断 ?下列语句不就是命题的( A )。 (A) 您打算考硕士研究生不? (B) 太阳系以外的星球上有生物。 (C) 离散数学就是计算机系的一门必修课。 (D) 雪就是黑色的。 ?命题公式P→(P∨?P)的类型就是( A ) (A) 永真式(B) 矛盾式 (C) 非永真式的可满足式(D) 析取范式 ?A就是重言式,那么A的否定式就是( A ) A、矛盾式 B、重言式 C、可满足式 D、不能确定 ?以下命题公式中,为永假式的就是( C ) A、p→(p∨q∨r) B、(p→┐p)→┐p C、┐(q→q)∧p D、┐(q∨┐p)→(p∧┐p) ?命题公式P→Q的成假赋值就是( D ) A、 00,11 B、 00,01,11 C、10,11 D、 10 ?谓词公式) x xP∧ ?中,变元x就是 ( B ) R , ( x ) (y A、自由变元 B、既就是自由变元也就是约束变元 C、约束变元 D、既不就是自由变元也不就是约束变元 ?命题公式P→(Q∨?Q)的类型就是( A )。 (A) 永真式 (B) 矛盾式 (C) 非永真式的可满足式 (D) 析取范式 ?设B不含变元x,) x x→ ?等值于( A ) A ) ( (B A、B (D、B x xA→ x ?) ( ( ?C、B x∧ A ?) (B、) ?) xA→ x ) ( A x (B x∨ ?下列语句中就是真命题的就是( D )。 A.您就是杰克不? B.凡石头都可练成金。 C.如果2+2=4,那么雪就是黑的。 D.如果1+2=4,那么雪就是黑的。 ?从集合分类的角度瞧,命题公式可分为( B ) A、永真式、矛盾式 B、永真式、可满足式、矛盾式 C、可满足式、矛盾式 D、永真式、可满足式 ?命题公式﹁p∨﹁q等价于( D )。 A、﹁p∨q B、﹁(p∨q) C、﹁p∧q D、 p→﹁q ?一个公式在等价意义下,下面写法唯一的就是( D )。 (A) 范式 (B) 析取范式 (C) 合取范式 (D) 主析取范式 ?下列含有命题p,q,r的公式中,就是主析取范式的就是( D )。
离散数学作业
命题逻辑的基本概念 一、单项选择题 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。
离散数学作业答案
离散数学作业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 去工作,
北邮-离散数学-第三阶段作业 答案
第三阶段 一、判断题(共5道小题,共50.0分) 1. 设图G是连通的,则任意指定G的各边方向后所得的有向图是弱连通的 A. 正确 B. 错误 知识点: 无向图和有向图 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示: 2. 3. n阶完全图的任意两个不同结点的距离都为1 A. 正确 B. 错误 知识点: 无向图和有向图 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示: 4. 5. 设都是命题公式,则也是命题公式 A. 正确 B. 错误 知识点: 命题逻辑 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 6. 7. “如果8+7>2,则三角形有四条边”是命题 A. 正确 B. 错误
知识点: 命题逻辑 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示: 8. 9. 设都是谓词公式,,则是永真式 A. 正确 B. 错误 知识点: 一阶逻辑 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示: 10. 二、单项选择题(共5道小题,共50.0分) 1. 设D是有向图,则D强连通的充分必要条件为 A. 略去D中各边方向后所得到的无向图是连通的 B. D是单向连通图,且改变它的各边方向后所得到的有向图也是单向连通图 C. D的任意两个不同的结点都可以相互到达 D. D是完全图 知识点: 无向图和有向图 学生答案: [C;] 得分: [10] 试题分值: 10.0 提示: 2. 3. 图和的结点和边分别存在一一对应关系是(同构)的 A. 充分条件 B. 必要条件 C. 充分必要条件 D. 既不充分也不必要条件 知识点: 无向图和有向图
离散数学试题与答案
试卷二试题与参考答案 一、填空 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、下面偏序集( )能构成格。
离散数学 第2章 习题解答
第2章习题解答 2.1 本题没有给出个体域,因而使用全总个体域. (1) 令x (是鸟 x F:) (会飞翔. G:) x x 命题符号化为 x F ?. G x→ ) ( )) ( (x (2)令x x (为人. F:) (爱吃糖 G:) x x 命题符号化为 x F x→ G ?? )) ( ) ( (x 或者 F x? x ∧ ? ) )) ( ( (x G (3)令x x (为人. F:) G:) (爱看小说. x x 命题符号化为 x F ?. G x∧ (x ( )) ( ) (4) x (为人. x F:) (爱看电视. G:) x x 命题符号化为 F x? ∧ ??. x G ( ) ( )) (x 分析 1°如果没指出要求什么样的个体域,就使用全总个休域,使用全总个体域时,往往要使用特性谓词。(1)-(4)中的) F都是特性谓词。 (x 2°初学者经常犯的错误是,将类似于(1)中的命题符号化为 F x ? G x∧ ( )) ( ) (x
即用合取联结词取代蕴含联结词,这是万万不可的。将(1)中命题叙述得更透彻些,是说“对于宇宙间的一切事物百言,如果它是鸟,则它会飞翔。”因而符号化应该使用联结词→而不能使用∧。若使用∧,使(1)中命题变成了“宇宙间的一切事物都是鸟并且都会飞翔。”这显然改变了原命题的意义。 3° (2)与(4)中两种符号化公式是等值的,请读者正确的使用量词否定等值式,证明(2),(4)中两公式各为等值的。 2.2 (1)d (a),(b),(c)中均符号化为 )(x xF ? 其中,12)1(:)(22++=+x x x x F 此命题在)(),(),(c b a 中均为真命题。 (2) 在)(),(),(c b a 中均符号化为 )(x xG ? 其中02:)(=+x x G ,此命题在(a )中为假命题,在(b)(c)中均为真命题。 (3)在)(),(),(c b a 中均符号化为 )(x xH ? 其中.15:)(=x x H 此命题在)(),(b a 中均为假命题,在(c)中为真命题。 分析 1°命题的真值与个体域有关。 2° 有的命题在不同个体域中,符号化的形式不同,考虑命题 “人都呼吸”。 在个体域为人类集合时,应符号化为 )(x xF ? 这里,x x F :)(呼吸,没有引入特性谓词。 在个体域为全总个体域时,应符号化为 ))()((x G x F x →? 这里,x x F :)(为人,且)(x F 为特性谓词。x x G :)(呼吸。 2.3 因题目中未给出个体域,因而应采用全总个体域。
北邮离散数学第一次阶段作业
一、判断题(共5道小题,共50.0分) 1. 如果,则或. A. 正确 B. 错误 知识点: 集合 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 2. 是空集. A. 正确 B. 错误 知识点: 集合 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 3. 设为集合上的等价关系, 则 A. 正确 B. 错误 知识点: 关系 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 4. 设集合,则是到的关系
A. 正确 B. 错误 知识点: 关系 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示: 5. 设集合,,则 A. 正确 B. 错误 知识点: 关系 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 6. 二、单项选择题(共5道小题,共50.0分) 1. 设为实数集合,下列集合中哪一个不是空集 A. B. C. D. 知识点: 集合 学生答案: [A;] 得分: [10] 试题分值: 10.0 提示:
2. 设是集合A上的关系,则()不是为反对称关系的充分必要条件. A. 是反对称关系 B. ∩ C. 对任意 D. 对A的某两个元素 知识点: 关系 学生答案: [D;] 得分: [10] 试题分值: 10.0 提示: 3. 设为集合上的等价关系,对任意,其等价类为 A. 空集 B. 非空集 C. 是否为空集不能确定 D. 知识点: 关系 学生答案: [B;] 得分: [10] 试题分值: 10.0 提示: 4. 设,,则的恒等关系为 A. B.
电大 离散数学作业7答案
离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。 要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求本学期第17周末前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分。 一、填空题 1.命题公式()P Q P →∨的真值是 1或T . 2.设P :他生病了,Q :他出差了.R :我同意他不参加学习. 则命题“如 果他生病或出差了,我就同意他不参加学习”符号化的结果为 (P ∨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 },那么谓词公式)()(y yB x xA ?∨?消去量词后的等值式为 (A(a) ∨A(b)) ∨((B(a) ∧B(b)) . 6.设个体域D ={1, 2, 3},A (x )为“x 大于3”,则谓词公式(?x )A (x ) 的真值为 0(F) . 7.谓词命题公式(?x )((A (x )∧B (x )) ∨C (y ))中的自由变元为 y . 8.谓词命题公式(?x )(P (x ) →Q (x ) ∨R (x ,y ))中的约束变元为 x . 三、公式翻译题 1.请将语句“今天是天晴”翻译成命题公式. 设P :今天是晴天。 姓 名: 学 号: 得 分: 教师签名:
离散数学试题及答案(1)
离散数学试题及答案 一、填空题 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变成完全图。
离散数学 第2章 习题解答
习题 2.1 1.将下列命题符号化。 (1) 4不是奇数。 解:设A(x):x是奇数。a:4。 “4不是奇数。”符号化为:?A(a) (2) 2是偶数且是质数。 解:设A(x):x是偶数。B(x):x是质数。a:2。 “2是偶数且是质数。”符号化为:A(a)∧B(a) (3) 老王是山东人或河北人。 解:设A(x):x是山东人。B(x):x是河北人。a:老王。 “老王是山东人或河北人。”符号化为:A(a)∨B(a) (4) 2与3都是偶数。 解:设A(x):x是偶数。a:2,b:3。 “2与3都是偶数。”符号化为:A(a)∧A(b) (5) 5大于3。 解:设G(x,y):x大于y。a:5。b:3。 “5大于3。”符号化为:G(a,b) (6) 若m是奇数,则2m不是奇数。 解:设A(x):x是奇数。a:m。b:2m。 “若m是奇数,则2m不是奇数。”符号化为:A(a)→A(b) (7) 直线A平行于直线B当且仅当直线A不相交于直线B。 解:设C(x,y):直线x平行于直线y。设D(x,y):直线x相交于直线y。a:直线A。b:直线B。 “直线A平行于直线B当且仅当直线A不相交于直线B。”符号化为:C(a,b)??D(x,y) (8) 小王既聪明又用功,但身体不好。 解:设A(x):x聪明。B(x):x用功。C(x):x身体好。a:小王。 “小王既聪明又用功,但身体不好。”符号化为:A(a)∧B(a)∧?C(a) (9) 秦岭隔开了渭水和汉水。 解:设A(x,y,z):x隔开了y和z。a:秦岭。b:渭水。c:汉水。 “秦岭隔开了渭水和汉水。”符号化为:A(a,b,c) (10) 除非小李是东北人,否则她一定怕冷。 解:设A(x):x是东北人。B(x):x怕冷。a:小李。 “除非小李是东北人,否则她一定怕冷。”符号化为:B(a)→?A(a) 2.将下列命题符号化。并讨论它们的真值。 (1) 有些实数是有理数。 解:设R(x):x是实数。Q(x):x是有理数。 “有些实数是有理数。”符号化为:(?x)(R(x)∧Q(x))
第二阶段练习答案(第四五章)
离散数学第二阶段作业(第四第五章) 1.在一阶逻辑中将下列命题符号化: (1)每个人都有心脏。 令M(x):x是人,H(x):x有心脏。命题符号化为:?x(M(x)→H(x)) (2)有的狗会飞。 设D(x):x是狗,F(x):x会飞。命题符号化为:?x(D(x)∧F(x)) (3)没有不犯错误的人。 设M(x): x是人,F(x):x犯错误,命题符号化为 ①┐?x(M(x)∧┐F(x)) ②?x(M(x)→F(x)) (4)发光的不都是金子。 设L(x):x是发光的东西,G(x):x是金子。命题符号化为 ①┐?x(L(x)→G(x)) ②?x(L(x)∧﹁G(x)) (5)一切人都不一样高。 设F(x):x是人, H(x,y), x与y相同, L(x,y): x与y一样高, 命题符号化为 ?x(F(x)→?y(F(y)∧?H(x,y)→?L(x,y))) 或?x?y(F(x)∧F(y)∧?H(x,y)→?L(x,y)) (6)并不是所有的汽车都比火车快。 设F(x):x是汽车, G(y):y是火车, H(x,y):x比y快, 命题符号化为 ??x?y(F(x)∧G(y)→H(x,y)) 或?x?y(F(x)∧G(y)∧?H(x,y)) 7)没有一个自然数大于等于任何自然数。
设 N(x):x 是自然数,G(x,y):x ≥y 命题符号化为:??x(N(x)∧?y(N(y)→G(x,y))) (8)有唯一的偶素数。 设:Q(x):x 是偶数,P(x):x 是素数, E(x,y):x =y 命题符号化为: ?x(Q(x)∧P(x)∧??y(Q(y)∧P(y)∧?E(x,y))) 2.填空:求下列各式的前束范式。 )),()(()),((x xF y t G x F y x y t G y →????→??)( (2))),()((),(2121211x x G x x H x x F x ??→→? )),()((),(2323211x x G x x H x x F x ??→→?? )),()((),(2332411x x G x H x x x F x ?→?→?? ))),()((),((2334121x x G x H x x F x x ?→→??? 3.在自然数推理系统F 中,构造下面推理的证明: 前提:))())()((()(y R y G y F y x xF →∨?→?,)(x xF ? 结论:?xR(x) ①)(x xF ?前提引入 ②F(c) ①EI ③))())()((()(y R y G y F y x xF →∨?→?前提引入 ④))())()(((y R y G y F y →∨? ①③假言推理 (1)?xF (x ) →?yG (x , y )
离散数学章练习题及答案
离散数学练习题 第一章 一.填空 1.公式) ∨ ? ∧的成真赋值为 01;10 ? p∧ ( (q ) p q 2.设p, r为真命题,q, s 为假命题,则复合命题) ? ? →的真值为 0 p→ ( q (s ) r 3.公式) ∨ ? p∧ q ?与共同的成真赋值为 01;10 ? ∧ p ( ) ) (q q p ( 4.设A为任意的公式,B为重言式,则B A∨的类型为重言式 5.设p, q均为命题,在不能同时为真条件下,p与q的排斥也可以写成p与q的相容或。 二.将下列命题符合化 1. 7不是无理数是不对的。 解:) ? ?,其中p: 7是无理数;或p,其中p: 7是无理数。 (p 2.小刘既不怕吃苦,又很爱钻研。 解:其中 ?p: 小刘怕吃苦,q:小刘很爱钻研 p∧ ,q 3.只有不怕困难,才能战胜困难。 解:p →,其中p: 怕困难,q: 战胜困难 q? 或q →,其中p: 怕困难, q: 战胜困难 p? 4.只要别人有困难,老王就帮助别人,除非困难解决了。 解:) → ?,其中p: 别人有困难,q:老王帮助别人,r: 困难解决了 p (q r→ 或:q ?) (,其中p:别人有困难,q: 老王帮助别人,r: 困难解决了r→ ∧ p 5.整数n是整数当且仅当n能被2整除。 解:q p?,其中p: 整数n是偶数,q: 整数n能被2整除 三、求复合命题的真值 P:2能整除5, q:旧金山是美国的首都, r:在中国一年分四季 1. )) p∧ → q ∨ r → ∧ ((q r ( ) ( ) p 2.r ?) → (( → (( ∨ ) ( )) p r p ∨ p q ? ∧ ? q∧ 解:p, q 为假命题,r为真命题 1.)) p∧ → q ∨的真值为0 r → ∧ ( ) ( ) ((q p r
离散数学答案第二章习题解答
习题与解答 1. 将下列命题符号化: (1) 所有的火车都比某些汽车快。 (2) 任何金属都可以溶解在某种液体中。 (3) 至少有一种金属可以溶解在所有液体中。 (4) 每个人都有自己喜欢的职业。 (5) 有些职业是所有的人都喜欢的。 解 (1) 取论域为所有交通工具的集合。令 x x T :)(是火车, x x C :)(是汽车, x y x F :),(比y 跑得快。 “所有的火车都比某些汽车快”可以符号化为))),()(()((y x F y C y x T x ∧?→?。 (2) 取论域为所有物质的集合。令 x x M :)(是金属, x x L :)(是液体, x y x D :),(可以溶解在y 中。 “任何金属都可以溶解在某种液体中” 可以符号化为))),()(()((y x D y L y x M x ∧?→?。 (3) 论域和谓词与(2)同。“至少有一种金属可以溶解在所有液体中” 可以符号化为))),()(()((y x D y L y x M x →?∧?。 (4) 取论域为所有事物的集合。令 x x M :)(是人, x x J :)(是职业, x y x L :),(喜欢y 。 “每个人都有自己喜欢的职业” 可以符号化为))),()(()((y x L y J y x M x ∧?→? (5)论域和谓词与(4)同。“有些职业是所有的人都喜欢的”可以符号化为))),()(()((x y L y M y x J x →?∧?。 2. 取论域为正整数集,用函数+(加法),?(乘法)和谓词<,=将下列命题符号化: (1) 没有既是奇数,又是偶数的正整数。 (2) 任何两个正整数都有最小公倍数。 (3) 没有最大的素数。 (4) 并非所有的素数都不是偶数。 解 先引进一些谓词如下: x y x D :),(能被y 整除,),(y x D 可表示为)(x y v v =??。 x x J :)(是奇数,)(x J 可表示为)2(x v v =???。 x x E :)(是偶数,)(x E 可表示为)2(x v v =??。 x x P :)(是素数,)(x P 可表示为)1)(()1(x u u x u v v u x =∨=?=???∧=?。
离散数学作业答案完整版
离散数学作业答案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】
离散数学集合论部分形成性考核书面作 业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数 理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题 目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识 点,重点复习,争取尽快掌握。本次形考书面作业是第一次作业,大家要认真及时地 完成集合论部分的综合练习作业。 要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答 过程,要求本学期第11周末前完成并上交任课教师(不收电子稿)。并在03任务界 面下方点击“保存”和“交卷”按钮,完成并上交任课教师。 一、填空题 1.设集合{1,2,3},{1,2} ==,则P(A)- A B P(B )={{3},{1,3},{2,3},{1,2,3}},A? B={<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3,2>} . 2.设集合A有10个元素,那么A的幂集合P(A)的元素个数为 1024 . 3.设集合A={0, 1, 2, 3},B={2, 3, 4, 5},R是A到B的二元关系, 则R的有序对集合为{<2,2>,<2,3>,<3,2>,<3,3>} . 4.设集合A={1, 2, 3, 4 },B={6, 8, 12},A到B的二元关系 R=} ∈ y x∈ y < > = {B , , x , 2 y A x 那么R-1={<6,3>,<8,4>} 5.设集合A={a, b, c, d},A上的二元关系R={, , ,
北邮离散数学阶段作业一二三
阶段作业一一、判断题(共5道小题,共50、0分) 1. 命题公式的真值分别为0,1,则的真值为0 A. 正确 B. 错误 知识点: 命题逻辑 学生答案: [A;] 得分: [10] 试题分值: 10、0 提示: 2. 设P,Q都就是命题公式,则 A. 正确 B. 错误 知识点: 命题逻辑 学生答案: [A;] 得分: [10] 试题分值: 10、0 提示: 3. 空集就是任何集合的真子集. A. 正确 B. 错误 知识点: 集合 学生答案: [B;] 得分: [10] 试题分值: 10、0 提示: 4.设为集合上的等价关系, 则 A. 正确 B. 错误 知识点: 关系
学生答案: [B;] 得分: [10] 试题分值: 10、0 提示: 5.设为集合上的等价关系, 则也就是集合上的等价关系 C. 正确 D. 错误 知识点: 关系 学生答案: [A;] 得分: [10] 试题分值: 10、0 提示: 二、单项选择题(共5道小题,共50、0分) 1. 下面哪个联结词不可交换 A. B. C. D. 知识点: 命题逻辑 学生答案: [B;] 得分: [10] 试题分值: 10、0 提示: 2. 下列各式中不正确的就是 A. B. C. D. 知识点: 集合 学生答案: [C;] 得分: [10] 试题分值: 10、0 提示:
3. 设为集合,若,则一定有 A. B. C. D. 知识点: 集合 学生答案: [C;] 得分: [10] 试题分值: 10、0 提示: 4. 设为集合上的等价关系,对任意,其等价类为 A. 空集 B. 非空集 C. 就是否为空集不能确定 D. 知识点: 关系 学生答案: [B;] 得分: [10] 试题分值: 10、0 提示: 5. 设A,B就是集合,则下列说法中()就是正确的、 A. A到B的关系都就是A到B的映射 B. A到B的映射都就是可逆的 C. A到B的双射都就是可逆的 D. 时必不存在A到B的双射 知识点: 映射 学生答案: [C;] 得分: [10] 试题分值: 10、0 提示 阶段作业二 判断题(共5道小题,共50、0分)
《离散数学》题库及答案
《离散数学》题库与答案 一、选择或填空 (数理逻辑部分) 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) 给我一杯水吧!
离散数学作业7答案(数理逻辑部分)
离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。 要求:将此作业用A4纸打印出来,并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分.作业应手工书写答题,字迹工整,解答题要有解答过程,完成后上交任课教师(不收电子稿). 一、填空题 1.命题公式() →∨的真值是 1 . P Q P 2.设P:他生病了,Q:他出差了.R:我同意他不参加学习.则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为P∨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) 的真值为0 . 7.谓词命题公式(?x)((A(x)∧B(x)) ∨C(y))中的自由变元为y .8.谓词命题公式(?x)(P(x) →Q(x) ∨R(x,y))中的约束变元为x . 三、公式翻译题 1.请将语句“今天是天晴”翻译成命题公式. 解:
北邮数学
第一部分: 高等代数, 包括九个方面. 第一章:多项式 一元多项式,整除的概念,最大公因式,因式分解定理,重因式,多项式函数,复系数与实系数多项式的因式分解,有理系数多项式; 第二章:行列式 排列,级行列式,级行列式的性质,行列式的计算,行列式按一行(列)展开,克拉默法则,行列式的乘法规则; 第三章:线性方程组 消元法,维向量空间,线性相关性,矩阵的秩,线性方程组有解的判别定理,线性方程组解的结构,二元高次方程组; 第四章:矩阵 矩阵的概念,矩阵的运算,矩阵乘积的行列式与秩,矩阵的逆,矩阵的分块,初等矩阵,分块乘法的初等变换及应用,广义逆矩阵; 第五章:二次型 二次型的矩阵表示,标准形,惟一性,正定二次型; 第六章:线性空间 集合、映射,线性空间的定义与简单性质,维数、基与坐标,基变换与坐标变换,线性子空间,子空间的交与和,子空间的直和,线性空间的同构; 第七章:线性变换 线性变换的定义,线性变换的运算,线性变换的矩阵,特征值与特征向量,对角矩阵,线性变换的值域与核,不变子空间,若当(Jordan)标准形介绍,最小多项式; 第八章:矩阵 矩阵,矩阵在初等变换下的标准形,不变因子,矩阵相似的条件,初等因子,若当(Jordan)标准形的理论推导; 第九章:欧几里得空间 定义与基本性质,标准正交基,同构,正交变换,子空间,对称矩阵的标准形。 第二部分: 概率论,包括以下六个方面. 1、概率论的基本概念 1) 随机试验、随机事件及其运算 2) 概率的定义及概率的性质 3) 概率空间的概念4) 条件概率和三个重要公式 5) 事件的独立性 6)贝努利试验和二项概率公式 2、一维随机变量及其分布 1) 随机变量的概念和分布函数 2) 离散型随机变量及其分布 3) 连续型随机变量及其分布 4) 六个常用的分布 5) 随机变量函数的分布 3、多维随机变量及其分布 1) 多维(离散型和连续型)随机变量及其分布 2) 边缘分布、条件分布和随机变量的独立性 3) 二维随机变量(包括二维到二维)函数的分布 4、随机变量的数字特征