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

合集下载

离散数学(第二版)课后习题答案详解(完整版)

离散数学(第二版)课后习题答案详解(完整版)

离散数学(第⼆版)课后习题答案详解(完整版)习题⼀1.下列句⼦中,哪些是命题?在是命题的句⼦中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道?(1)中国有四⼤发明.答:此命题是简单命题,其真值为 1.(2)5 是⽆理数.答:此命题是简单命题,其真值为 1.(3)3 是素数或 4 是素数.答:是命题,但不是简单命题,其真值为1.(4)2x+ <3 5 答:不是命题.(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年”既可以化答:列出两种符号化的真值表:合命题可以发现,p 与q 不可能同时为真,故上述命题有两种符号化⽅式.8.将下列命题符号化,并指出真值., 就有;(1)只要, 则;, 才有;(3)只有, 才有;(4)除⾮, 否则;(5)除⾮(6)仅当.答:设p: , 则: ; 设q: , 则: .(1);(2);;(3);(4);(5);(6);(7).答:根据题意,p 为假命题,q 为真命题.(1);(2);(3);(4).答:根据题意,p 为真命题,q 为假命题.(1)若2+2=4,则地球是静⽌不动的;(2)若2+2=4,则地球是运动不⽌的;(3)若地球上没有树⽊,则⼈类不能⽣存;(4)若地球上没有⽔,则是⽆理数.12.将下列命题符号化,并给出各命题的真值:(1)2+2=4 当且仅当3+3=6;(2)2+2=4 的充要条件是3+3 6;(3)2+2 4 与3+3=6 互为充要条件;(4)若2+2 4,则3+3 6,反之亦然.答:设p:2+2=4,q:3+3=6.(1)若今天是星期⼀,则明天是星期⼆;(2)只有今天是星期⼀,明天才是星期⼆;(3)今天是星期⼀当且仅当明天是星期⼆;(4)若今天是星期⼀,则明天是星期三.答:设p:今天是星期⼀,q:明天是星期⼆,r:明天是星期三.(1)刘晓⽉跑得快,跳得⾼;(2)⽼王是⼭东⼈或者河北⼈;(3)因为天⽓冷,所以我穿了⽻绒服;(4)王欢与李乐组成⼀个⼩组;(5)李欣与李末是兄弟;(6)王强与刘威都学过法语;(7)他⼀⾯吃饭,⼀⾯听⾳乐;(8)如果天下⼤⾬,他就乘班车上班;(9)只有天下⼤⾬,他才乘班车上班;(10)除⾮天下⼤⾬,否则他不乘班车上班;(11)下雪路滑,他迟到了;(12)2 与4 都是素数,这是不对的;(13)“2 或 4 是素数,这是不对的”是不对的.答:q:⼤熊猫产在中国.r:太阳从西⽅升起. 求下列符合命题的真值:(1)(2)(3)(4)解:p真值为1,q 真值为1,r 真值为0.(1)0,(2)0,(3)0,(4)116.当p,q 的真值为0,r,s 的真值为1 时,求下列各命题公式的真值:(1)(2)(3)(4)解:(1)0,(2)0,(3)0,(4)117.判断下⾯⼀段论述是否为真:“ 是⽆理数.并且,如果3 是⽆理数,则也是⽆理数.另外,只有6 能被2 整除,6 才能被4 整除.”解:p: 是⽆理数q: 3 是⽆理数r:是⽆理数s: 6 能被2 整除t:6 能被 4 整除符号化为: ,该式为重⾔式,所以论述为真。

离散数学课后习题答案(最新)

离散数学课后习题答案(最新)

习题参考解答习题1.11、(3)P:银行利率降低Q:股价没有上升P∧Q(5)P:他今天乘火车去了北京Q:他随旅行团去了九寨沟PQ(7)P:不识庐山真面目Q:身在此山中Q→P,或~P→~Q(9)P:一个整数能被6整除Q:一个整数能被3整除R:一个整数能被2整除T:一个整数的各位数字之和能被3整除P→Q∧R ,Q→T2、(1)T (2)F (3)F (4)T (5)F(6)T (7)F (8)悖论习题 1.31(3))()()()()()(R P Q P R P Q P R Q P R Q P →∨→⇔∨⌝∨∨⌝⇔∨∨⌝⇔∨→(4)()()()(())()(()())(())()()()()P Q Q R R P P R Q R P P R R P Q R P P R P R Q R Q P ∧∨∧∨∧=∨∧∨∧=∨∨∧∧∨∧=∨∧∨∧∨∧∨=右2、不, 不, 能习题 1.41(3) (())~((~))(~)()~(~(~))(~~)(~)P R Q P P R Q P P R T P R P R Q Q P R Q P R Q →∧→=∨∧∨=∨∧=∨=∨∨∧=∨∨∧∨∨、主合取范式)()()()()()()()()()()()()()())(())(()()(())()())(()((Q P R P Q R P Q R R Q P R Q P R Q P Q P R Q P R P Q R P Q R R Q P R Q P R Q P R Q P Q Q P R P P Q R R R Q Q P P R Q R P P Q R P P Q R P ∧∧∨∧⌝∧∨⌝∧⌝∧∨∧⌝∧⌝∨⌝∧∧⌝∨⌝∧⌝∧⌝=∧∧∨⌝∧∧∨∧⌝∧∨⌝∧⌝∧∨∧⌝∧⌝∨∧⌝∧⌝∨⌝∧∧⌝∨⌝∧⌝∧⌝=∨⌝∧∧∨∨⌝∧⌝∧∨∨⌝∧∨⌝∧⌝=∧∨⌝∧∨⌝=∨⌝∧∨⌝=→∧→ ————主析取范式(2) ()()(~)(~)(~(~))(~(~))(~~)(~)(~~)P Q P R P Q P R P Q R R P R Q Q P Q R P Q R P R Q →∧→=∨∧∨=∨∨∧∧∨∨∧=∨∨∧∨∨∧∨∨ 2、()~()(~)(~)(~~)(~)(~~)P Q R P Q R P Q P R P Q R P Q R P R Q →∧=∨∧=∨∧∧=∨∨∧∨∨∧∨∨∴等价3、解:根据给定的条件有下述命题公式:(A →(C ∇D ))∧~(B ∧C )∧~(C ∧D )⇔(~A ∨(C ∧~D )∨(~C ∧D ))∧(~B ∨~C )∧(~C ∨~D )⇔((~A ∧~B )∨(C ∧~D ∧~B )∨(~C ∧D ∧~B )∨(~A ∧~C )∨(C ∧~D ∧~C )∨(~C ∧D ∧~C ))∧(~C ∨~D )⇔((~A ∧~B )∨(C ∧~D ∧~B )∨(~C ∧D ∧~B )∨(~A ∧~C )∨(~C ∧D ∧~C )) ∧(~C ∨~D )⇔(~A ∧~B ∧~C )∨(C ∧~D ∧~B ∧~C )∨(~C ∧D ∧~B ∧~C )∨ (~A ∧~C ∧~C )∨(~C ∧D ∧~C ∧~C )∨(~A ∧~B ∧~D )∨(C ∧~D ∧~B ∧~D )∨(~C ∧D ∧~B ∧~D )∨(~A ∧~C ∧~D )∨ (~C ∧D ∧~C ∧~D )(由题意和矛盾律)⇔(~C ∧D ∧~B )∨(~A ∧~C )∨(~C ∧D )∨(C ∧~D ∧~B )⇔(~C ∧D ∧~B ∧A )∨ (~C ∧D ∧~B ∧~A )∨ (~A ∧~C ∧B )∨ (~A ∧~C ∧~B )∨ (~C ∧D ∧A )∨ (~C ∧D ∧~A )∨(C ∧~D ∧~B ∧A )∨(C ∧~D ∧~B ∧~A )⇔(~C ∧D ∧~B ∧A )∨ (~A ∧~C ∧B ∧D )∨ (~A ∧~C ∧B ∧~D )∨(~A ∧~C ∧~B ∧D )∨ (~A ∧~C ∧~B ∧~D )∨(~C ∧D ∧A ∧B )∨ (~C ∧D ∧A ∧~B )∨ (~C ∧D ∧~A ∧B )∨ (~C ∧D ∧~A ∧~B )∨(C ∧~D ∧~B ∧A )∨(C ∧~D ∧~B ∧~A ) ⇔(~C ∧D ∧~B ∧A )∨ (~A ∧~C ∧B ∧D )∨ (~C ∧D ∧A ∧~B )∨ (~C ∧D ∧~A ∧B ) ∨(C ∧~D ∧~B ∧A )⇔(~C ∧D ∧~B ∧A )∨ (~A ∧~C ∧B ∧D )∨(C ∧~D ∧~B ∧A ) 三种方案:A 和D 、 B 和D 、 A 和C习题 1.51、 (1)需证()(())P Q P P Q →→→∧为永真式()(())~(~)(~())~~(~)(()(~))~(~)(~)()P Q P P Q P Q P P Q P P P Q P Q TP Q P Q T P Q P P Q →→→∧=∨∨∨∧∨=∨∨∧∨=∨∨∨=∴→⇒→∧(3)需证S R P P →∧⌝∧为永真式SR P P T S F S R F S R P P ⇒∧⌝∧∴⇔→⇔→∧⇔→∧⌝∧3A B A B ⇒∴→ 、为永真式。

离散数学(吉大版)5-3

离散数学(吉大版)5-3

同余式
含有整数变量的合同式,称为合同方程 或同余式 。 axb(mod m)这种形式的合同式称为一次 同余式;类似地,a2x2+a1xb(mod m)称为 二次同余式。
同余式
求解一次同余式实际上是解 ax-b=my这样 的不定方程。我们这里讨论一次同余式在 什么条件下有解?什么条件下无解?什么 时候有唯一解(一个剩余类)?什么时候 有多解(多个剩余类)?
定理5.3.1
若a和m互质,b任意,则模m恰有一个数x使 axb(mod m) 。 证明: 存在性。因为a和m互质,故有s,t使 as+mt=1,于是asb+mtb=b,若取模m,则有 asbb(mod m)。取x=sb,则sb所在的剩余类中 的数皆是解。 唯一性。所谓模m只有一个这样的x,意思是说 在模m合同的意义下,解是唯一的。即若axb (mod m),ayb(mod m),则xy(mod m)。因为, 由axb(mod m),ayb(mod m)得axay(mod m), 消去和m互质的a乃得xy (mod m)。
165页 6.求证等差级数 7,11,15,…中有无穷多个质数。 证明:假设上面等差级数中只有有限个质数 p1,…,pm,显然p1=7,p2=11,p3=19,等 等。p1,…,pm中没有质数3。试看N=4p1 … pm+3。 若N为质数,则矛盾(因已设pm为形为4n+3的最 大质数)。 若N合数,显然3不是N的因子。下面我们证明N 的质因数分解式中必有4n+3形因子。这里n≥1。
定理5.3.3
下面证明(2)式是(1)的d个不同解。因为0 m/d, 故0 (2)中每一个式子 m,且互不相同,所以 它们之间关于模m互不同余,即(2)为(1)的d个不 同解。 再考虑(1)只有(2)这d个不同解。即若数+lm/d是 (1)的解,则关于模m, +lm/d必同余(2)中d个 数之一。 因为 0,1,…,d-1为关于模d的完全剩余系, 故存在i,0id-1,使得 li (mod d)。由m/d0 和性质9,两边和模同乘m/d 得,(l/d)m (i/d)m (mod m),故+lm/d +im/d(mod m)。证毕。

吉林大学2019-2020学年第一学期期末考试《离散数学》大作业参考答案

吉林大学2019-2020学年第一学期期末考试《离散数学》大作业参考答案

吉林大学网络教育学院2019-2020学年第一学期期末考试《离散数学》大作业学生姓名专业层次年级学号学习中心成绩年月日作业完成要求:大作业要求学生手写,提供手写文档的清晰扫描图片,并将图片添加到word 文档内,最终wod文档上传平台,不允许学生提交其他格式文件(如JPG,RAR等非word 文档格式),如有雷同、抄袭成绩按不及格处理。

一、简答题(每小题7分,共56分)1、什么是命题公式的演绎?答:首先定义了消解复杂性的两种范式:最简范式和文字范式,在此基础上采用演绎方法证明了L中的可判定性定理,并设计了命题公式的演绎判定算法P(F).P(F)的时间复杂度为O(n3),远远小于基于真值表法的O(2n)和基于策略方案HAL的O(n5)。

2、什么是子句?请给出一例。

答:子句是一组包含一个主词和一个动词的关连字。

子句与片语有明显的不同,后者为一组不含主词与动词关系的关连字,如"in the morning" 或"running down the street" 或"having grown used to this harassment."3、什么是短语?请给出一例。

答:短语是由句法、语义和语用三个层面上能够搭配的语言单位组合起来的没有句调的语言单位,又叫词组。

它是大于词而又不成句的语法单位。

简单的短语可以充当复杂短语的句法成分,短语加上句调可以成为句子。

由语法上能够搭配的词组合起来的没有句调的语言单位例如:粮食//丰收(名//动)(什么//怎么样)4、什么是命题逻辑中的文字?答:检测和消除命题逻辑公式中的冗余文字,是人工智能领域广泛研究的基本问题。

针对命题逻辑的子句集中子句的划分,结合冗余子句和冗余文字的概念,将命题逻辑的子句集中的文字分为必需文字、有用文字和无用文字3类。

5、什么是析取范式?请给出一例。

答:在离散数学中,仅由有限个文字构成的合取式称为简单合取式,而由有限个简单合取式构成的析取式称为析取范式。

离散数学课后习题答案

离散数学课后习题答案

1-1,1-2(1) 解:a) 是命题,真值为T。

b) 不是命题。

c) 是命题,真值要根据具体情况确定。

