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

合集下载

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

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

离散数学期末考试题及详细答案一、选择题(每题5分,共20分)1. 在离散数学中,下列哪个概念用来描述元素与集合之间的关系?A. 并集B. 交集C. 子集D. 元素答案:D2. 布尔代数中,下列哪个运算符表示逻辑“与”?A. ∨B. ∧C. ¬D. →答案:B3. 下列哪个命题的否定是正确的?A. 如果今天是周一,则明天是周二。

B. 如果今天是周一,则明天不是周二。

答案:B4. 在图论中,一个图的顶点数为n,边数为m,下列哪个条件可以保证该图是连通的?A. m > nB. m ≥ nC. m = nD. m > n-1答案:D二、填空题(每题5分,共20分)1. 在集合论中,一个集合的幂集包含该集合的所有______。

答案:子集2. 如果一个函数f: A → B是单射的,那么对于任意的a1, a2 ∈ A,如果a1 ≠ a2,则f(a1) ≠ f(a2)。

这种性质称为函数的______。

答案:单射性3. 在图论中,一个图的直径是指图中任意两个顶点之间的最短路径的最大值。

如果一个图的直径为1,则该图被称为______。

答案:完全图4. 一个布尔表达式可以表示为一系列逻辑运算符和变量的组合。

布尔表达式(A ∧ B) ∨ (¬ A ∧ C)的真值表中,当A为真,B为假,C为真时,整个表达式的值为______。

答案:真三、简答题(每题10分,共30分)1. 请简述什么是图的哈密顿回路,并给出一个例子。

答案:哈密顿回路是图中的一个回路,它恰好访问每个顶点一次。

例如,在一个完全图中,任意一个顶点出发,依次访问其他顶点,最后回到出发点的路径就是一个哈密顿回路。

2. 请解释什么是二元关系,并给出一个二元关系的例子。

答案:二元关系是定义在两个集合上的一个关系,它关联了第一个集合中的元素和第二个集合中的元素。

例如,小于关系是实数集合上的一个二元关系,它关联了每一对实数,如果第一个数小于第二个数。

离散数学期末考试含答案

离散数学期末考试含答案

离散数学综合练习题一一、单项选择题(每题2分 )16 %设P :王强是南方人,Q :他怕热.命题“王强不怕热是因为他是南方人”符号化为 ( ) (A)(B)()(D)P Q P Q C Q P Q P →→⌝→⌝→2 设F (x ):x 是熊猫,G (y ):y 是竹子,H (x ,y ):x 喜欢y. 那么命题“有些熊猫喜欢各种的竹子”符号化为 ( )(A) (()(()(,)))x F x y G y H x y ∃→∀∧ (B) (()(()(,)))x F x y G y H x y ∃→∀→ (C) (()(()(,)))x F x y G y H x y ∃∧∀→ (D) (()(()(,)))y x F x G y H x y ∀∃→∧3. 命题公式()p q p →∧⌝是 ( )(A) 重言式 (B) 矛盾式(C) 可满足式 (D) 以上3种都不是4. 设集合A ={a,b,{c,d,e}}则下列各式为真的是 ( )(A) ∈A (B) c ∈A (C) {c,d,e} A (D) {a,b}A5. 设函数 :f N N →且()3x f x =,则f 是 ( )(A) 单射,非满射 (B) 满射,非单射 (C) 双射 (D) 非单射,非满射6. 设E 为全集, A , B 为非空集,且BA ,则空集为( )(A) A B I (B) A B :I (C) A B I : (D) A B :I :7. 设A ={0,1,2,3},A 上的关系R ={<0,1>,<0,2>,<1,1>,<1,2>,<2,1>,<2,2>,<3,3>},则R 是 ( )(A )自反的 (B )对称的 (C )反对称的 (D )可传递的8. 无向图K 3,3是( )(A )哈密顿图 (B )欧拉图 (C )完全图 (D )平面图二、填空题(每空2分)18 %1. 设():F x x 是火车,():G y y 是汽车,H (x,y ):x 比y 快,则命题“说所有火车比有的汽车快是不对的”符号化是 ,其另一种等值形式为 。

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

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

