离散数学数理逻辑部分考试试题
离散数学形成性考核作业(四)
数理逻辑部分
本课程形成性考核作业共4次,内容由中央电大确定、统一布置。本次形考作业是第四次作业,大家要认真及时地完成数理逻辑部分的形考作业,字迹工整,抄写题目,解答题有解答过程。
第6章命题逻辑
1.判断下列语句是否为命题,若是命题请指出是简单命题还是复合命题.
(1)8能被4整除.
(2)今天温度高吗?
(3)今天天气真好呀!
(4)6是整数当且仅当四边形有4条边.
(5)地球是行星.
(6)小王是学生,但小李是工人.
(7)除非下雨,否则他不会去.
(8)如果他不来,那么会议就不能准时开始.
解:此题即是教材P.184习题6(A)1
(1)、(4)、(5)、(6)、(7)、(8)是命题,(2)、(3)不是命题。
其中(1)、(5)是简单命题,(4)、(6)、(7)、(8)是复合命题。
2.翻译成命题公式
(1)他不会做此事.
(2)他去旅游,仅当他有时间.
(3)小王或小李都会解这个题.
(4)如果你来,他就不回去.
(5)没有人去看展览.
(6)他们都是学生.
(7)他没有去看电影,而是去观看了体育比赛.
(8)如果下雨,那么他就会带伞.
解:此题即是教材P.184习题6(A)2
会带伞。:如果下雨,那么他就:他会带伞。:天下雨。)(。
是去观看了体育比赛。:他没有去看电影,而。
:他去观看了体育比赛:他去看电影。)(:他们都是学生。
)(:没有人去看展览。:有人去看展览。)(去。:如果你来,他就不回:他回去。
:你来。)(道题。
:小王或小李都会解这:小李会解这道题。
:小王会解这道题。)(时间。
:他去旅游,仅当他有:他有时间。:他去游泳。)(:他不会做此事。
:他会做此事。)(Q P Q P Q P Q P P P P Q P Q P Q P Q P Q P Q P P P →∧???→∧→?87654321
3.设P ,Q 的真值为1;R ,S 的真值为0,求命题公式(P ∨Q )∧R∨S ∧Q 的真值. 解:此题即是教材P.184习题6(A )4(2)
(P ∨Q )真值为1,(P ∨Q)∧R真值为0,S ∧Q 真值为0,
从而(P ∨Q )∧R ∨S ∧Q 真值为0。
4.试证明如下逻辑公式
(1) ┐(A ∧┐B )∧(┐B ∨C )∧┐C ? ┐(A ∨C )
(2) (P →Q)∧(Q →R)∧┐R ??P
(此题即是教材P .185习题6(A )5(1)、(4)) )
7()()8()6)(5()
7()4)(2()
6()4)(3()
5()
4()
3()1()
2()()
1()(),(),(由由由由由证明:结论:
前提:
T B A T B A T A T B P C P C B T B A P B A B A C C B B A ∨??∧????∨?∨??∧?∨??∨??∧? )
4)(3()5()
4()2)(1()
3()
2()
1(),(),(由由证明:结论:
前提:
T P P R T R P P R Q P Q P P R R Q Q P ??→→→??→→
离散数学形成性考核作业4题目与答案
离散数学形成性考核作业4作业与答案 离散数学综合练习书面作业 要求:学生提交作业有以下三种方式可供选择: 1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档. 3. 自备答题纸张,将答题过程手工书写,并拍照上传. 一、公式翻译题 1.请将语句“小王去上课,小李也去上课.”翻译成命题公式. 设P:小王去上课 Q:小李去上课 则:命题公式P∧Q 2.请将语句“他去旅游,仅当他有时间.”翻译成命题公式. 设P:他去旅游 Q:他有时间 则命题公式为P→Q
3.请将语句“有人不去工作”翻译成谓词公式. 设A(x):x是人 B(x):去工作 则谓词公式为?x(A(x)∧-B(x)) 4.请将语句“所有人都努力学习.”翻译成谓词公式. 设A(x): x是人 B(x):努力学习 则谓词公式为?x(A(x)∧B(x)) 二、计算题 1.设A={{1},{2},1,2},B={1,2,{1,2}},试计算 (1)(A-B);(2)(A∩B);(3)A×B. 解: (1)(A-B)={{1},{2}} (2)(A∩B)={1,2} (3)A×B= {<{1},1>,<{1},2>,<{1},{1,2}>,<{2},1>,<{2},2>,<{2},{1,2}>,<1,1>,<1, 2>,<1,{1,2}>,<2,1>,<2,2>,<2,{1,2}>} 2.设A={1,2,3,4,5},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-7试题及答案完整版
2017年11月上交的离散数学形考任务一 本课程的教学内容分为三个单元,其中第三单元的名称是(A ). 选择一项: A. 数理逻辑 B. 集合论 C. 图论 D. 谓词逻辑 题目2 答案已保存 满分10.00 标记题目 题干 本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合,其中第2章关系与函数中的第3个知识点的名称是(D ). 选择一项: A. 函数 B. 关系的概念及其运算 C. 关系的性质与闭包运算 D. 几个重要关系 题目3 答案已保存 满分10.00 标记题目 题干 本课程所有教学内容的电视视频讲解集中在VOD点播版块中,VOD点播版块中共有(B)讲. 选择一项: A. 18 B. 20 C. 19
D. 17 题目4 答案已保存 满分10.00 标记题目 题干 本课程安排了7次形成性考核作业,第3次形成性考核作业的名称是( C).选择一项: A. 集合恒等式与等价关系的判定 B. 图论部分书面作业 C. 集合论部分书面作业 D. 网上学习问答 题目5 答案已保存 满分10.00 标记题目 题干 课程学习平台左侧第1个版块名称是:(C). 选择一项: A. 课程导学 B. 课程公告 C. 课程信息 D. 使用帮助 题目6 答案已保存 满分10.00 标记题目 题干 课程学习平台右侧第5个版块名称是:(D). 选择一项:
A. 典型例题 B. 视频课堂 C. VOD点播 D. 常见问题 题目7 答案已保存 满分10.00 标记题目 题干 ―教学活动资料‖版块是课程学习平台右侧的第(A)个版块. 选择一项: A. 6 B. 7 C. 8 D. 9 题目8 答案已保存 满分10.00 标记题目 题干 课程学习平台中―课程复习‖版块下,放有本课程历年考试试卷的栏目名称是:(D ). 选择一项: A. 复习指导 B. 视频 C. 课件 D. 自测 请您按照课程导学与章节导学中安排学习进度、学习目标和学习方法设计自己的学习计划,学习计划应该包括:课程性质和目标(参考教学大纲)、学习内容、考核方式,以及自己的学习安排,字数要求在100—500字.完成后在下列文本框中提交. 解答:学习计划 学习离散数学任务目标:
离散数学形考任务1-7试题及答案完整版
2017年11月上交的离散数学形考任务一本课程的教学内容分为三个单元,其中第三单元的名称是( A ). 选择一项: , A. 数理逻辑 B. 集合论 C. 图论 D. 谓词逻辑 题目2 . 答案已保存 满分 标记题目 题干 本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合,其中第2章关系与函数中的第3个知识点的名称是( D ). ) 选择一项: A. 函数 B. 关系的概念及其运算 C. 关系的性质与闭包运算 D. 几个重要关系 < 题目3 答案已保存 满分 标记题目 题干 ; 本课程所有教学内容的电视视频讲解集中在VOD点播版块中,VOD点播版块中共有(B)讲. 选择一项:
A. 18 B. 20 C. 19 , D. 17 题目4 答案已保存 满分 标记题目 … 题干 本课程安排了7次形成性考核作业,第3次形成性考核作业的名称是(C).选择一项: A. 集合恒等式与等价关系的判定 B. 图论部分书面作业 ~ C. 集合论部分书面作业 D. 网上学习问答 题目5 答案已保存 满分 " 标记题目 题干 课程学习平台左侧第1个版块名称是:(C). 选择一项: A. 课程导学 … B. 课程公告 C. 课程信息 D. 使用帮助 题目6 答案已保存 ^ 满分
标记题目 题干 课程学习平台右侧第5个版块名称是:(D). 选择一项: % A. 典型例题 B. 视频课堂 C. VOD点播 D. 常见问题 题目7 《 答案已保存 满分 标记题目 题干 “教学活动资料”版块是课程学习平台右侧的第( A )个版块. 、 选择一项: A. 6 B. 7 C. 8 D. 9 @ 题目8 答案已保存 满分 标记题目 题干 ( 课程学习平台中“课程复习”版块下,放有本课程历年考试试卷的栏目名称是:(D ).选择一项:
离散数学自学考试复习题
离散数学 复习题 1.设A 和B 都是命题,则A →B 的真值为假当且仅当 。 A. A 为假,B 为真 B. A 为假,B 为假 C. A 为真,B 为真 D. A 为真,B 为假 2.下列公式中为重言式的是 。 A. P →(P ∨Q ∨R) B. ┐(Q →P)∧P C. (P →Q)→(Q →┐P) D. (P ∧┐P)←→Q 3.设A ={a ,{a}},P(A)表示A 的幂集,下面各式中错误的是 。 A. {a}∈P(A) B. {a}?P(A) C. {{a}}∈P(A) D. {{a}}?P(A) 4.设A ={1,2,3,4,5,6}上的关系为R ={
离散数学期末考试试卷(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分)
204电大离散数学,形考任务2
一、单项选择题(共 10 道试题,共 100 分。) 1. 设集合A = {1, a },则P(A) = ( D ). A. {{1}, {a}} B. { ,{1}, {a}} C. {{1}, {a}, {1, a }} D. { ,{1}, {a}, {1, a }} 2. 集合A={1, 2, 3, 4}上的关系R={|x=y且x, y A},则R的性质为(C ). A. 不是自反的 B. 不是对称的 C. 传递的 D. 反自反 3. 若集合A={ a,{a},{1,2}},则下列表述正确的是( C ). A. {a,{a}} A B. {1,2} A C. {a} A D. A 4. 设集合A ={1 , 2, 3}上的函数分别为:f = {<1, 2>,<2, 1>,<3, 3>},g = {<1, 3>,<2, 2>,<3, 2>},h = {<1, 3>,<2, 1>,<3, 1>}, 则h =( A ). A. f?g
C. f?f D. g?g 5. 设集合A={1 , 2 , 3 , 4}上的二元关系R={<1, 1>,<2, 2>,<2, 3>,<4, 4>},S={<1, 1>,<2, 2>,<2, 3>,<3, 2>,<4, 4>},则S是R的( C )闭包. A. 自反 B. 传递 C. 对称 D. 自反和传递 6. 若集合A={1,2},B={1,2,{1,2}},则下列表述正确的是( A ). A. A B,且A B B. B A,且A B C. A B,且A B D. A B,且A B 7. 设集合A={1,2,3,4,5},偏序关系£是A上的整除关系,则偏序集上的元素5是集合A的( C ). A. 最大元 B. 最小元 C. 极大元 D. 极小元 8. 若集合A的元素个数为10,则其幂集的元素个数为( A ).
自考离散数学02324真题含答案(2009.4-2016.4年整理版)
全国2009年4月自学考试离散数学试题(附答案) 课程代码:02324 一、单项选择题(本大题共15小题,每小题1分,共15分) 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.下列为两个命题变元P,Q的小项是() A.P∧Q∧? P B.? P∨Q C.? P∧Q D.? P∨P∨Q 2.下列语句中是真命题的是() A.我正在说谎B.严禁吸烟 C.如果1+2=3,那么雪是黑的D.如果1+2=5,那么雪是黑的 3.设P:我们划船,Q:我们跑步。命题“我们不能既划船又跑步”符号化为() A.? P∧? Q B.? P∨? Q C.?(P?Q)D.?(? P∨? Q) 4.命题公式(P∧(P→Q))→Q是() A.矛盾式B.蕴含式 C.重言式D.等价式 5.命题公式?(P∧Q)→R的成真指派是() A.000,001,110,B.001,011,101,110,111 C.全体指派D.无 6.在公式(x ?)F(x,y)→(?y)G(x,y)中变元x是() A.自由变元B.约束变元 C.既是自由变元,又是约束变元D.既不是自由变元,又不是约束变元 7.集合A={1,2,…,10}上的关系R={
离散数学试卷二十三试题与答案
试卷二十三试题与答案 一、单项选择题:(每小题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。
离散数学及其应用数理逻辑部分课后习题答案
作业答案:数理逻辑部分 P14:习题一 1、下列句子中,哪些是命题?在是命题的句子中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道? (3 答:简单命题,真命题。 (9)吸烟请到吸烟室去! 答:不是命题。 (12)8是偶数的充分必要条件是8能被3整除。 答:复合命题,假命题。 14、讲下列命题符号化。 (6)王强与刘威都学过法语。 答::p 王强学过法语;:q 刘威学过法语。 符号化为: p q ∧ (10)除非天下大雨,他就乘班车上班。 答::p 天下大雨;:q 他乘班车上班。 符号化为: p q → (13)“2或4是素数,这是不对的”是不对的。 答::p 2是素数;:q 4是素数。 符号化为:(())p q ??∨ 15、设:p 2+3=5. :q 大熊猫产在中国。 :r 太阳从西方升起。 求下列复合命题的真值。 (2)(())r p q p →∧?? (4)()(())p q r p q r ∧∧???∨?→ 解答: p 真值为1;q 真值为1;r 真值为0. (2)p q ∧真值为1;()r p q →∧真值为1;p ?真值为0; 所以(())r p q p →∧??真值为0. (4) p q r ∧∧?真值为1,p q ?∨?真值为0,()p q r ?∨?→真值为1; 所以()(())p q r p q r ∧∧???∨?→真值为1. 19、用真值表判断下列公式的类型。 (4)()()p q q p →→?→?
所以为重言式。 )s 所以为可满足式。 P36:习题二 3、用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出其成真赋值。 (1)()p q q ?∧→ 解答: 所以为永假式。 (2)(())()p p q p r →∨∨→ 解答: 所以因为永真式。 (3)()()p q p r ∨→∧
2018国家开放大学离散数学本形考任务答案
离散数学作业4 离散数学图论部分形成性考核书面作业 本课程形成性考核书面作业共3次,容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握.本次形考书面作业是第二次作业,大家要认真及时地完成图论部分的综合练习作业. 要求:学生提交作业有以下三种方式可供选择: 1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档 3. 自备答题纸,将答题过程手工书写,并拍照上传. 一、填空题 1.已知图G中有1个1度结点,2个2度结点,3个3度结点,4个4度结点,则G的边数是15 . 2.设给定图G(如右由图所示),则图G的点割集是 { f },{ e,c} . 3.设G是一个图,结点集合为V,边集合为E,则 G的结点度数之和等于边数的两倍. 4.无向图G存在欧拉回路,当且仅当G连通且不含奇数度结 点. 5.设G=
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不是欧拉图而是汉密尔顿图.
7月全国自考离散数学试题及答案解析
全国2018年7月自学考试离散数学试题 课程代码:02324 一、单项选择题(本大题共15小题,每小题1分,共15分) 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.下列句子不是 ..命题的是() A.中华人民共和国的首都是北京B.张三是学生 C.雪是黑色的D.太好了! 2.下列式子不是 ..谓词合式公式的是() A.(?x)P(x)→R(y) B.(?x) ┐P(x)?(?x)(P(x)→Q(x)) C.(?x)(?y)(P(x)∧Q(y))→(?x)R(x) D.(?x)(P(x,y)→Q(x,z))∨(?z)R(x,z) 3.下列式子为重言式的是() A.(┐P∧R)→Q B.P∨Q∧R→┐R C.P∨(P∧Q) D.(┐P∨Q)?(P→Q) 4.在指定的解释下,下列公式为真的是() A.(?x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2} B.(?x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2} C.(?x)(P(x) →Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4} D.(?x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4} 5.对于公式(?x) (?y)(P(x)∧Q(y))→(?x)R(x,y),下列说法正确的是() A.y是自由变元B.y是约束变元 C.(?x)的辖域是R(x, y) D.(?x)的辖域是(?y)(P(x)∧Q(y))→(?x)R(x,y) 6.设论域为{1,2},与公式(?x)A(x)等价的是() A.A(1)∨A(2) B.A(1)→A(2) C.A(1)∧A(2) D.A(2)→A(1) 7.设Z+是正整数集,R是实数集,f:Z+→R, f(n)=log2n ,则f() 1
电大离散数学本形考任务完整版
电大离散数学本形考任 务 HUA system office room 【HUA16H-TTMS2A-HUAS8Q8-HUAH1688】
离散数学集合论部分形成性考核书面作业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握.本次形考书面作业是第一次作业,大家要认真及时地完成集合论部分的综合练习作业. 要求:学生提交作业有以下三种方式可供选择: 1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档 3. 自备答题纸张,将答题过程手工书写,并拍照上传. 一、填空题 1.设集合{1,2,3},{1,2} A B ==,P(A)-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=} x∈ y y > <那么R-1={<6,3>,<8,4>}. x = ∈ 2 , , x , {B A y 5.设集合A={a, b, c, d},A上的二元关系R={, , ,
2020年7月全国自考离散数学试题及答案解析试卷及答案解析真题.docx
??????????????????????精品自学考料推荐?????????????????? 浙江省 2019 年 7 月高等教育自学考试 离散数学试题 课程代码: 02324 一、单项选择题 (在每小题的四个备选答案中,选出一个正确答案,并将正确答案的序号填在 题干的括号内。每小题 1 分,共 14 分 ) 1.给定如下 4 个语句 : (1) 我不会游泳。(2)如果天不下雨,我就去踢足球。 (3) 我每天都看新闻联播。(4)火星上有人吗? 其中不是复合命题的是()。 A.(1)(4) B.(1)(3)(4) C.(1)(3) D.(3)(4) 2.设 P,Q,R 是命题公式 ,则 P→ R, Q→ R, P∨Q ()。 A. P B. Q C. R D. ┐ R 3.下列公式中正确的等价式是()。 A. ┐ ( x)A(x)(x) ┐ A(x) B. ┐ ( x)A(x)(x)┐ A(x) C. ( x)( y)A(x,y)( y)( x)A(x,y) D. ( x)( (x)∧ B(x))( x)A(x) ∨ ( x)B(x) 4.谓词公式 ( x)(P(x) ∨ ( y)R(y)) → Q(x) 中的 x()。 A.只是约束变元 B.只是自由变元 C.既非约束变元又非自由变元 D.既是约束变元又是自由变元 5.设个体域为整数集 ,则下列公式中值为真的是 ()。 A. (y)(x)(x · y=2) B. (x)(y)(x · y=2) C. (x)(x · y=x) D. (x)(y)(x+y=2y) 6.设 A={a,b,c}, 则 A 中的双射共有 ()。 A.3 个 B.6 个 C.8 个 D.9 个 7.设 S={a,b,c}, 则 S 的幂集的元素的个数有()。 A.3 个 B.6 个 C.8 个 D.9 个 8.设 A={a,b,c}, 则 A ×A 中的元素有 ()。 A.3 个 B.6 个 1
离散数学期末考试试题(有几套带答案)
离散数学试题(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)
国家开发教育本科离散数学形考+答案
国家开发教育本科离散数学形考+答案 形考任务一 题目1:本课程的教学内容分为三个单元,其中第三单元的名称是(). A. 数理逻辑 B. 集合论 C. 图论 D. 谓词逻辑 题目2:本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合,其 中第2章关系与函数中的第3个知识点的名称是(). A. 函数 B. 关系的概念及其运算 C. 关系的性质与闭包运算 D. 几个重要关系 题目3:本课程所有教学内容的电视视频讲解集中在VOD点播版块中,VOD点播版块中共有()讲. A. 18 B. 20 C. 19 D. 17 题目4:本课程安排了7次形成性考核作业,第3次形成性考核作业的名称是(). A. 集合恒等式与等价关系的判定 B. 图论部分书面作业 C. 集合论部分书面作业
D. 网上学习问答 题目5:课程学习平台左侧第1个版块名称是:(). A. 课程导学 B. 课程公告 C. 课程信息 D. 使用帮助 题目6:课程学习平台右侧第5个版块名称是:(). A. 典型例题 B. 视频课堂 C. VOD点播 D. 常见问题 题目7:“教学活动资料”版块是课程学习平台右侧的第()个版块. 选择一项: A. 6 B. 7 C. 8 D. 9 题目8:课程学习平台中“课程复习”版块下,放有本课程历年考试试卷的栏目名称是:(). A. 复习指导 B. 视频 C. 课件
D. 自测 形考任务二 题目1:若集合 $$ A=\{a,\{a\},\{1,2\}\}$$,则下列表述正确的是( ). A. $$\{a,\{a\} \in A$$ B. $$\{1,2\}\notin A$$ C. $$\{a\}\subseteq A $$ D. $$\emptyset \in A $$ 题目2:设集合A={1, 2, 3},B={3, 4, 5},C={5, 6, 7},则A∪B–C =( ). A. {1, 2, 3, 4} B. {1, 2, 3, 5} C. {2, 3, 4, 5} D. {4, 5, 6, 7} 题目3:设集合A = {1,$$ a$$ },则P(A) = ( ). A. {{1}, {$$a$$}} B. {?,{1}, {$$a$$}} C. $$\{\{1\}, \{a\}, \{1, a \}\}$$ D. $$?,\{1\}, \{a\}, \{1, a \}\}$$ 题目4:集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={
7月全国自考离散数学试题及答案解析试卷及答案解析
全国2018年7月高等教育自学考试 离散数学试题 课程代码:02324 一、单项选择题(在每小题的四个备选答案中,选出一个正确答案,并将正确答案的序号填 在题干的括号内。每小题1分,共14分) 1.下列语句不是 ..命题的是( )。 A.黄金是非金属。 B.要是他不上场,我们就不会输。 C.他跑100米只用了10秒钟,你说他是不是运动健将呢? D.他跑100米只用了10秒钟,他是一个真正的运动健将。 2.关于命题变元P和Q的大项M01表示( )。 A.┐P∧Q B.┐P∨Q C.P∨┐Q D.P∧┐Q 3.公式(?x)(?y)(P(x,z)→Q(y))S(x,y)中的(?x)的辖域是( )。 A.(?y)(P(x,z)→Q(y)) B.P(x,z)→Q(y) C.P(x,z) D.S(x,z) 4.下列等价式不成立 ...的是( )。 A.┐(?x)A(x)?(?x)┐A(x) B.┐(?x)A(x)?(?x)┐A(x) C.(?x)(A(x)∧B(x))?(?x)A(x)∧(?x)B(x) D.(?x)(A(x)∨B(x))?(?x)A(x)∨(?x)B(x) 5.公式(?x)(?y)(P(x,y)∧Q(z))→R(x)中的x( )。 A.只是约束变元 B.只是自由变元 C.既是约束变元又是自由变元 D.既非约束变元又非自由变元 6.设A={a,{a}},则下列各式正确的是( )。 A.{a}∈p(A)(A的幂集) B.{a}?p(A) C.{{a}}?p(A) D.{a,{a}}?p(A) 7.集合的以下运算律不成立 ...的是( )。 A.A∩B=B∩A B.A∪B=B∪A C.A⊕B=B⊕A D.A-B=B-A 8.设N是自然数集,R是实数集,函数f:N→R,f(n)=lgn是( )。 A.入射 B.满射 C.双射 D.非以上三种的一般函数 9.设实数集R上的二元运算o为:xoy=x+y-2xy,则o不满足( )。 A.交换律 B.结合律 1
离散数学试题及解答
离散数学 2^m*n 一、选择题(2*10) 1.令P:今天下雨了,Q:我没带伞,则命题“虽然今天下雨了,但是我没带伞”可符号化为()。 (A)P→?Q (B)P∨?Q (C)P∧Q (D)P∧?Q 2.下列命题公式为永真蕴含式的是()。 (A)Q→(P∧Q)(B)P→(P∧Q) (C)(P∧Q)→P (D)(P∨Q)→Q 3、命题“存在一些人是大学生”的否定是(A),而命题“所有的人都是要死的”的否定 是()。 (A)所有人都不是大学生,有些人不会死 (B)所有人不都是大学生,所有人都不会死 (C)存在一些人不是大学生,有些人不会死 (D)所有人都不是大学生,所有人都不会死 4、永真式的否定是()。
(A)永真式(B)永假式(C)可满足式(D)以上均有可能 5、以下选项中正确的是()。 (A)0= ? (B)0 ? (C)0∈? (D)0?? 6、以下哪个不是集合A上的等价关系的性质?() )。 (A)2 (B)4 (C)3 (D)5 10.连通图G是一棵树,当且仅当G中()。 (A)有些边不是割边(B)每条边都是割边 (C)无割边集(D)每条边都不是割边
二、填空题(2*10) 1、命题“2是偶数或-3是负数”的否定是________。 2、设全体域D是正整数集合,则命题?x?y(xy=y)的真值是______。 3、令R(x):x是实数,Q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为 4 5 6、设 7 8 (1)若A去,则C和D中要去1个人; (2)B和C不能都去; (3)若C去,则D留下 五、(15分)设A={1,2,3},写出下列图示关系的关系矩阵,并讨论它们的性质:
离散数学数理逻辑部分考试试题
离散数学形成性考核作业(四) 数理逻辑部分 本课程形成性考核作业共4次,内容由中央电大确定、统一布置。本次形考作业是第四次作业,大家要认真及时地完成数理逻辑部分的形考作业,字迹工整,抄写题目,解答题有解答过程。 第6章命题逻辑 1.判断下列语句是否为命题,若是命题请指出是简单命题还是复合命题. (1)8能被4整除. (2)今天温度高吗? (3)今天天气真好呀! (4)6是整数当且仅当四边形有4条边. (5)地球是行星. (6)小王是学生,但小李是工人. (7)除非下雨,否则他不会去. (8)如果他不来,那么会议就不能准时开始. 解:此题即是教材P.184习题6(A)1 (1)、(4)、(5)、(6)、(7)、(8)是命题,(2)、(3)不是命题。 其中(1)、(5)是简单命题,(4)、(6)、(7)、(8)是复合命题。 2.翻译成命题公式 (1)他不会做此事. (2)他去旅游,仅当他有时间. (3)小王或小李都会解这个题. (4)如果你来,他就不回去. (5)没有人去看展览. (6)他们都是学生. (7)他没有去看电影,而是去观看了体育比赛. (8)如果下雨,那么他就会带伞. 解:此题即是教材P.184习题6(A)2
会带伞。:如果下雨,那么他就:他会带伞。:天下雨。)(。 是去观看了体育比赛。:他没有去看电影,而。 :他去观看了体育比赛:他去看电影。)(:他们都是学生。 )(:没有人去看展览。:有人去看展览。)(去。:如果你来,他就不回:他回去。 :你来。)(道题。 :小王或小李都会解这:小李会解这道题。 :小王会解这道题。)(时间。 :他去旅游,仅当他有:他有时间。:他去游泳。)(:他不会做此事。 :他会做此事。)(Q P Q P Q P Q P P P P Q P Q P Q P Q P Q P Q P P P →∧???→∧→?87654321 3.设P ,Q 的真值为1;R ,S 的真值为0,求命题公式(P ∨Q )∧R∨S ∧Q 的真值. 解:此题即是教材P.184习题6(A )4(2) (P ∨Q )真值为1,(P ∨Q)∧R真值为0,S ∧Q 真值为0, 从而(P ∨Q )∧R ∨S ∧Q 真值为0。 4.试证明如下逻辑公式 (1) ┐(A ∧┐B )∧(┐B ∨C )∧┐C ? ┐(A ∨C ) (2) (P →Q)∧(Q →R)∧┐R ??P (此题即是教材P .185习题6(A )5(1)、(4)) ) 7()()8()6)(5() 7()4)(2() 6()4)(3() 5() 4() 3()1() 2()() 1()(),(),(由由由由由证明:结论: 前提: T B A T B A T A T B P C P C B T B A P B A B A C C B B A ∨??∧????∨?∨??∧?∨??∨??∧? ) 4)(3()5() 4()2)(1() 3() 2() 1(),(),(由由证明:结论: 前提: T P P R T R P P R Q P Q P P R R Q Q P ??→→→??→→