d) 不是命题。

e) 是命题,真值为T。

f) 是命题,真值为T。

g) 是命题,真值为F。

h) 不是命题。

i) 不是命题。

(2) 解:原子命题:我爱北京天安门。

A(3) 解:a) (┓P ∧R)→Qb) Q→Rc) ┓Pd) P→┓Q(4) 解:a)设Q:我将去参加舞会。

R:我有时间。

P:天下雨。

Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。

b)设R:我在看电视。

Q:我在吃苹果。

R∧Q:我在看电视边吃苹果。

c) 设Q:一个数是奇数。

R:一个数不能被2除。

(Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。

(5) 解:a) 设P:王强身体很好。

Q:王强成绩很好。

P∧Qb) 设P:小李看书。

Q:小李听音乐。

P∧Qc) 设P:气候很好。

Q:气候很热。

P∨Qd) 设P: a和b是偶数。

Q:a+b是偶数。

P→Qe) 设P:四边形ABCD是平行四边形。

Q :四边形ABCD的对边平行。

PQf) 设P:语法错误。

Q:程序错误。

R:停机。

(P∨ Q)→ R(6) 解:a) P:天气炎热。

Q:正在下雨。

P∧Qb) P:天气炎热。

R:湿度较低。

P∧Rc) R:天正在下雨。