离散数学期末考试试题及答案一、选择题(每题3分,共30分)1. 设集合A={1, 2, 3, 4, 5},B={2, 4, 6, 8},则A∩B是()A. {1, 2, 3, 4, 5}B. {2, 4}C. {1, 3, 5}D. {2, 4, 6, 8}2. 下列关系中,哪个是等价关系?()A. 小于关系B. 大于等于关系C. 模2同余关系D. 整除关系3. 设P(x)是谓词逻辑公式,下列哪个命题与∀xP(x)等价?()A. ∃x¬P(x)B. ¬∀xP(x)C. ¬∃xP(x)D. ∃x¬P(x)4. 一个图的欧拉回路是指()A. 经过每一条边的路径B. 经过每一个顶点的路径C. 经过每一条边的环D. 经过每一个顶点的环5. 设G是一个无向图,下列哪个说法是正确的?()A. G的每个顶点的度数都相等B. G的每个顶点的度数都不相等C. G的任意两个顶点之间都有一条边D. G的任意两个顶点之间都不一定有边6. 下列哪个图是哈密顿图?()A. K3,3B. K5C. K4,4D. K67. 设G是一个具有n个顶点的连通图,则G的最小生成树至少包含()A. n个顶点B. n-1条边C. n+1条边D. 2n条边8. 下列哪个算法可以用来求解最短路径问题?()A. Dijkstra算法B. Kruskal算法C. Prim算法D. Floyd算法9. 设P和Q是两个命题,下列哪个命题与(P→Q)∧(Q→P)等价?()A. P∧QB. P∨QC. P↔QD. ¬P∨¬Q10. 设A是一个有限集合,A的幂集是指()A. A的所有子集B. A的所有真子集C. A的所有非空子集D. A的所有非空真子集二、填空题(每题3分,共30分)11. 设集合A={1, 2, 3, 4, 5},B={2, 4, 6, 8},则A-B=______。

12. 设P(x)是谓词逻辑公式,∃xP(x)表示“存在一个x使得P(x)成立”,那么∀x¬P(x)表示“______”。

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

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

离散数学期末考试题及答案1.选择题(每题3分,共30分)1. 下列命题中,属于复合命题的是:A. 3是一个奇数,且2是一个偶数B. 如果2是一个素数,那么4也是一个素数C. 不是所有奇数都是素数D. 存在一个整数x,使得x>5且x是一个偶数答案:D2. 已知命题p:草地是绿的,命题q:天空是蓝的。

下列表述可以表示p ∧ ¬q 的是:A. 草地是绿的,天空是蓝的B. 草地不是绿的,天空是蓝的C. 草地是绿的,天空不是蓝的D. 草地不是绿的,天空不是蓝的答案:B3. 设命题p表示“这个数是偶数”,q表示“这个数大于10”。

那么“这个数既是偶数又大于10”可以表示为:A. p ∧ qB. p ∨ qC. ¬p ∧ qD. ¬p ∨ q答案:A4. 下列以下列集合的方式描述,其中哪个是空集∅:A. {x | 0 ≤ x ≤ 1}B. {x | x是一个自然数,x > 10}C. {x | x是一个正偶数,x < 2}D. {x | x是一个负整数,x < -1}答案:C5. 设A = {a, b, c},B = {c, d, e},C = {a, c, e}。

则(A ∪ B) ∩ C等于:A. {a, b, c, d, e}B. {a, c, e}C. {c}D. 空集∅答案:B6. 假设U是全集,A、B、C是U的子集。

