离散数学复习指导1
离散数学复习指导Ⅰ
命题逻辑部分
一 学习要求
1．理解命题、联结词的含义，掌握命题的符号化；
2．理解命题公式的赋值，能求出公式的真值表，判断公式的类型；
3. 理解公式等值的定义,记住一些基本等值式,能进行等值演算;
4. 体会公式的主范式与公式赋值之间的关系,能利用等值演算求出范式;
5. 理解公式的蕴涵及推理的含义及联系,记住一些基本的推理规则,能用演绎 推理方法进给出推理证明;
二 范例
例1 将下列命题符号化
⑴小王聪明但不用功；
⑵ 说数理逻辑枯燥无味或毫无价值，那是不对的；
⑶ 你不及格就要补考。
⑷ 不经一事，不长一智；
解：⑴ 设p ：小王聪明，q ：小王用功，则该命题可符号化为：q p ?∧。 ⑵ p ：数理逻辑枯燥无味，q ：数理逻辑毫无价值，则：)(q p ∨?。 ⑶ p ：你及格了；q ：你要参加补考，则：q p ??。
⑷ p ：经一事；Q ：长一智，则：q p ?→?。
⑸ 这是简单命题，则p ：李卫与李星是兄弟。
例2 求命题公式r q p ∨∧)(的主析取范式和主合取范式，指出公式的成真赋值和成假赋值，并判断公式的类型。
解：r q p ∨?)(r p q q p ∨→∧→?))()((
))(())((r p q r q p ∨→∧∨→?
)()(r p q r q p ∨∨?∧∨∨??
42M M ∧? （主合取范式）
765310m m m m m m ∨∨∨∨∨?
∑?)7,6,5,3,1,0( (主析取范式)
公式的成真赋值为：000，001，011，101，110，111 成假赋值为：010，100 公式为非重言式的可满足式 。
例3 构造下面推理的证明：
前提：s q r p q p ∨→?∧,, 结论：r s ∧
证：(1) q p ?∧ P;
(2) p T(1)化简规则;
(3) q ? T(1)化简规则
(4) r p → P;
(5) r T(3)(4)假言推理;
(6) s q ∨ P;
(7) s T(3)(6)析取三段论;
(8) r s ∧ T(5)(7)合取式.
例4. 先将下列相关命题符号化,给出推理证明
如果4是偶数,则2不能整除5. 或者7不是素数或者2整除5. 7是素数.因此4不是偶数.
解: 设p: 4是偶数; q: 2能整除5; r: 7是素数; s: 2整除5,则
前提： ,,,r q r q p ∨??→ 结论：.p ?
证明: (1) )(p ?? 结论之否定;
(2) p T(1)等值式;
(3) q p ?→ P;
(4) q ? T(2)(3)假言推理;
(5) q r ∨? P;
(6) r ? T(4)(5)析取三段论;
(7) r P;
(8) r r ?∧ T(6)(7)合取式.
谓词逻辑部分
一 学习要求
1．理解谓词逻辑的三要素，掌握命题的符号化；
2．理解谓词公式中量词的辖域、约束关系,及公式的解释，能求出在一个解释下公式的
真值，能判断公式的类型；
3. 理解公式等值的定义,记住谓词公式的特殊的基本等值式,能进行等值演算;
4. 理解前束范式的定义,能利用等值演算求出公式的前束范式;
5. 理解公式的蕴涵及推理的含义及联系,特别记住谓词中的一些推理规则,能用演绎 推理方法进给出推理证明;
二 范例
例1 将下列命题符号化
⑴ 不是所以的人都要补考,但就有人要补考.
⑵ 天下乌鸦一般黑。
⑶ 不是所有火车都比汽车快，但有的火车比所有汽车快。
解：⑴)(x P ：x 是人； )(x Q ：x 要补考，则：
))()(())()((x Q x P x x Q x P x ∧?∧→?? （注意特性谓词的用法） ⑵ 设D={乌鸦}，)(x P ：x 是黑的，则：)(x xP ? （本题使用了论域）
⑶)(x P ：x 是火车；)(x Q ：x 是汽车；),(y x R ：x 比y 快，则：
)),()(()(()),())()(((y x F x Q y x P x y x R y Q x P y x →?∧?∧→∧???
或：)),()(()(())),()(()((y x F x Q y x P x y x R y Q y x P x →?∧?∧→?→??。 例2 设解释I 如下:
D={2,3},3)2(=f ,2)3(=f ,1)2,2(=F ,0)3,2(=F ,1)2,3(=F ,0)3,3(=F . 试求出下列公式在解释I 下的真值.
⑴ ))(,(y f x yF x ?? ⑵),())(,(y x yF x x f x xF ??→?
解: 在解释I 下:
⑴ ))(,3())(,2())(,(y f yF y f yF y f x yF x ?∧????
)))3(,3())2(,3(()))3(,2())2(,2((f F f F f F f F ∨∧∨? ))2,3()3,3(())2,2()3,2((F F F F ∨∧∨?
)10())10(∨∧∨?
1?
⑵),())(,(y x yF x x f x xF ??→?
))
,3(),2(()))3(,3())2(,2((y yF y yF f F f F ?∨?→∧?))3,3()2,3(())3,2()2,2(())2,3()3,2((F F F F F F ∨∨∨→∧?
))01()01(()10(∨∨∨→∧?
1?
例3 求公式)()(y yQ x xF ???的前束范式.
解: )()(y yQ x xF ???))()(())()((x xF y yQ y yQ x xF ?→?∧?→??
))()(())()((x xF y yQ y yQ x xF ?∨??∧?∨???
))
()(())()((x xF y Q y y yQ x F x ?∨??∧?∨???
))()(())()((x xF y Q y x xQ x F x ?∨??∧?∨???
))()(())()((x F y Q x y x Q x F x →??∧→??
))()(())()((z F y Q z y x Q x F x →??∧→??
)))()(())()(((z F y Q x Q x F z y x →∧→???? (前束范式)
例4 构造推理证明，前题: ))()((x H x F x ?→?，))()((x G x H x ∨?
结论:)()(y yG x xF ?→?
证明:(1) )(x xF ? 附加前题;
(2) )(a F T(1) EI 规则;
(3) ))()((x H x F x ?→? P;
(4) )()(a H a F ?→ T(3) UI 规则;
(5) )(a H ? T(2)(4)假言推理规则;
(6) ))()((x G x H x ∨? P;
(7) )()(a G a H ∨ T(6) UI 规则;
(8) )(a G T(5)(7)析取三段论.
(9) )(y yG ? T(8) EG 规则. 集合论部分
一 学习要求
1．领会集合的各种运算，掌握各种集合式的谓词演算的证明方法；
2．领会序偶及笛卡积的定义,理解二元关系的定义,掌握及关系的运算(定义域、值域、
逆、复合、闭包)；掌握关系的三种表示方法(集合、关系图、关系矩阵).
3. 领会关系的性质,能判断或证明一个关系所具有的性质,
4. 理解等价关系及划分的定义，掌握等价类及集合商集的求法，理解等价关系与划分的关系。
5. 理解偏序关系的定义，特别注意偏序集中元素的可比性（“大小”的含义），能画出哈斯图，并能求出集合中的特殊元及集合的界；
⒍ 理解函数的定义，掌握函数的复合及逆运算，领会特殊函数（单射，满射，双射）的概念。
二 范例
例1 已知}12,10,7,6,5,4,3,2,1{=E ，}102{<≤=x x A ，}115{<<=x x B ，求： ⑴ A ~；B A ?；B A ? ；B A -；B A ⊕ ⑵A ；（B）ρ；()B A B ??；
解：}765432{，，，，，
A =，}1076{，，
B = ⑴ }12101
{~，，A =；}76{，B A =?；}10765432{，，，，，，B A =? ； }5432{，，，B A =-；}105432{，，，，
B A =⊕
⑵6=A ；}}1076{}107{}106{}76{}10{}7{}6{{，，，，，，，，，，，，（B）φρ=；
()}710610767666{，，，，，，，，，，，B A B =??
例2 已知},,,{d c b a A =,},,,,,,{d c b a a a R =,
A I c d d d a b a S ?=},,,,,,,{, 求:
⑴ 1-R ; 2R ,S R , 2R S
⑵ )(),(),(),(R rst R t R s R r
解: ⑴ 1-R =},,,,,{b d b c a a a ; 2
R =},,,{d a c a b a S R =},,,,,,,,{d b c b d a b a a a
S R 2=},,,,,,{d a c a d a b a
⑵ )(R r =A I d b c b b a ?},,,,,{ },,,,,,,,,{)(b d d b c c a b b a a a R s = },,,,,,,,,,,{)(d a c a d b c b b a a a R t =
A I a d d a a c c a b d d b b c c b a b b a R rst ?=},,,,,,,,,,,,,,,,,{)(
例3 已知X={a,b,c},给出X 上的所有等价关系。
解:X 的划分其有五种:
S 1={{a,b,c}}, S 2={{a,b},{c}},S 3={{a,c},{b}},S 4={{a},{b,c}},
S 5={{a},{b},{c}},
因为X 上划分与等价关系一一对应,故x 上共有五个等价关系，它们是：
R 1＝{
R 2＝{
R 4＝{
例4 已知偏序集〈X,R 〉,其中X={a,b,c,d,e}, Y={d,e},
R 的关系矩阵为
求：(1).用集合的列举法写出R
(2).画出R 的哈斯图；
(3).找出X 的极大元、极小元、最大 元、最小元；
(4).找出Y 的上界、下界、最小上界、最大下界。
解:(1). A I a e a d e d a a c b c R ?=},,,,,,,,,,{
(2).略
(3)．X 的极大元:a; 极小元:c ，d ; 最大元:a ; 最小元: 无.
???????
?????????=1000111001001110001100001R M
(4). Y 的上界e,a; 下界d ; 最小上界e; 最大下界d 。
例5 ⑴ 实数集R 上的函数3)(+=x x f ,53)(+=x x g ,
⑵ },,{c b a A = , A 上函数},,,{a c c b b a f =,,,,,{a c b b c a g = 判断f 是否单射、满射、双射,并求f g , 1)(-g f ,1-f
g .
解: ⑴3)(+=x x f 为双射, 53)(+=x x g 为双射 83)53())(()(+=+==x x f x g f x f g ,
143)3())(()(+=+==x x g x f g x g f , 3
143)()(1-=
-x x g f , 3)(1-=-x x f , 23)53())(()(111+=+==---x x f x g f x f g .
⑵g f ,均为双射 },,,,,{b c c b a a f g = ,
},,,,,{c c a b a g f = , },,,,,{)(1c b a a b g f =-
},,,{1c a b c a f =-, },,,,,{1c a b b a f g =- .
代数结构部分
一 学习要求
1．理解二元运算的含义及代数系统中的运算的性质及特殊元（单位元、零无、逆元）的定义；
2．了解代数系统的同态与同构的定义；知道满同态下的保持性;
3. 记住半群的定义,掌握特殊半群（独异点、循环半群、可交换半群等）的证明方法。
4. 记住群的定义,了解群的性质，掌握群的证明方法（从定义出发）。
;
二 范例
例1. Z 为整数集，S={x|)105(≤≤-∧∈x Z x },在S 上定义二元运算*: x*y=min{x,y},证明是单元可交换半群。
证：⑴ 对任意x,y S ∈, x*y=min{x,y}S ∈,
∴*是二元运算，是代数系统；
⑵ 对任意x,y,z S ∈
∵(x*y)*z=(min{x,y})*z=min{x,y,z}
x*(y*z)= z * (min{x,y}) =min{x,y,z}
∴*运算满足结合律，是半群；
⑶ 对任意x S ∈，
∵x*10=10*x=x
∴10是单位元，是单元半群；
⑷ x*y=min{x,y}= min{y,x}=y*x, ∴*运算满足交换律；
故是单元可交换半群。
例 2．（10分） Z n ={0,1,2,…,n-1 },在Z n 上定义二元运算·:
x ·y=(x+y) mod n, 其中+、-是普通加法、减法，证明
群。
证(1)对任意x,y ∈Z n , 因
x·y=(x+y) mod n∈Z
n
所以·是二元运算,
,因
n
(x·y)·z=((x+y) mod n) ·z=(x+y+z) mod n x·(y·z)=x·((y+z) mod n)=(x+y+z) mod n
有(x·y)·z= x·(y·z)
所以·满足结合律,
(3)对任意x, 因
0·x=x·0=x
所以,0是单位元; （2分）
-,
(4) 0
01=
对任意x∈Z n且0
x时,
≠
x·(n-x)=(n-x) ·x=0
-1
所以x
=
x-
n
由(1)(2(3)(4)知
都有x=1x
（5）对任意x∈Z
n
1是生成元，所以 ，·>是循环群。（2分） n 《离散数学》实验报告专业网络工程 班级 姓名 学号 授课教师 二 O 一六年十二月 目录 实验一联结词的运算 实验二根据矩阵的乘法求复合关系 实验三利用warshall算法求关系的传递闭包实验四图的可达矩阵实现 实验一联结词的运算 一.实验目的 通过上机实验操作,将命题连接词运算融入到C语言的程序编写中,一方面加强对命题连接词运算的理解,另一方面通过编程实现命题连接词运算,帮助学生复习与锻炼C语言知识,将理论知识与实际操作结合,让学生更加容易理解与记忆命题连接词运算。 二.实验原理 (1) 非运算, 符号:? ,当P=T时 ,?P为F, 当P=F时 ,?P为T 。 (2) 合取, 符号: ∧ , 当且仅当P与Q的真值同为真,命题P∧Q的真值才为真;否则,P∧Q的真值为假。 (3) 析取, 符号: ∨ , 当且仅当P与Q的真值同为假,命题P∨Q的真值才为假;否则,P∨Q的真值为真。 (4) 异或, 符号: ▽ , 当且仅当P与Q的真值不同时,命题P▽Q的真值才为真;否则,P▽Q的真值为真。 (5) 蕴涵, 符号: →, 当且仅当P为T,Q为F时,命题P→Q的真值才为假;否则,P→Q 的真值为真。 (6) 等价, 符号: ? , 当且仅当P,Q的真值不同时,命题P?Q的真值才为假;否 则,P→Q的真值为真。 三.实验内容 编写一个程序实现非运算、合取运算、析取运算、异或运算、蕴涵运算、等价运算。四．算法程序 #include 离散数学考试（试题及答案） 一、（10分）某项工作需要派A、B、C和D4个人中的2个人去完成，按下面3个条件，有几种派法？如何派？ (1)若A去，则C和D中要去1个人； (2)B和C不能都去； (3)若C去，则D留下。 解设A：A去工作；B：B去工作；C：C去工作；D：D去工作。则根据题意应有：ACD，(B∧C)，CD必须同时成立。因此 (ACD)∧(B∧C)∧(CD) (A∨(C∧ D)∨(C∧D))∧(B∨C)∧(C∨D) (A∨(C∧ D)∨(C∧D))∧((B∧C)∨(B∧D)∨C∨(C∧D)) (A∧B∧C)∨(A∧B∧D)∨(A∧C)∨(A∧C∧D) ∨(C∧D∧B∧C)∨(C∧D∧B∧D)∨(C∧D∧C)∨(C∧ D∧C∧D) ∨(C∧D∧B∧C)∨(C∧D∧B∧D)∨(C∧D∧C)∨(C∧D F∨F∨(A∧C)∨F∨F∨(C∧ D∧B)∨F∨F∨(C∧D∧B)∨F∨(C∧D)∨F (A∧C)∨(B∧C∧ D)∨(C∧D∧B)∨(C∧D) (A∧C)∨(B∧C∧ D)∨(C∧D) T 故有三种派法：B∧D，A∧C，A∧D。 二、（15分）在谓词逻辑中构造下面推理的证明：某学术会议的每个成员都是专家并且是工人，有些成员是青年人，所以，有些成员是青年专家。 解：论域：所有人的集合。()：是专家；()：是工人；()：是青年人；则推理化形式为： (()∧())，()(()∧()) 下面给出证明： (1)() P (2)(c) T(1)，ES (3)(()∧()) P (4)( c)∧( c) T(3)，US (5)( c) T(4)，I (6)( c)∧(c) T(2)(5)，I (7)(()∧()) T(6) ，EG 三、（10分）设A、B和C是三个集合，则AB(BA)。 证明：ABx(x∈A→x∈B)∧x(x∈B∧xA)x(xA∨x∈B)∧x(x∈B∧xA) x(x∈A∧xB)∧x(xB∨x∈A)x(x∈A∧xB)∨x(x∈A∨xB) (x(x∈A∧xB)∧x(x∈A∨xB))(x(x∈A∧xB)∧x(x∈B→x∈A)) (BA)。 四、（15分）设A＝{1，2，3，4，5}，R是A上的二元关系，且R＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>}，求r(R)、s(R)和t(R)。 解 r(R)＝R∪I A＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>，<1，1>，<2，2>，<3，3>，<4，4>，<5，5>} s(R)＝R∪R－1＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>， <5，2>，<1，2>，<4，2>，<4，3>} R2＝{<2，2>，<2，4>，<3，4>，<4，4>，<5，1>，<5，5>，<5，4>} R3＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>，<5，4>} R4＝{<2，2>，<2，4>，<3，4>，<4，4>，<5，1>，<5，5>，<5，4>}＝R2 t(R)＝R i＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>，<2，2>，<5，1>，<5，4>，<5，5>}。 离散数学考试试题（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＝{ 离散数学复习知识点内部编号：（YUUT-TBBY-MMUT-URRUY-UOOY-DBUYI-0128） 复习知识点： 第1章 1． 命题、真命题、假命题 2． 命题符号化（连接词） 设P ：天下大雨，Q ：他在室内运动，命题“除非天下大雨，否则他不在室内运动”可符合化为（ D ） A ．Q P ∧? B ．Q P →? C ．Q P ?→? D ．Q P ?→ 设P ：只有你通过了大学英语六级考试，Q ：你是英语专业的学生，R ：你可以选修这门课程。命题“只有你通过了大学英语六级考试而且不是英语专业的学生，才可以选修这门课程”( B ) A ．R Q)(P →∧ B ．R Q)(P →?∧ C ．R Q)(P ??∧ D ．R Q)(P ?∧ 3． 什么是命题公式 4． 命题公式的等价式 5． 利用逻辑等价关系证明下面的等价关系 证明： 6． 用真值表法求命题公式的主析取范式和主合取范式 7． 符号化以下语句，并推证结论的有效性。 有些学生相信所有的老师，任何一个学生都不相信骗子，所以老师都不是骗子。 解：设论述域为全总个体域，S(x)：x 是学生，T(x)：x 是老师，P(x)：x 是骗子，L(x,y)：x 相信y 。将前提和结论符号化为 （1）y)))L(x,y(T(y)x(S (x)→?∧? P （2）y))L(a,y(T(y)S (a)→?∧ T1，ES （3）S(a) T2，I （4）y))L(a,y(T(y)→? T2，I （5）b)L(a,T(b)→ T4，US （6）y)))L(x,y(P(y)x(S (x)?→?→? P （7）y))L(a,y(P(y)S (a)?→?→ T6，US （8）y))L(a,y(P(y)?→? T3,7，I （9）b)L(a,P(b)?→ T8，US （10）P(b)b)L(a,?→ T9，E （11）P(b)T(b)?→ T5,10，I （12）P(x))x(T(x)?→? T11，UG 侦查员在调查了某珠宝店的珠宝失窃案现场以及询问了认证之后，得到以下事实： （1） 是营业员甲或营业员乙作案。 （2） 如果是甲作案，则案发在非营业时间。 （3） 如果乙提供的证词可信，则案发时货柜未上锁。 （4） 如果乙提供的证词不可信，则案发在营业时间。 （5） 货柜在案发时上锁了。 侦查员推断是营业员乙作案，请用命题逻辑判断该推断是否正确。 解：设P ：甲作案；Q ：乙作案；R ：发在营业时间；S 乙的证词可信； T ：案发时货柜未上锁。 由题意可知，前提为：Q P ∨，R P ?→，T S →，R S →?，T ? 推理过程： 离散数学实验报告（实验ABC） 专业班级 学生姓名 学生学号 指导老师 完成时间 目录 第一章实验概述..................................... 错误!未定义书签。 实验目的....................................... 错误!未定义书签。 实验内容....................................... 错误!未定义书签。 实验环境....................................... 错误!未定义书签。第二章实验原理和实现过程........................... 错误!未定义书签。 实验原理....................................... 错误!未定义书签。 建立图的邻接矩阵，判断图是否连通 ............ 错误!未定义书签。 计算任意两个结点间的距离 ................... 错误!未定义书签。 对不连通的图输出其各个连通支 ................ 错误!未定义书签。 实验过程（算法描述）........................... 错误!未定义书签。 程序整体思路 ............................... 错误!未定义书签。 具体算法流程 ................................ 错误!未定义书签。第三章实验数据及结果分析........................... 错误!未定义书签。 建立图的邻接矩阵并判断图是否连通的功能测试及结果分析错误!未定义书签。 输入无向图的边 .............................. 错误!未定义书签。 建立图的连接矩阵 ............................ 错误!未定义书签。 其他功能的功能测试和结果分析................... 错误!未定义书签。 计算节点间的距离 ............................ 错误!未定义书签。 判断图的连通性 .............................. 错误!未定义书签。 输出图的连通支 .............................. 错误!未定义书签。 退出系统 .................................... 错误!未定义书签。第四章实验收获和心得体会........................... 错误!未定义书签。 1 离散数学模拟试题Ⅰ 一、单项选择题(本大题共15小题,每题1分,共15分)在每小题列出的四个备选项中只有一个就是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分 1.设 }16{2<=x x x A 是整数且,下面哪个命题为假( A )。 A 、A ?}4,2,1,0{; B 、A ?---}1,2,3{; C 、A ?Φ; D 、A x x x ?<}4{是整数且。 2.设}}{,{,ΦΦ=Φ=B A ,则B －A 就是( C )。 A 、}}{{Φ; B 、}{Φ; C 、}}{,{ΦΦ; D 、Φ。 3.右图描述的偏序集中,子集},,{f e b 的上界为 ( B )。 A 、b,c; B 、a,b; C 、b; D 、a,b,c 。 4.设f 与g 都就是X 上的双射函数,则1)(-g f ο为( C )。 A 、11--g f ο; B 、1)(-f g ο; C 、11--f g ο; D 、1-f g ο。 5.下面集合( B )关于减法运算就是封闭的。 A 、N ; B 、}2{I x x ∈; C 、}12{I x x ∈+; D 、}{是质数x x 。 6.具有如下定义的代数系统>*<,G ,( D )不构成群。 A 、G={1,10},*就是模11乘 ; B 、G={1,3,4,5,9},*就是模11乘 ; C 、G=Q(有理数集),*就是普通加法; D 、G=Q(有理数集),*就是普通乘法。 7.设 },32{I n m G n m ∈?=,*为普通乘法。则代数系统>*<,G 的幺元为( B )。 f 2 A 、不存在 ; B 、0032?=e ; C 、32?=e ; D 、1132--?=e 。 8.下面集合( C )关于整除关系构成格。 A 、{2,3,6,12,24,36} ; B 、{1,2,3,4,6,8,12} ; C 、{1,2,3,5,6,15,30} ; D 、{3,6,9,12}。 9.设},,,,,{f e d c b a V =, },,,,,,,,,,,{><><><><><><=e f e d d a a c c b b a E ,则有向图 >= 离散数学期末复习指导（专科） 中央电工部计算机教研室 离散数学是中央电大计算机应用专业信息管理方向开设的必修统设课。该课程使用新的教学大纲，在原有离散数学课程的基础上削减了教学容（主要是群与环、格与布尔代数这两章及图论的后三节容），使所学的知识达到必需、够用，更加适合大学专科层次的教育。目前该课程没有新教材，借用原教材。使用的教材为中央电大出版的《离散数学》（叙华等编）和《离散数学学习指导书》（虞恩蔚等编）。 离散数学主要研究离散量结构及相互关系，使学生得到良好的数学训练，提高学生抽象思维和逻辑推理能力，为从事计算机的应用提供必要的描述工具和理论基础。其先修课程为：高等数学、线性代数；后续课程为：数据结构、数据库、操作系统、计算机网络等。 课程的主要容 本课程分为三部分：集合论、数理逻辑和图论。 1、集合论部分（集合的基本概念和运算、关系及其性质）； 2、数理逻辑部分（命题逻辑、谓词逻辑）； 3、图论部分（图的基本概念、树及其性质）。 学习建议 离散数学是理论性较强的学科，学习离散数学的关键是对离散数学（集合论、数理逻辑和图论）有关基本概念的准确掌握，对基本原理及基本运算的运用，并要多做练习。 一、各章复习示例与解析 第一章集合 例1，将“大于3而小于或等于7的整数集合”用集合表示出来。 [解析] 集合的表示方法一般有两种，一种称为列举法，一种称为描述法。 列举法将集合的元素按任意顺序逐一列在花括号，并用逗号分开。“大于3而小于或等于7的整数”有4、5、6、7，用列举法表示为{4、5、6、7}； 描述法是利用集合中的元素满足某种条件或性质用文字或符号在花括号竖线后面表示出来。上例用描述法表示为{x| x∈Z并且3 北京语言大学网络教育学院 《离散数学》模拟试卷一 注意： 1.试卷保密，考生不得将试卷带出考场或撕页，否则成绩作废。请监考老师负责监督。 2.请各位考生注意考试纪律，考试作弊全部成绩以零分计算。 3.本试卷满分100分，答题时间为90分钟。 4.本试卷分为试题卷和答题卷，所有答案必须答在答题卷上，答在试题卷上不给分。 一、【单项选择题】(本大题共15小题，每小题3分，共45分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在答题卷相应题号处。 1、在由3个元素组成的集合上，可以有 ( ) 种不同的关系。 [A] 3 [B] 8 [C]9 [D]27 2、设{}{}1,2,3,5,8,1,2,5,7A B A B ==-=,则（ ）。 [A] 3,8 [B]{}3 [C]{}8 [D]{}3,8 3、若X 是Y 的子集，则一定有（ ）。 [A]X 不属于Y [B]X ∈Y [C]X 真包含于 Y [D]X∩Y=X 4、下列关系中是等价关系的是（ ）。 [A]不等关系 [B]空关系 [C]全关系 [D]偏序关系 5、对于一个从集合A 到集合B 的映射，下列表述中错误的是（ ）。 [A]对A 的每个元素都要有象 [B] 对A 的每个元素都只有一个象 [C]对B 的每个元素都有原象 [D] 对B 的元素可以有不止一个原象 6、设p:小李努力学习，q:小李取得好成绩，命题“除非小李努力学习，否则他不能取得好成绩”的符号化形式为（ ）。 [A]p→q [B]q→p [C]┐q→┐p [D]┐p→q 7、设A={a,b,c},则A 到A 的双射共有（ ）。 [A]3个 [B]6个 [C]8个 [D]9个 离散数学期末考试试卷(A卷) 一、判断题：（每题2分，共10分） （1） （1） （2）对任意的命题公式, 若, 则 （0） （3）设是集合上的等价关系, 是由诱导的上的等价关系，则。（1） （4）任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价。 （0） （5）设是上的关系，分别表示的对称和传递闭包，则 （0） 二、填空题：（每题2分，共10分） (１) 空集的幂集的幂集为（）。 (２) 写出的对偶式（）。 （３）设是我校本科生全体构成的集合，两位同学等价当且仅当他们在 同一个班，则等价类的个数为（），同学小王所在 的等价类为（）。 （４）设是上的关系，则满足下列性质的哪几条：自反的，对称的，传递的，反自反的，反对称的。 （） (5)写出命题公式的两种等价公式( ）。 三、用命题公式符号化下列命题（１）（２）（３），用谓词公式符号化下列命题（４）（５）（６）。（12分） （１）（１）仅当今晚有时间，我去看电影。 （２）（２）假如上午不下雨，我去看电影，否则就在家里读书。 （3）你能通你能通过考试，除非你不复习。 （４）（４）并非发光的都是金子。 （５）（５）有些男同志，既是教练员，又是国家选手。 （６）（６）有一个数比任何数都大。 四、设，给定上的两个关系和分别是 （１）（１）写出 和 的关系矩阵。（２）求 及 （1２分） 五、求 的主析取范式和主合取范式。（１０分） 六、设 是 到 的关系， 是 到 的关系，证明： （8分） 七、设 是一个等价关系，设 对某一个 ,有 ，证明： 也是一个等价关系。（10分） 八、（1０分）用命题推理理论来论证 下述推证是否有效？ 甲、乙、丙、丁四人参加比赛，如果甲获胜，则乙失败；如果丙获胜，则乙也获 胜，如果甲不获胜，则丁不失败。所以，如果丙获胜，则丁不失败。 九、（１０分） 用谓词推理理论来论证下述推证。 任何人如果他喜欢步行，他就不喜欢乘汽车，每一个人或喜欢乘汽车，或喜欢骑 自行车（可能这两种都喜欢）。有的人不爱骑自行车，因而有的人不爱步行 (论 域是人)。 十、(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分） 离散数学期末复习指导（专科） 中央电大理工部计算机教研室 离散数学是中央电大计算机应用专业信息管理方向开设的必修统设课。该课程使用新的教学大纲，在原有离散数学课程的基础上削减了教学内容（主要是群与环、格与布尔代数这两章及图论的后三节内容），使所学的知识达到必需、够用，更加适合大学专科层次的教育。目前该课程没有新教材，借用原教材。使用的教材为中央电大出版的《离散数学》（刘叙华等编）和《离散数学学习指导书》（虞恩蔚等编）。 离散数学主要研究离散量结构及相互关系，使学生得到良好的数学训练，提高学生抽象思维和逻辑推理能力，为从事计算机的应用提供必要的描述工具和理论基础。其先修课程为：高等数学、线性代数；后续课程为：数据结构、数据库、操作系统、计算机网络等。 课程的主要内容 本课程分为三部分：集合论、数理逻辑和图论。 1、集合论部分（集合的基本概念和运算、关系及其性质）； 2、数理逻辑部分（命题逻辑、谓词逻辑）； 3、图论部分（图的基本概念、树及其性质）。 学习建议 离散数学是理论性较强的学科，学习离散数学的关键是对离散数学（集合论、数理逻辑和图论）有关基本概念的准确掌握，对基本原理及基本运算的运用，并要多做练习。 一、各章复习示例与解析 第一章集合 例1，将“大于3而小于或等于7的整数集合”用集合表示出来。 [解析] 集合的表示方法一般有两种，一种称为列举法，一种称为描述法。 列举法将集合的元素按任意顺序逐一列在花括号内，并用逗号分开。“大于3而小于或等于7的整数”有4、5、6、7，用列举法表示为{4、5、6、7}； 描述法是利用集合中的元素满足某种条件或性质用文字或符号在花括号内竖线后面表示出来。上例用描述法表示为{x| x∈Z并且3 《离散数学》 课程设计 学院计算机学院 学生姓名 学号 指导教师 评阅意见 提交日期 2011 年 11 月 25 日 引言 《离散数学》是现代数学的一个重要分支，也是计算机科学与技术，电子信息技术，生物技术等的核心基础课程。它是研究离散量（如整数、有理数、有限字母表等）的数学结构、性质及关系的学问。它一方面充分地描述了计算机科学离散性的特点，为学生进一步学习算法与数据结构、程序设计语言、操作系统、编译原理、电路设计、软件工程与方法学、数据库与信息检索系统、人工智能、网络、计算机图形学等专业课打好数学基础；另一方面，通过学习离散数学课程，学生在获得离散问题建模、离散数学理论、计算机求解方法和技术知识的同时，还可以培养和提高抽象思维能力和严密的逻辑推理能力，为今后爱念族皮及用计算机处理大量的日常事务和科研项目、从事计算机科学和应用打下坚实基础。特别是对于那些从事计算机科学与理论研究的高层次计算机人员来说，离散数学更是必不可少的基础理论工具。 实验一、编程判断一个二元关系的性质（是否具有自反性、反自反性、对称性、反对称性和传递性） 一、前言引语：二元关系是离散数学中重要的内容。因为事物之间总是可以 根据需要确定相应的关系。从数学的角度来看，这类联系就是某个集合中元素之间存在的关系。 二、数学原理：自反、对称、传递关系 设A和B都是已知的集合，R是A到B的一个确定的二元关系，那么集合R 就是A×B的一个合于R={(x,y)∈A×B|xRy}的子集合 设R是集合A上的二元关系： 自反关系：对任意的x∈A,都满足 《离散数学》模拟试题 一、 填空题（每小题2分，共20分） 1. 已知集合A ={φ，1，2}，则A 得幂集合p （A ）=_____ _。 2. 设集合E ={a , b , c , d , e }, A = {a , b , c }, B = {a , d , e }, 则A ∪B =___ ___， A ∩ B =____ __，A －B =___ ___，～A ∩～B =____ ____。 3. 设A ，B 是两个集合，其中A = {1, 2, 3}, B = {1, 2}，则A －B =____ ___， ρ（A ）－ρ（B ）=_____ _ _。 4. 已知命题公式，则G 的析取范式为 。 5. 设P ：2＋2＝4，Q ：3是奇数；将命题“2＋2＝4，当且仅当3是奇数。”符号化 ，其真值为 。 二、单项选择题（选择一个正确答案的代号填入括号中，每小题4分，共16分。） 1. 设A 、B 是两个集合，A ＝{1,3,4}，B ＝{1,2}，则A －B 为（ ）. A. {1} B. {1, 3} C. {3,4} D. {1,2} 2. 下列式子中正确的有（ ）。 A. φ＝0 B. φ∈{φ} C. φ∈{a,b} D. φ∈φ 3. 设集合X ＝{x , y }，则ρ（X ）＝（ ）。 A. {{x },{y }} B. {φ,{x },{y }} C. {φ,{x },{y },{x , y }} D. {{x },{y },{x , y }} 4. 设集合 A ＝{1,2,3}，A 上的关系 R ＝ {(1,1),(2,2),(2,3),(3,3),(3,2)}， 则R 不具备（ ）. 三、计算题（共50分） R Q P G →∧?=)( 试卷二十三试题与答案 一、单项选择题：（每小题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 ,则 一、选择题： 1.下列句子是命题的是( )。 A. 你喜欢我吗? B. 这里的景色真美啊! C. 2x = 9。 D. 明年国庆节是晴天。 2.设P：我们划船，Q：我们跑步。命题“我们不能既划船又跑步”符号化为( )。 ∧) A. ?P∧?Q B. ?(P Q C. ?(P?Q) D. ?(?P∨?Q) 3.下列语句不是 ．．命题的是( )。 A.黄金是非金属。 B.要是他不上场，我们就不会输。 C.他跑100米只用了10秒钟，你说他是不是运动健将呢? D.他跑100米只用了10秒钟，他是一个真正的运动健将。 4.若P：他聪明；Q：他用功；则“他虽聪明，但不用功”，可符号化为( )。 A.P∨Q B.P∧?Q C.P→?Q D.P∨?Q 5.下列句子不是 ．．命题的是( )。 A. 做人真难啊! B. 后天是阴天。 C. 2是偶数。 D. 地球是方的。 6.在命题演算中，语句为真为假的一种性质称为( )。 A. 真值 B. 陈述句 C. 命题 D. 谓词 7.命题公式?(P∧Q)→R的成真指派是( )。 A. 000，001，110 B. 001，011，101，110，111 C. 全体指派 D. 无 8.下列命题中，不正确的是( )。 ∈?,{{?}}} A.{?}{ ∈?,{?}} B.{?}{ C.{?}?{?,{?}} D. ??{?,{?}} 9.命题公式P∧(Q∨? R)的成真指派是( )。 A.110，111，100 B.110，101，011 C.所有指派 D.无 ∨?( )。 10.设P,Q,R是命题公式,则P→R，Q→R，P Q A. P B. Q C. R D. ?R 11.下列是两个命题变元p，q的小项是( ) ∨C．?p q ∨∨ ∧D．?p p q A．p∧?p q ∧B．?p q 12.关于命题变元P和Q的大项M01表示( )。 ∨ C.P∨?Q D.P∧?Q ∧ B.?P Q A.?P Q 13.设P：明天天晴；q：我去爬山；那么“除非明天天晴，否则我不去爬山。”可符号化为( ) ?p→?q C. ?p??q D. ?p→q A. p→?q B. 14.下列命题公式是永真式的是( ) (p→q)∨q D. (p∨p)∧(p→?p) ?(p→q)∧q C. A. (p∧?p)?q B. 《离散数学》实验报告 专业网络工程 班级 姓名 学号 授课教师 二 O 一六年十二月 目录 实验一联结词的运算 实验二根据矩阵的乘法求复合关系 实验三利用warshall算法求关系的传递闭包实验四图的可达矩阵实现 实验一联结词的运算 一．实验目的 通过上机实验操作，将命题连接词运算融入到C语言的程序编写中，一方面加强对命题连接词运算的理解，另一方面通过编程实现命题连接词运算，帮助学生复习和锻炼C语言知识，将理论知识与实际操作结合，让学生更加容易理解和记忆命题连接词运算。二．实验原理 (1) 非运算, 符号: ,当P=T时，P为F, 当P=F时，P为T 。 (2) 合取, 符号: ∧ , 当且仅当P和Q的真值同为真，命题P∧Q的真值才为真；否则，P∧Q的真值为假。 (3) 析取, 符号: ∨ , 当且仅当P和Q的真值同为假，命题P∨Q的真值才为假；否则，P∨Q的真值为真。 (4) 异或, 符号: ▽ , 当且仅当P和Q的真值不同时，命题P▽Q的真值才为真；否则，P▽Q的真值为真。 (5) 蕴涵, 符号: →, 当且仅当P为T,Q为F时，命题P→Q的真值才为假；否则，P→Q 的真值为真。 (6) 等价, 符号: ?, 当且仅当P,Q的真值不同时，命题P?Q的真值才为假；否则，P→Q的真值为真。 三．实验内容 编写一个程序实现非运算、合取运算、析取运算、异或运算、蕴涵运算、等价运算。四．算法程序 #include 离散数学考试试题(A卷及答案） 一、证明题（10分） 1) (P∧Q∧A C)∧(A P∨Q∨C ) (A∧(P Q ))C。P<->Q=(p->Q)合取（Q->p） 证明: (P∧Q∧A C)∧(A P∨Q∨C) (P ∨Q ∨A∨C)∧(A∨P∨Q∨C) ((P ∨Q ∨A)∧(A∨P∨Q))∨C反用分配律 ((P∧Q∧A)∨(A ∧P ∧Q))∨C ( A∧((P∧Q)∨(P ∧Q)))∨C再反用分配律 GAGGAGAGGAFFFFAFAF ( A∧(P Q))∨C (A∧(P Q ))C 2) (P Q)P Q。 证明：(P Q)((P∧Q))(P ∨Q))P Q。 二、分别用真值表法和公式法求(P(Q∨R))∧(P∨(Q R))的主析取范式与主合取范式，并写出其相应的成真赋值和成假赋值（15分）。 主析取范式与析取范式的区别：主析取范式里每个括号里都必须有全部的变元。 主析取范式可由析取范式经等值演算法算得。 GAGGAGAGGAFFFFAFAF 证明： 公式法：因为(P(Q ∨R))∧(P∨(Q R)) (P∨Q∨R)∧(P∨(Q ∧R )∨(Q ∧R)) (P∨Q ∨R)∧(((P∨Q)∧(P ∨R ))∨(Q ∧R ))分配律 (P∨Q∨R)∧(P∨Q ∨Q)∧(P∨Q ∨R)∧(P∨R ∨Q)∧(P∨R ∨R) (P∨Q ∨R)∧(P∨Q ∨R )∧(P ∨Q∨R) M∧5M∧6M使（非P析取Q析取R）为0 4 GAGGAGAGGAFFFFAFAF 所赋真值，即100，二进制为4 GAGGAGAGGAFFFFAFAF 《离散数学》试卷（A 卷） 一、 选择题（共5 小题，每题 3 分，共15 分） 1、设A={1,2,3},B={2,3,4,5},C={2,3},则C B A ⊕?)(为(C )。 A 、{1,2} B 、{2,3} C 、{1,4,5} D 、{1,2,3} 2、下列语句中哪个是真命题 ( A ) A 、如果1+2=3，则4+5=9； B 、1+2=3当且仅当4+5≠9。 C 、如果1+2=3，则4+5≠9； D 、1+2=3仅当4+5≠9。 3、个体域为整数集合时，下列公式（ C ）不是命题。 A 、)*(y y x y x =?? B 、)4*(=??y x y x C 、)*(x y x x =? D 、)2*(=??y x y x 4、全域关系A E 不具有下列哪个性质（ B ）。 A 、自反性 B 、反自反性 C 、对称性 D 、传递性 5、函数612)(,:+-=→x x f R R f 是（ D ）。 A 、单射函数 B 、满射函数 C 、既不单射也不满射 D 、双射函数 二、填充题（共 5 小题，每题 3 分，共15 分） 1、设|A|=4，|P(B)|=32，|P(A ?B)|=128，则|A ?B|=??2???. 2、公式)(Q P Q ?∨∧的主合取范式为 。 3、对于公式))()((x Q x P x ∨?，其中)(x P ：x=1， )(x Q ：x=2，当论域为{0,1,2}时，其真值为???1???。 4、设A ＝{1,2,3,4}，则A 上共有???15????个等价关系。 5、设A ＝{a ，b ，c }，B={1,2},则|B A |= 8 。 三、判断题（对的填T ，错的填F ，共 10 小题，每题 1 分，共计10 分） 1、“这个语句是真的”是真命题。 （ F ） 2、“张刚和小强是同桌。”是复合命题。 （ F ） 3、))(()(r q q p p ∧?∧→?∨是矛盾式。 （ T ） 4、)(T S R T R S R ??????。 （ F ） 5、恒等关系具有自反性，对称性，反对称性，传递性。 （ T ） 6、若f 、g 分别是单射,则g f ?是单射。 （ T ） 7、若g f ?是满射，则g 是满射。 （ F ） 8、若A B ?，则)()(A P B P ?。 （ T ） 9、若R 具有自反性，则1-R 也具有自反性。 （ T ） 10、B A ∈并且B A ?不可以同时成立。 （F ） 四、计算题（共 3 小题，每题 10 分，共30 分） 1、调查260个大学生，获得如下数据：64人选修数学课程，94人选修计算机课程，58人选修商贸课程，28人同时选修数学课程和商贸课程，26人同时选修数学课程和计算机课程，22人同时选修计算机课程和商贸课程，14人同时选修三门课程。问 （１）三门课程都不选的学生有多少？ （２）只选修计算机课程的学生有多少？ 离散数学试题(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)离散数学实验报告
离散数学模拟题一套及答案
离散数学考试试题(A卷及答案)
离散数学复习知识点
离散数学实验报告
离散数学模拟试题讲解
离散数学期末复习指导(专科)
离散数学模拟试卷和答案
离散数学期末考试试卷(A卷)
离散数学期末复习资料指导(专科)
离散数学实验报告--四个实验!!!
离散数学模拟试题及答案
离散数学试卷二十三试题与答案
的幺元为（ ）。 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。
离散数学复习题
离散数学实验报告()
离散数学考试试题(A、B卷及答案)
离散数学期末试卷A卷及答案
离散数学期末考试试题(有几套带答案)