S:湿度很高。

R∨Sd) A:刘英上山。

B:李进上山。

A∧Be) M:老王是革新者。

N:小李是革新者。

M∨Nf) L:你看电影。

M:我看电影。

┓L→┓Mg) P:我不看电视。

Q:我不外出。

R:我在睡觉。

P∧Q∧Rh) P:控制台打字机作输入设备。

Q:控制台打字机作输出设备。

P∧Q1-3(1)解:a) 不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式)b) 是合式公式c) 不是合式公式(括弧不配对)d) 不是合式公式(R和S之间缺少联结词)e) 是合式公式。

(2)解:a) A是合式公式,(A∨B)是合式公式,(A→(A∨B)) 是合式公式。

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

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

吉林大学离散数学课后习题答案第二章命题逻辑§2.2 主要解题方法2.2.1 证明命题公式恒真或恒假主要有如下方法:方法一.真值表方法。

即列出公式的真值表,若表中对应公式所在列的每一取值全为1,这说明该公式在它的所有解释下都是真,因此是恒真的;若表中对应公式所在列的每一取值全为0,这说明该公式在它的所有解释下都为假,因此是恒假的。

真值表法比较烦琐,但只要认真仔细,不会出错。

例2.2.1 说明 G= (P Q R)(P Q)(P R)是恒真、恒假还是可满足。