则(A ∪ B) ∩ C 的补集是:A. A ∩ B ∩ C的补集B. (A ∪ B) ∩ C的补集C. A ∪ (B ∩ C)的补集D. (A ∩ C) ∩ (B ∩ C)的补集答案:D7. 若关系R为集合A到集合B的一种映射,且|A| = 7,|B| = 4,则R包含的有序对数目为:A. 4B. 7C. 11D. 28答案:D8. 设A={1,2,3},B={4,5,6},则从A到B的映射总数为:A. 3B. 9C. 6D. 18答案:C9. 设A={a,b,c,d,e},则集合A的幂集的元素个数是:A. 2B. 5C. 10D. 32答案:D10. 若f:A→B为满射且g:B→C为单射,则(g ∘ f):A→C为:A. 双射B. 满射C. 单射D. 非单射且非满射答案:A2.简答题(每题10分,共20分)1. 请简要解释什么是关系R的自反性、对称性和传递性。

离散数学期末试卷(4套附答案)

离散数学期末试卷(4套附答案)

一、单项选择题(每小题3分,共30分)1.下列为两个命题变元p,q的最小项的是( ) A .p∧q∧⎤ pB .⎤ p∨qC .⎤ p∧qD .⎤ p∨p∨q 2.下列句子不是命题的是( ) A .中华人民共和国的首都是北京 B .张三是学生 C .雪是黑色的D .太好了!3.对于公式(∀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 )4.7.集合A={1,2,…,10}上的关系R={(x ,y )|x +y =10,x ∈A ,y ∈A},则R 的性质是( )A .自反的B .对称的C .传递的、对称的D .反自反的、传递的 5.设论域为{l ,2},与公式)(x xA ∃等价的是( ) A.A (1)∨A (2)B. A (1)→A (2)C.A (1)D. A (2)→A (1)6. 下列关系矩阵所对应的关系具有反自反性的是( ) A .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001110101B .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡101100001 C .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001100100D .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡0010101017. 下列运算不满足...交换律的是( ) A .a *b =a+2bB .a *b =min(a ,b )C .a *b =|a -b |D .a *b =2ab8..设A 是奇数集合,下列构成独异点的是( ) A.<A ,+> B.<A ,-> C.<A ,×> D.<A ,÷> 9. 右图的最大入度是( ) A .0 B .1 C .2D .3第9题图拟题学院(系): 高密校区 适用专业: 学年 2学期 离散数学 (B卷) 试题标准答案10. 设有向图D 的节点数大于1,D=(V ,E )是强连通图,当且仅当( ) A. D 中至少有一条通路 B. D 中至少有一条回路C. D 中有通过每个结点至少一次的通路D. D 中有通过每个结点至少一次的回路 二、填空题(每空3分,共30分)1.设A ={1,2,3,4},B ={2,4,6},则A -B =________,A ⊕B =________。

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

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

离散数学期末考试题及答案一、单项选择题(每题2分,共20分)1. 集合A={1,2,3},集合B={2,3,4},则A∩B等于多少?A. {1,2}B. {2,3}C. {3,4}D. {1,4}答案:B2. 命题“若x>0,则x^2>0”的逆否命题是?A. 若x^2≤0,则x≤0B. 若x^2>0,则x>0C. 若x≤0,则x^2≤0D. 若x≤0,则x^2>0答案:C3. 在图论中,一个图是连通的当且仅当?A. 存在一个顶点到所有其他顶点的路径B. 存在一个顶点到所有其他顶点的回路C. 图中没有孤立的顶点D. 图中至少有两个顶点答案:A4. 以下哪个选项是二元关系的自反性质?A. 对于所有元素x,(x, x)∉RB. 对于所有元素x,(x, x)∈RC. 对于所有元素x,y,(x, y)∈R且(y, x)∈RD. 对于所有元素x,y,z,(x, y)∈R且(y, z)∈R则(x, z)∈R5. 以下哪个命题是真命题?A. 所有的马都是白色的B. 有些马是白色的C. 没有马是白色的D. 所有的马都不是白色的答案:B6. 以下哪个选项是等价命题?A. p∧q和p∨qB. p∧q和¬p∨¬qC. p∧¬q和¬p∨qD. p∧q和¬p∧¬q答案:D7. 在集合论中,以下哪个操作是幂集?A. 并集B. 交集C. 对称差D. 包含所有子集的集合答案:D8. 以下哪个选项是图的路径?A. 一条边B. 一个顶点C. 一系列顶点和边,使得每对连续的顶点由一条边连接D. 一个环答案:C9. 以下哪个选项是命题逻辑中的合取?B. p∧qC. ¬pD. p→q答案:B10. 以下哪个选项是图的连通分量?A. 一个顶点B. 一条边C. 图的一个极大连通子图D. 图的一个极大不连通子图答案:C二、填空题(每题2分,共20分)1. 集合{1,2,3}的子集个数为__7__。

离散数学期末考试试题(配答案)

离散数学期末考试试题(配答案)

离散数学期末考试试题(配答案)1. 谓词公式)()(x xQ x xP ∃→∀的前束范式是___________。

2. 设全集{}{}{},5,2,3,2,1,5,4,3,2,1===B A E 则A ∩B =____;=A _____;=B A Y __ _____3. 设{}{}b a B c b a A ,,,,==;则=-)()(B A ρρ__ __________;=-)()(A B ρρ_____ ______。

二.选择题(每小题2分;共10分)1. 与命题公式)(R Q P →→等价的公式是( )(A )R Q P →∨)( (B )R Q P →∧)( (C ))(R Q P ∧→ (D ))(R Q P ∨→ 2. 设集合{}c b a A ,,=;A 上的二元关系{}><><=b b a a R ,,,不具备关系( )性质 (A ) (A)传递性 (B)反对称性 (C)对称性 (D)自反性 三.计算题(共43分)1. 求命题公式r q p ∨∧的主合取范式与主析取范式。

(6分)2. 设集合{}d c b a A ,,,=上的二元关系R 的关系矩阵为⎪⎪⎪⎪⎪⎭⎫⎝⎛=1000000011010001R M ;求)(),(),(R t R s R r 的关系矩阵;并画出R ;)(),(),(R t R s R r 的关系图。

(10分)5. 试判断),(≤z 是否为格?说明理由。

(5分)(注:什么是格?Z 是整数;格:任两个元素;有最小上界和最大下界的偏序)四.证明题(共37分)1. 用推理规则证明D D A C C B B A ⌝⇒∧⌝⌝⌝∧∨⌝→)(,)(,。

(10分)2. 设R 是实数集;b a b a f R R R f +=→⨯),(,:;ab b a g R R R g =→⨯),(,:。

求证:g f 和都是满射;但不是单射。

(10分)一;1; _ ∃x ∃y¬P(x)∨Q(y)2; {2} {4;5} {1;3;4;5}3; {{c};{a ;c};{b ;c};{a ;b ;c}} Φ_ 二;B D三;解:主合取方式:p ∧q ∨r ⇔(p ∨q ∨r)∧(p ∨¬q ∨r)∧(¬p ∨q ∨r)= ∏0.2.4主析取范式:p ∧q ∨r ⇔(p ∧q ∧r) ∨(p ∧q ∧¬r) ∨(¬p ∧q ∧r) ∨(¬p ∧¬q ∧r) ∨(p ∧¬q ∧r)= ∑1.3.5.6.7 四;1;证明:编号 公式 依据 (1) (¬B∨C )∧¬C 前提 (2) ¬B∨C ;¬C (1) (3) ¬B (2) (4) A →B (3) (5) ¬A (3)(4) (6) ¬(¬A∧D ) 前提 (7) A ∨¬D (6) (8)¬D (5)(6)2;证明:要证f 是满射;即∀y ∈R ;都存在(x1;x2)∈R ×R ;使f (x1;x2)=y ;而f (x1;x2)=x1+x2;可取x1=0;x2=y ;即证得;再证g 是满射;即∀y ∈R ;;都存在(x1;x2)∈R ×R ;使g (x1;x2)=y ;而g (x1;x2)=x1x2;可取x1=1;x2=y ;即证得;最后证f 不是单射;f (x1;x2)=f (x2;x1)取x1≠x2;即证得;同理:g (x1;x2)=g (x2;x1);取x1≠x2;即证得。

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

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

离散数学期末考试题及详细答案一、选择题(每题5分,共20分)1. 下列哪一项是图论中的基本概念?A. 集合B. 函数C. 映射D. 顶点答案:D2. 在逻辑中,下列哪一项表示合取?A. ∨B. ∧C. →D. ¬答案:B3. 以下哪个命题是真命题?A. p ∧ ¬pB. p ∨ ¬pC. p → ¬pD. ¬p → p答案:B4. 在集合论中,下列哪个符号表示集合的交集?A. ∪B. ∩C. ⊆D. ⊂答案:B二、填空题(每题5分,共20分)1. 如果一个图是无环的,则称该图为________。

答案:树2. 在布尔代数中,逻辑或运算的符号是________。

答案:∨3. 如果一个函数f: A → B,则称A为函数f的________。

答案:定义域4. 一个集合的子集个数是2的该集合元素个数次方,这个结论被称为________。

答案:幂集定理三、简答题(每题10分,共30分)1. 请简述图的邻接矩阵和邻接表的定义。

答案:邻接矩阵是一个二维数组,其元素表示图中两个顶点之间是否存在边。

邻接表是图的一种表示方法,其中每个顶点对应一个链表,链表中存储的是与该顶点相邻的顶点。

2. 什么是哥德尔不完备性定理?答案:哥德尔不完备性定理表明,在任何包含基本算术的一致形式系统内,都存在这样的命题:这个命题既不能被证明为真,也不能被证明为假。

3. 请解释什么是二元关系,并给出一个例子。

答案:二元关系是定义在两个集合上的一个子集,它包含所有满足特定条件的有序对。

例如,整数集合上的大于关系就是一个二元关系。

四、计算题(每题15分,共30分)1. 给定一个集合A={1,2,3,4},请计算集合A的幂集。

答案:集合A的幂集是{∅, {1}, {2}, {3}, {4}, {1,2}, {1,3}, {1,4}, {2,3}, {2,4}, {3,4}, {1,2,3}, {1,2,4}, {1,3,4},{2,3,4}, {1,2,3,4}}。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

离散数学试题(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(置换)R2)∃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∨S2) ∀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)(6)Q(y)(7)R(a)(8)P(a)(9)P(a)∧R(a)(10)∃x(P(x)∧R(x))(11)Q(y)∧∃x(P(x)∧R(x))五、已知A、B、C是三个集合,证明A-(B∪C)=(A-B)∩(A-C) (15分)证明∵x∈A-(B∪C)⇔x∈A∧x∉(B∪C)⇔x∈A∧(x∉B∧x∉C)⇔(x∈A∧x∉B)∧(x∈A∧x∉C)⇔x∈(A-B)∧x∈(A-C)⇔ x∈(A-B)∩(A-C)∴A-(B∪C)=(A-B)∩(A-C)六、已知R、S是N上的关系,其定义如下:R={<x,y>| x,y∈N∧y=x2},S={<x,y>| x,y∈N∧y=x+1}。