解:该公式的真值表如下:P Q R P QR PQ(P QR)(P Q)P R G0 0 0 1 1 1 1 10 0 1 1 1 1 1 10 1 0 1 1 1 1 10 1 1 1 1 1 1 11 0 0 1 0 0 1 11 0 1 1 0 0 1 11 1 0 0 1 0 0 11 1 1 1 1 1 1 1表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 PP=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,有0,则是可满足的。

离散数学课后答案

离散数学课后答案

离散数学课后答案1. 集合论1.1. 集合的基本概念•问题1:什么是集合?如何表示一个集合?集合是由一些确定的元素构成的整体。

可以使用以下方式表示一个集合:–列举法:将集合的所有元素逐一列举出来,并用大括号{}包括起来。

–描述法:使用一种公式或条件来描述集合中的元素的特点,并用大括号{}包括起来。

–空集:不包含任何元素的集合,用符号∅表示。

•问题2:集合的关系有哪些?集合的关系有以下几种:–包含关系(⊆):集合A的所有元素都属于集合B,则称集合A是集合B的子集,表示为A⊆B。

–真包含关系(⊂):集合A是集合B的子集,且A≠B,则称集合A是集合B的真子集,表示为A⊂B。

–并集(∪):将两个集合中的所有元素合并在一起,去除重复元素。

–交集(∩):将两个集合中共有的元素提取出来。

–差集(-):从一个集合中去掉与另一个集合中相同的元素。

–互斥关系:两个集合没有共同的元素,即交集为空集。

1.2. 集合的运算•问题1:集合的运算有哪些?集合的运算有以下几种:–并集运算(∪):将两个集合中的所有元素合并在一起,去除重复元素。

–交集运算(∩):将两个集合中共有的元素提取出来。

–差集运算(-):从一个集合中去掉与另一个集合中相同的元素。

–补集运算(C):对于给定的全集U,集合A 在U中的补集就是U中除去集合A中的所有元素所构成的集合,表示为A’。

–笛卡尔积(×):将两个集合的元素按照有序对的形式进行组合,构成一个新的集合。

•问题2:集合运算的性质有哪些?集合运算的性质有以下几种:–交换律:A∪B = B∪A,A∩B = B∩A。

–结合律:(A∪B)∪C = A∪(B∪C),(A∩B)∩C = A∩(B∩C)。

–分配律:A∪(B∩C) = (A∪B)∩(A∪C),A∩(B∪C) = (A∩B)∪(A∩C)。

–吸收律:A∪(A∩B) = A,A∩(A∪B) = A。

–互补律:A∪A’ = U,A∩A’ = ∅。

吉大离散数学试题及答案

吉大离散数学试题及答案

吉大离散数学试题及答案一、选择题1. 以下哪个选项不是离散数学中的基本概念?A. 集合B. 函数C. 微积分D. 关系答案:C2. 在集合论中,以下哪个操作不是基本的集合运算?A. 并集B. 交集C. 差集D. 微分答案:D3. 逻辑运算中的“与”操作,其结果为真当且仅当两个操作数都为真。

这个操作的符号是:A. ∧B. ∨C. ¬D. →答案:A二、填空题1. 一个集合的幂集包含该集合的所有_________。