求R-1、R*S、S*R、R{1,2}、S[{1,2}](10分)解:R-1={<y,x>| x,y∈N∧y=x2},R*S={<x,y>| x,y∈N∧y=x2+1},S*R={<x,y>| x,y∈N∧y=(x+1)2},七、若f:A→B和g:B→C是双射,则(gf)-1=f-1g-1(10分)。

证明:因为f、g是双射,所以gf:A→C是双射,所以gf有逆函数(gf)-1:C→A。

同理可推f-1g-1:C→A是双射。

因为<x,y>∈f-1g-1⇔存在z(<x,z>∈g-1∧<z,y>∈f-1)⇔存在z(<y,z>∈f∧<z,x>∈g)⇔<y,x>∈gf⇔<x,y>∈(gf)-1,所以(gf)-1=f-1g-1。

R{1,2}={<1,1>,<2,4>},S[{1,2}]={1,4}。

离散数学试题(B卷及答案)一、证明题(10分)1)((P∨Q)∧⌝(⌝P∧(⌝Q∨⌝R)))∨(⌝P∧⌝Q)∨(⌝P∧⌝R)⇔T证明左端⇔((P∨Q)∧(P∨(Q∧R)))∨⌝((P∨Q)∧(P∨R))(摩根律) ⇔ ((P∨Q)∧(P∨Q)∧(P∨R))∨⌝((P∨Q)∧(P∨R))(分配律) ⇔ ((P∨Q)∧(P∨R))∨⌝((P∨Q)∧(P∨R)) (等幂律) ⇔T (代入)2)∀x(P(x)→Q(x))∧∀xP(x)⇔∀x(P(x)∧Q(x))证明∀x(P(x)→Q(x))∧∀xP(x)⇔∀x((P(x)→Q(x)∧P(x))⇔∀x((⌝P(x)∨Q(x)∧P(x))⇔∀x(P(x)∧Q(x))⇔∀xP(x)∧∀xQ(x)⇔∀x(P(x)∧Q(x))二、求命题公式(⌝P→Q)→(P∨⌝Q) 的主析取范式和主合取范式(10分)解:(⌝P→Q)→(P∨⌝Q)⇔⌝(⌝P→Q)∨(P∨⌝Q)⇔⌝(P∨Q)∨(P∨⌝Q)⇔(⌝P∧⌝Q)∨(P∨⌝Q) ⇔(⌝P∨P∨⌝Q)∧(⌝Q∨P ∨⌝Q)⇔(P∨⌝Q)⇔M1⇔m0∨m2∨m3三、推理证明题(10分)1)(P→(Q→S))∧(⌝R∨P)∧Q⇒R→S证明:(1)R 附加前提(2)⌝R∨P P(3)P T(1)(2),I(4)P→(Q→S) P(5)Q→S T(3)(4),I(6)Q P(7)S T(5)(6),I(8)R→S CP2) ∀x(P(x)∨Q(x)),∀x⌝P(x)⇒∃x Q(x)证明:(1)∀x⌝P(x) P(2)⌝P(c) T(1),US(3)∀x(P(x)∨Q(x)) P(4)P(c)∨Q(c) T(3),US(5)Q(c) T(2)(4),I(6)∃x Q(x) T(5),EG五、已知A、B、C是三个集合,证明A∩(B∪C)=(A∩B)∪(A∩C) (10分)证明:∵x∈ A∩(B∪C)⇔ x∈ A∧x∈(B∪C)⇔ x∈ A∧(x∈B∨x∈C)⇔( x∈ A∧x∈B)∨(x∈ A∧x∈C)⇔ x∈(A∩B)∨x∈ A∩C⇔ x∈(A∩B)∪(A∩C)∴A∩(B∪C)=(A∩B)∪(A∩C)六、π={A1,A2,…,A n}是集合A的一个划分,定义R={<a,b>|a、b∈A i,I=1,2,…,n},则R是A上的等价关系(15分)。