答案:子集2. 如果函数f: A → B 是单射的,那么对于 A 中的任意两个不同的元素 a1 和 a2,f(a1) 和 f(a2) 在 B 中是_________的。

答案:不同的三、简答题1. 简述什么是图论中的“图”?答案:图是由顶点(或称为节点)和连接这些顶点的边组成的数学结构。

图可以是有向的或无向的,边可以是有权重的或无权重的。

2. 什么是逻辑中的“真值表”?答案:真值表是一种列出逻辑表达式中所有可能的真值组合及其结果的表格。

它用于展示逻辑表达式在不同输入值下的结果。

四、计算题1. 给定集合 A = {1, 2, 3} 和 B = {2, 3, 4},请找出 A 和 B 的交集。

答案:A ∩ B = {2, 3}2. 假设有一个函数 f(x) = x^2,计算 f(-3) 和 f(3) 的值。

答案:f(-3) = 9,f(3) = 9五、论述题1. 论述离散数学在计算机科学中的应用。

答案:离散数学是计算机科学的基础,它提供了处理计算机科学问题所需的数学工具和理论。

例如,集合论是数据库理论的基础;图论在网络和算法设计中有着广泛应用;逻辑和布尔代数是计算机硬件设计和编程语言的基础。

2. 讨论命题逻辑和谓词逻辑的区别。

答案:命题逻辑关注简单命题及其逻辑关系,而谓词逻辑则引入了量词和变量,允许表达更复杂的逻辑关系。

命题逻辑使用逻辑连接词(如与、或、非等)来构建表达式,而谓词逻辑则使用量词(如全称量词∀和存在量词∃)来描述涉及个体的命题。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
1 若 R 的关系图中每点都有反身弧,则 R 具有自反性; 2 若 R 的关系图中任意一点都没有反身弧,则 R 具有反自反性; 3 在 R 的关系图中,如果两不同点之间有有向弧的话,那么就一定成对出现,则 R 具有对称性; 4 在 R 的关系图中,若任意两个不同点之间的有向弧都不成对出现,则 R 具有反 对称 性。
3 若 R-1=R,则 R 具有对称性;
4 若 RR-1IA,则 R 具有反对称性;
5 若 R2R,则 R 具有传递性。 方
法二. 从关系图判断关系的性质
2
定义 1.2.1 设 A={x1,x2,…,xn},R 是 A 上的二元关系。以 A 中的元素为顶点,在
图中用“。”表示顶点。若 xiRxj,则从顶点 xi 向 xj 引有向弧,称所画出的图为 R 的关系图, 记作 G(R)。
(C×D),则(x,y)(A×B),且(x,y)(C×D),故 xA,yB,xC,yD, 即 xAC,yBD,因此,(x,y)(AC)×(BD)。
由于以上证明的每一步都是等价的,所以上述论证反方向进行也是成立的。故可证得 (AC)×(BD) (A×B)(C×D)。 因此,(A×B)(C×D )=(AC)×(BD)。 方法二. 还有一种证明集合相等的方法,可以通过已证出的集合等式,通过相等变换 将待证明的等式左(右)边的集合化到右(左)边的集合,或者两边同时相等变换到同一
§1.2 主要解题方法
1.2.1 证明集合的包含关系
方法一. 用定义来证明集合的包含关系是最常用也是最基本的一种方法。要证明
A B,首先任取 xA,再演绎地证出 xB 成立。由于我们选择的元素x 是属于A 的任何
一个,而非特指的一个,故知给出的演绎证明对 A 中含有的每一个元素都成立。当 A 是无
3. 掌握关系、二元关系、空关系、全域关系、相等关系、逆关系的概念以及关系的性质: 自反性、对称性、反对称性、传递性。会做关系的乘积。了解关系的闭包运算:自反闭 包、对称闭包、传递闭包。
4. 掌握等价关系、等价类、商集的概念,了解等价关系和划分的内在联系。 5. 掌握部分序关系、部分序集、全序关系、全序集的概念以及部分序集中的特殊元素:最
方法二. 还有一种证明集合包含关系的方法,基于集合的交和并运算的两个基本性质 A B AB=A AB=B
以及一些已经证出的集合等式。现在我们就用此方法将上例再证一次。 由下面例 1.2.2 证明的结论有(A×B )(C×D)=(AC)×(BD),若 A C,B D,
则 AC=A,BD=B,因此,(A×B)(C×D)=A×B。因此,A×B C×D。