证明:∀a∈A必有i使得a∈A i,由定义知aRa,故R自反。

∀a,b∈A,若aRb ,则a,b∈A i,即b,a∈A i,所以bRa,故R对称。

∀a,b,c∈A,若aRb 且bRc,则a,b∈A i及b,c∈A j。

因为i≠j时A i∩A j=Φ,故i=j,即a,b,c∈A i,所以aRc,故R传递。

总之R是A上的等价关系。

七、若f:A→B是双射,则f-1:B→A是双射(15分)。

证明:对任意的x∈A,因为f是从A到B的函数,故存在y∈B,使<x,y>∈f,<y,x>∈f-1。

所以,f-1是满射。

对任意的x∈A,若存在y1,y2∈B,使得<y1,x>∈f-1且<y2,x>∈f-1,则有<x,y1>∈f且<x,y2>∈f。

因为f是函数,则y1=y2。

所以,f-1是单射。

因此f-1是双射。

一、 选择题.(每小题2分,总计30) 1. 给定语句如下: (1)15是素数(质数) (2)10能被2整除,3是偶数。

(3)你下午有会吗?若无会,请到我这儿来! (4)2x+3>0.(5)只有4是偶数,3才能被2整除。

(6)明年5月1日是晴天。

以上6个语句中,是简单命题的为(A ),是复合命题的为(B ),是真命题的为(C ),是假命题的是(D ),真值待定的命题是(E )A: ①(1)(3)(4)(6) ②(1)(4)(6) ③(1)(6) B: ①(2)(4) ②(2)(4)(6) ③(2)(5) C: ①(1)(2)(5)(6) ②无真命题 ③(5) D: ①(1)(2) ②无假命题 ③(1)(2)(4)(5) E: ①(4)(6) ②(6) ③ 无真值待定的命题 2. 将下列语句符号化:(1)4是偶数或是奇数。