出发来进行判断。R 的集合表达式、关系图、关系矩阵三者均可以相互唯一确定,比较关系 的这三种表示方法容易看出:关系的集合表达式便于书写,关系矩阵便于存储,而关系图直
观、清晰。
方法一. 从关系的集合表达式判断关系的性质
设 R 为集合A 上的关系,
1 若 IAR,则 R 具有自反性; 2 若 IAR=,则 R 具有反自反性;
5 对于 R 的关系图中的任意三点 a,b,c,不存在这样的情形:有 a 到 b 的有向弧,b 到 c 的有向弧,但无 a 到 c 的有向弧,则 R 具有传递性。
方法三. 从关系矩阵判断关系的性质 定义 1.2.2 设 A={x1,x2,…,xn},R 是 A 上的二元关系。称矩阵 M(R)=(rij)n×n 为 R 的关系矩阵,其中
1
2. 证明集合的相等
方法一. 若 A,B 是有限集,要证明集合 A=B 当然可以通过逐一比较两集合所有元素 均一一对应相等即可,但当 A,B 是无限集时,一般通过证明集合包含关系的方法证 得
A B,B A 即可。 例 1.2.2 设 A,B,C,D 是任意四个集合,求证(A×B)(C×D)=(AC)×(BD) 。证明:首先证明(A×B)(C×D) (AC)×(BD)。任取(x,y) (A×B)
集 合。
例 1.2.2 设 A,B,C 是三个集合,已知 AB=AC,AB=AC,求证 B=C。
证法 1:使用反证法。假设 B≠C,则必存在 x,满足 xB,且 x C,或者 x B,且 xC。不妨设 xB,且 x C,
① 若 xA,则 xAB,但 x AC,与 AB=AC 矛盾。 ② 若 x A,则 xAB,但 x AC,与 AB=AC 矛盾。
第一章 集合论基础
§1.1 基本要求
1. 掌握集合、子集、超集、空集、幂集、集合族的概念。懂得两个集合间相等和包含关系 的定义和性质,能够利用定义证明两个集合相等。熟悉常用的集合表示方法。
2. 掌握集合的基本运算:并、交、余、差、直乘积、对称差的定义以及集合运算满足的 基 本算律,能够利用它们来证明更复杂的集合等式。
所以原假设不对,B=C。 证法 2:利用已知以及集合运算的交换律、分配律与吸收律,有
B = B(AB)
= B(AC)
= (BA)(BC)
= (CA) (BC)
= C(AB)
= C(AC)
=C
3. 判断给定关系的性质
给出一个关系,我们可以判断它是否具有自反性、反自反性、对称性、反对称性、传
递性等性质,这既可以从以集合形式给出的关系来判断,也可以从关系的关系图或关系矩
限集时,因为我们不能对 xA,逐一地证明 xB 成立,所以证明时的假设“x 是任取的”
就特别重要。 例 1.2.1 设 A,B,C,D 是任意四个非空集合,若 A C,B D,则 A×B C×D。
证明:任取(x,y) A×B,往证(x,y) C×D。 由(x,y) A×B 知,xA,且 yB。又由 A C,B D 知,xC,且 yD,因此, (x,y) C×D。故,A×B C×D。
大元、最小元、极大元、极小元、上确界、小确界的定义。能画出有限部分序集的 Hasse 图,并根据图讨论部分序集的某些性质。 6. 掌可数集合的概念,掌握可数 集合的判定方法。 7. 了解关系在数据库中的应用(数据的增、删、改)以及划分在计算机中的应用。
1, rij=
0,
xi Rxj 否则
相关文档
最新文档