(A )设p :4是偶数,q :4是奇数(2)只有王荣努力学习,她才能取得好成绩。

(B )设p :王荣努力学习,q :王荣取得好成绩 (3)每列火车都比某些汽车快。

(C )设F(x):x 是火车,G(y):y 是汽车,H(x,y):x 比y 快。

A: ① p ∨q ② p ∧q ③ p →q B: ① p →q ② q →p ③ p ∧qC: ①∀x ∃y ((F(x) ∧G(y)) → (H(x,y))②∀x (F(x) →∃y (G(y)∧H(x,y)))③∀x (F(x) ∧∃y (G(y)∧H(x,y))) 3. 设S={1,2,3},下图给出了S 上的5个关系,则它们只具有以下性质:R 1是(A ),R 2是(B),R 3是(C)。

A B C:①自反的,对称的,传递的 ②反自反的,对称的 ③自反的反对称的 ⑤对称的 ⑥自反的,对称的,反对称的,传递的 4. 设S={Ф,{1},{1,2}},则有(1)(A )∈S (2) (B)⊆S(3) P(S)有(C )个元数。

(4)(D )既是S 的元素,又是S 的子集 A: ① {1,2} ② 1 B: ③{{1,2}} ④{1} C: ⑤ 3 ⑥ 6 ⑦ 7 ⑧ 8 D: ⑨ {1} ⑩Ф二、证明(本大题共2小题,第1小题10分,第2小题10分,总计20分) 1、用等值演算算法证明等值式 (p ∧q)∨(p ∧⌝q)⇔p 2、构造下面命题推理的证明如果今天是星期三,那么我有一次英语或数学测验;如果数学老师有事,那么没有数学测验;今天是星期三且数学老师有事,所以我有一次英语测验。

三、计算(本大题共4小题,第1小题5分,第2小题10分,第3小题15分, 总计30分) 1、设()(){}212,,,个体域为为,整除为<x x Q y x y x P,求公式:()()()()()x Q y x P y x →∃∀,的真值。

2、设集合{}A A ,4,3,2,1=上的关系 {}4,,3,2,1,22,11,1=R ,求出它的自反闭包,对称闭包和传递闭包。

3、设{},24,12,8,4,2,1=A 上的整除关系{}212121,,,a a A a a a a R 整除∈=,R 是否为A 上的偏序关系?若是,则:1、画出R 的哈斯图;(10分)2、求它的极小元,最大元,极大元,最大元。

(5分) 四、用推导法求公式()()p q p →→的主析取范式和主合取范式。

(本大题10分)答案: 一、 选择题1. A:③ B: ③ C:③ D:① E:②2.A:① B: ② C:②3.A:③ B: ④ C:⑥4.A:① B: ③ C:⑧ D:⑩ 二、证明题1. 证明 左边⇔((p ∧q)∨p )∧((p ∧q)∨⌝q)) (分配律) ⇔ p ∧((p ∧q)∨⌝q)) (吸收律) ⇔ p ∧((p ∨⌝q) ∧ (q ∨⌝q)) (分配律) ⇔ p ∧((p ∨⌝q)∧1) (排中律) ⇔ p ∧ (p ∨⌝q) (同一律) ⇔ p (吸收律)2.解:p :今天是星期三。

相关文档
最新文档