文档库 最新最全的文档下载
当前位置:文档库 › 离散数学答案

离散数学答案

离散数学答案
离散数学答案

04任务_0006

试卷总分:100 测试时间:0

单项选择题

一、单项选择题(共10 道试题,共100 分。)

1、设有向图(a)、(b)、(c)与(d)如图所示,则下列结论成立得就是( ).

A、(a)只就是弱连通得

B、(b)只就是弱连通得

C、(c)只就是弱连通得

D、(d)只就是弱连通得

2、设无向图G得邻接矩阵为

,

则G得边数为( ).

A、 1

B、 6

C、 7

D、 14

3、设无向图G得邻接矩阵为,则G得边数为( ).

A、 6

B、 5

C、 4

D、 3

4、无向简单图G就是棵树,当且仅当( ).

A、G连通且边数比结点数少1

B、G连通且结点数比边数少1

C、G得边数比结点数少1

D、G中没有回路.

5、图G如图三所示,以下说法正确得就是( ) .

A、{(a, d)}就是割边

B、{(a, d)}就是边割集

C、{(a, d) ,(b, d)}就是边割集

D、{(b, d)}就是边割集

6、若G就是一个汉密尔顿图,则G一定就是( ).

A、平面图

B、对偶图

C、欧拉图

D、连通图

7、设G就是连通平面图,有v个结点,e条边,r个面,则r= ( ).

A、e-v+2

B、v+e-2

C、e-v-2

D、e+v+2

8、无向完全图K4就是( ).

A、欧拉图

B、汉密尔顿图

C、非平面图

D、树

9、设图G=,vV,则下列结论成立得就是 ( ) .

A、deg(v)=2|E|

B、deg(v)=|E|

C、

D、

10、以下结论正确得就是( ).

A、无向完全图都就是欧拉图

B、有n个结点n-1条边得无向图都就是树

C、无向完全图都就是平面图

D、树得每条边都就是割边

04任务_0007

试卷总分:100 测试时间:0

单项选择题

一、单项选择题(共10 道试题,共100 分。)

1、图G如图三所示,以下说法正确得就是( ) .

A、{(a, d)}就是割边

B、{(a, d)}就是边割集

C、{(a, d) ,(b, d)}就是边割集

D、{(b, d)}就是边割集

2、如图所示,以下说法正确得就是 ( ).

A、e就是割点

B、{a,e}就是点割集

C、{b, e}就是点割集

D、{d}就是点割集

3、设有向图(a)、(b)、(c)与(d)如图所示,则下列结论成立得就是( ).

A、(a)只就是弱连通得

B、(b)只就是弱连通得

C、(c)只就是弱连通得

D、(d)只就是弱连通得

4、设无向图G得邻接矩阵为

,

则G得边数为( ).

A、 1

B、 6

C、 7

D、 14

5、如图一所示,以下说法正确得就是( ) .

A、{(a, e)}就是割边

B、{(a, e)}就是边割集

C、{(a, e) ,(b, c)}就是边割集

D、{(d, e)}就是边割集

6、无向完全图K4就是( ).

A、欧拉图

B、汉密尔顿图

C、非平面图

D、树

7、已知一棵无向树T中有8个顶点,4度、3度、2度得分支点各一个,T得树叶数

为( ).

A、 8

B、 5

C、 4

D、 3

8、无向图G存在欧拉回路,当且仅当( )、

A、G中所有结点得度数全为偶数

B、G中至多有两个奇数度结点

C、G连通且所有结点得度数全为偶数

D、G连通且至多有两个奇数度结点

9、以下结论正确得就是( ).

A、无向完全图都就是欧拉图

B、有n个结点n-1条边得无向图都就是树

C、无向完全图都就是平面图

D、树得每条边都就是割边

10、无向简单图G就是棵树,当且仅当( ).

A、G连通且边数比结点数少1

B、G连通且结点数比边数少1

C、G得边数比结点数少1

D、G中没有回路.

04任务_0008

试卷总分:100 测试时间:0

单项选择题

一、单项选择题(共10 道试题,共100 分。)

1、设G就是连通平面图,有v个结点,e条边,r个面,则r= ( ).

A、e-v+2

B、v+e-2

C、e-v-2

D、e+v+2

2、已知一棵无向树T中有8个顶点,4度、3度、2度得分支点各一个,T得树叶数

为( ).

A、 8

B、 5

C、 4

D、 3

3、若G就是一个欧拉图,则G一定就是( ).

A、平面图

B、汉密尔顿图

C、连通图

D、对偶图

4、图G如图二所示,以下说法正确得就是( ).

A、a就是割点

B、{b,c}就是点割集

C、{b, d}就是点割集

D、{c}就是点割集

5、如图所示,以下说法正确得就是 ( ).

A、e就是割点

B、{a,e}就是点割集

C、{b, e}就是点割集

D、{d}就是点割集

6、若G就是一个汉密尔顿图,则G一定就是( ).

A、平面图

B、对偶图

C、欧拉图

D、连通图

7、无向图G存在欧拉回路,当且仅当( )、

A、G中所有结点得度数全为偶数

B、G中至多有两个奇数度结点

C、G连通且所有结点得度数全为偶数

D、G连通且至多有两个奇数度结点

8、设图G=,vV,则下列结论成立得就是 ( ) .

A、deg(v)=2|E|

B、deg(v)=|E|

C、

D、

9、以下结论正确得就是( ).

A、无向完全图都就是欧拉图

B、有n个结点n-1条边得无向图都就是树

C、无向完全图都就是平面图

D、树得每条边都就是割边

10、图G如图三所示,以下说法正确得就是( ) .

A、{(a, d)}就是割边

B、{(a, d)}就是边割集

C、{(a, d) ,(b, d)}就是边割集

D、{(b, d)}就是边割集

04任务_0009

试卷总分:100 测试时间:0

单项选择题

一、单项选择题(共10 道试题,共100 分。)

1、无向完全图K4就是( ).

A、欧拉图

B、汉密尔顿图

C、非平面图

D、树

2、已知无向图G得邻接矩阵为,则G有( ).

A、5点,8边

B、6点,7边

C、6点,8边

D、5点,7边

3、图G如图二所示,以下说法正确得就是( ).

A、a就是割点

B、{b,c}就是点割集

C、{b, d}就是点割集

D、{c}就是点割集

4、设图G=,vV,则下列结论成立得就是 ( ) .

A、deg(v)=2|E|

B、deg(v)=|E|

C、

D、

5、无向图G存在欧拉回路,当且仅当( )、

A、G中所有结点得度数全为偶数

B、G中至多有两个奇数度结点

C、G连通且所有结点得度数全为偶数

D、G连通且至多有两个奇数度结点

6、以下结论正确得就是( ).

A、无向完全图都就是欧拉图

B、有n个结点n-1条边得无向图都就是树

C、无向完全图都就是平面图

D、树得每条边都就是割边

7、若G就是一个欧拉图,则G一定就是( ).

A、平面图

B、汉密尔顿图

C、连通图

D、对偶图

8、已知一棵无向树T中有8个顶点,4度、3度、2度得分支点各一个,T得树叶数

为( ).

A、 8

B、 5

C、 4

D、 3

9、若G就是一个汉密尔顿图,则G一定就是( ).

A、平面图

B、对偶图

C、欧拉图

D、连通图

10、设G就是连通平面图,有v个结点,e条边,r个面,则r= ( ).

A、e-v+2

B、v+e-2

C、e-v-2

D、e+v+2

04任务_0010

试卷总分:100 测试时间:0

单项选择题

一、单项选择题(共10 道试题,共100 分。)

1、设无向图G得邻接矩阵为

,

则G得边数为( ).

A、 1

B、 6

C、 7

D、 14

2、无向图G存在欧拉回路,当且仅当( )、

A、G中所有结点得度数全为偶数

B、G中至多有两个奇数度结点

C、G连通且所有结点得度数全为偶数

D、G连通且至多有两个奇数度结点

3、设图G=,vV,则下列结论成立得就是 ( ) .

A、deg(v)=2|E|

B、deg(v)=|E|

C、

D、

4、设G就是连通平面图,有v个结点,e条边,r个面,则r= ( ).

A、e-v+2

B、v+e-2

C、e-v-2

D、e+v+2

5、若G就是一个汉密尔顿图,则G一定就是( ).

A、平面图

B、对偶图

C、欧拉图

D、连通图

6、以下结论正确得就是( ).

A、无向完全图都就是欧拉图

B、有n个结点n-1条边得无向图都就是树

C、无向完全图都就是平面图

D、树得每条边都就是割边

7、已知一棵无向树T中有8个顶点,4度、3度、2度得分支点各一个,T得树叶数

为( ).

A、 8

B、 5

C、 4

D、 3

8、设有向图(a)、(b)、(c)与(d)如图四所示,则下列结论成立得就是( ).

图四

A、(a)就是强连通得

B、(b)就是强连通得

C、(c)就是强连通得

D、(d)就是强连通得

9、图G如图二所示,以下说法正确得就是( ).

A、a就是割点

B、{b,c}就是点割集

C、{b, d}就是点割集

D、{c}就是点割集

10、无向树T有8个结点,则T得边数为( ).

A、 6

B、 7

C、 8

D、 9

各大学教材课后习题答案网址

各大学教材课后习题答案网址 《线性代数》(同济第四版)课后习题答案(完整版) 高等数学(同济第五版)课后答案(PDF格式,共527页) 中国近现代史纲要课后题答案 曼昆《经济学原理》课后习题解答 21世纪大学英语读写教程(第三册)参考答案 谢希仁《计算机网络教程》(第五版)习题参考答案(共48页) 《概率论与数理统计》习题答案 http:// 《模拟电子技术基础》详细习题答案(童诗白,华成英版,高教版) 《机械设计》课后习题答案(高教版,第八版,西北工业大学) 《大学物理》完整习题答案 .com/viewthread.php?tid=217&fromuid=164951 《管理学》课后答案(周三多) 机械设计基础(第五版)习题答案[杨可桢等主编] 程守洙、江之永主编《普通物理学》(第五版)详细解答及辅导 .php?tid=3&fromuid=164951 新视野大学英语课本详解(四册全) 21世纪大学英语读写教程(第四册)课后答案 新视野大学英语读写教程3册的课后习题答案 1

新视野大学英语第四册答案(第二版) 《中国近现代史》选择题全集(共含250道题目和答案) 《电工学》课后习题答案(第六版,上册,秦曾煌主编) 完整的英文原版曼昆宏观、微观经济学答案 《数字电子技术基础》习题答案(阎石,第五版) 《电路》习题答案上(邱关源,第五版) 《电工学》习题答案(第六版,秦曾煌) https://www.wendangku.net/doc/c93891355.html,/viewthread.php?tid=112&fromuid=164951 21世纪大学英语读写教程(第三册)课文翻译 《生物化学》复习资料大全(3套试卷及答案+各章习题集) 《模拟电子技术基础》课后习题答案(共10章)ewthread.php?tid=21&fromuid=164951 《概率论与数理统计及其应用》课后答案(浙江大学盛骤谢式千编著)《理论力学》课后习题答案(赫桐生,高教版) 《全新版大学英语综合教程》(第四册)练习答案及课文译文viewthread.php?tid=78&fromuid=164951 《化工原理答案》课后习题答案(高教出版社,王志魁主编,第三版)《国际贸易》课后习题答案(海闻P.林德特王新奎) 大学英语综合教程1-4册练习答案 read.php?tid=1282&fromuid=164951 《流体力学》习题答案 《传热学》课后习题答案(第四版) 高等数学习题答案及提示

离散数学答案屈婉玲版第二版高等教育出版社课后答案

离散数学答案屈婉玲版 第二版高等教育出版社课后答案 第一章部分课后习题参考答案 16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 (1)p∨(q∧r)?0∨(0∧1) ?0 (2)(p?r)∧(﹁q∨s) ?(0?1)∧(1∨1) ?0∧1?0. (3)(?p∧?q∧r)?(p∧q∧﹁r) ?(1∧1∧1)? (0∧0∧0)?0 (4)(?r∧s)→(p∧?q) ?(0∧1)→(1∧0) ?0→0?1 17.判断下面一段论述是否为真:“π是无理数。并且,如果3是无理数,则2也是无理数。另外6能被2整除,6才能被4整除。” 答:p: π是无理数1 q: 3是无理数0 r: 2是无理数 1 s: 6能被2整除1 t: 6能被4整除0 命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。19.用真值表判断下列公式的类型: (4)(p→q) →(?q→?p) (5)(p∧r) ?(?p∧?q) (6)((p→q) ∧(q→r)) →(p→r) 答:(4) p q p→q ?q ?p ?q→?p (p→q)→(?q→?p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式

(5)公式类型为可满足式(方法如上例) (6)公式类型为永真式(方法如上例) 第二章部分课后习题参考答案 3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值. (1) ?(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 答:(2)(p→(p∨q))∨(p→r)?(?p∨(p∨q))∨(?p∨r)??p∨p∨q∨r?1所以公式类型为永真式 (3)P q r p∨q p∧r (p∨q)→(p∧r) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 所以公式类型为可满足式 4.用等值演算法证明下面等值式: (2)(p→q)∧(p→r)?(p→(q∧r)) (4)(p∧?q)∨(?p∧q)?(p∨q) ∧?(p∧q) 证明(2)(p→q)∧(p→r) ?(?p∨q)∧(?p∨r) ??p∨(q∧r)) ?p→(q∧r) (4)(p∧?q)∨(?p∧q)?(p∨(?p∧q)) ∧(?q∨(?p∧q)

屈婉玲版离散数学课后习题答案【2】

第四章部分课后习题参考答案 3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值: (1) 对于任意x,均有错误!未找到引用源。2=(x+错误!未找到引用源。)(x 错误!未找到引用源。). (2) 存在x,使得x+5=9. 其中(a)个体域为自然数集合. (b)个体域为实数集合. 解: F(x): 错误!未找到引用源。2=(x+错误!未找到引用源。)(x 错误!未找到引用源。). G(x): x+5=9. (1)在两个个体域中都解释为)(x xF ?,在(a )中为假命题,在(b)中为真命题。 (2)在两个个体域中都解释为)(x xG ?,在(a )(b)中均为真命题。 4. 在一阶逻辑中将下列命题符号化: (1) 没有不能表示成分数的有理数. (2) 在北京卖菜的人不全是外地人. 解: (1)F(x): x 能表示成分数 H(x): x 是有理数 命题符号化为: ))()((x H x F x ∧??? (2)F(x): x 是北京卖菜的人 H(x): x 是外地人 命题符号化为: ))()((x H x F x →?? 5. 在一阶逻辑将下列命题符号化: (1) 火车都比轮船快. (3) 不存在比所有火车都快的汽车. 解: (1)F(x): x 是火车; G(x): x 是轮船; H(x,y): x 比y 快

命题符号化为: )) F x G x→ ∧ ? ? y y ( )) ( ) , x ((y ( H (2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快 命题符号化为: ))) x x F y y→ ?? ∧ ? G (y H ( , ( ) ( ( x ) 9.给定解释I如下: (a) 个体域D为实数集合R. (b) D中特定元素错误!未找到引用源。=0. (c) 特定函数错误!未找到引用源。(x,y)=x错误!未找到引用源。y,x,y D ∈错误!未找到引用源。. (d) 特定谓词错误!未找到引用源。(x,y):x=y,错误!未找到引用源。(x,y):x

各科书的下载地址

[Word格式]《成本会计》习题及答案(自学推荐,23页) [Word格式]《成本会计》配套习题集参考答案 [Word格式]《实用成本会计》习题答案 [Word格式]《会计电算化》教材习题答案(09年) [JPG格式]会计从业《基础会计》课后答案 [Word格式]《现代西方经济学(微观经济学)》笔记与课后习题详解(第3版,宋承先)[Word格式]《宏观经济学》习题答案(第七版,多恩布什) [Word格式]《国际贸易》课后习题答案(海闻 P.林德特王新奎) [PDF格式]《西方经济学》习题答案(第三版,高鸿业)可直接打印 [Word格式]《金融工程》课后题答案(郑振龙版) [Word格式]《宏观经济学》课后答案(布兰查德版) [JPG格式]《投资学》课后习题答案(英文版,牛逼版) [PDF格式]《投资学》课后习题答案(博迪,第四版) [Word格式]《微观经济学》课后答案(高鸿业版) [Word格式]《公司理财》课后答案(英文版,第六版) [Word格式]《国际经济学》教师手册及课后习题答案(克鲁格曼,第六版) [Word格式]《金融市场学》课后习题答案(张亦春,郑振龙,第二版) [PDF格式]《金融市场学》电子书(张亦春,郑振龙,第二版) [Word格式]《微观经济学》课后答案(平狄克版) [Word格式]《中级财务会计》习题答案(第二版,刘永泽) [PDF格式]《国际经济学》习题答案(萨尔瓦多,英文版) [JPG格式]《宏观经济学》课后答案(曼昆,中文版) [PDF格式]《宏观经济学》答案(曼昆,第五版,英文版)pdf格式 [Word格式]《技术经济学概论》(第二版)习题答案 [Word格式]曼昆《经济学原理》课后习题解答 [PDF格式]西方经济学(高鸿业版)教材详细答案 [Word格式]完整的英文原版曼昆宏观、微观经济学答案 [Word格式]《金融市场学》课后答案(郑振龙版) 化学物理 [Word格式]《固体物理》习题解答(方俊鑫版) [Word格式]《简明结构化学》课后习题答案(第三版,夏少武) [Word格式]《生物化学》复习资料大全(3套试卷及答案+各章习题集) [PDF格式]《光学教程》习题答案(第四版,姚启钧原著) [Word格式]《流体力学》实验分析答案(浙工大版) [Word格式]《高分子化学》课后习题答案(第四版,潘祖仁主编) [PDF格式]《化工热力学》习题与习题答案(含各种版本) [Word格式]《材料力学》习题答案 [Word格式]《量子力学导论》习题答案(曾谨言版,北京大学) [PDF格式]《理论力学》习题答案(动力学和静力学)

离散数学答案第二章习题解答

习题与解答 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 =∨=?=???∧=?。

大学几乎所有学科的课本答案

大学几乎所有学科的课本答案 ! 任明嘉的日志 经济金融 [PDF格式]《会计学原理》同步练习题答案 [Word格式]《成本会计》习题及答案(自学推荐,23页) [Word格式]《成本会计》配套习题集参考答案 [Word格式]《实用成本会计》习题答案 [Word格式]《会计电算化》教材习题答案(09年) [JPG格式]会计从业《基础会计》课后答案 [Word格式]《现代西方经济学(微观经济学)》笔记与课后习题详解(第3版,宋承先)[Word格式]《宏观经济学》习题答案(第七版,多恩布什) [Word格式]《国际贸易》课后习题答案(海闻P.林德特王新奎) [PDF格式]《西方经济学》习题答案(第三版,高鸿业)可直接打印 [Word格式]《金融工程》课后题答案(郑振龙版) [Word格式]《宏观经济学》课后答案(布兰查德版) [JPG格式]《投资学》课后习题答案(英文版,牛逼版) [PDF格式]《投资学》课后习题答案(博迪,第四版) [Word格式]《微观经济学》课后答案(高鸿业版) [Word格式]《公司理财》课后答案(英文版,第六版)

[Word格式]《国际经济学》教师手册及课后习题答案(克鲁格曼,第六版) [Word格式]《金融市场学》课后习题答案(张亦春,郑振龙,第二版)[PDF格式]《金融市场学》电子书(张亦春,郑振龙,第二版) [Word格式]《微观经济学》课后答案(平狄克版) [Word格式]《中级财务会计》习题答案(第二版,刘永泽) [PDF格式]《国际经济学》习题答案(萨尔瓦多,英文版) [JPG格式]《宏观经济学》课后答案(曼昆,中文版) [PDF格式]《宏观经济学》答案(曼昆,第五版,英文版)pdf格式 [Word格式]《技术经济学概论》(第二版)习题答案 [Word格式]曼昆《经济学原理》课后习题解答 [PDF格式]西方经济学(高鸿业版)教材详细答案 [Word格式]完整的英文原版曼昆宏观、微观经济学答案 [Word格式]《金融市场学》课后答案(郑振龙版) 化学物理 [Word格式]《固体物理》习题解答(方俊鑫版) [Word格式]《简明结构化学》课后习题答案(第三版,夏少武) [Word格式]《生物化学》复习资料大全(3套试卷及答案+各章习题集)[PDF格式]《光学教程》习题答案(第四版,姚启钧原著) [Word格式]《流体力学》实验分析答案(浙工大版) [Word格式]《高分子化学》课后习题答案(第四版,潘祖仁主编)

胡寿松第六版答案

胡寿松第六版答案 【篇一:大学课后习题答案】 /p> 《新视野大学英语读写教程(第二版)第三册》课后答案 /viewthread.php?tid=16fromuid=191597 新视野大学英语读写教程(第二版)第一册》课后答案 /viewthread.php?tid=14fromuid=191597 /viewthread.php?tid=37fromuid=191597 21世纪大学实用英语综合教程(第一册)课后答案及课文翻译 /viewthread.php?tid=4fromuid=191597 西方经济学(高鸿业版)教材详细答案 /viewthread.php?tid=60fromuid=191597 《新视野大学英语读写教程(第二版)第二册》课后答案 /viewthread.php?tid=15fromuid=191597 思想道德修养和法律基础课后习题答案 /viewthread.php?tid=63fromuid=191597 《中国近代史纲要》完整课后答案(高教版) /viewthread.php?tid=81fromuid=191597 《全新版大学英语综合教程》(第三册)练习答案及课文译文 /viewthread.php?tid=77fromuid=191597 《全新版大学英语综合教程》(第一册)练习答案及课文译文 /viewthread.php?tid=75fromuid=191597 《会计学原理》同步练习题答案

/viewthread.php?tid=305fromuid=191597 《微观经济学》课后答案(高鸿业版) /viewthread.php?tid=283fromuid=191597 《统计学》课后答案(第二版,贾俊平版) /viewthread.php?tid=29fromuid=191597 《西方经济学》习题答案(第三版,高鸿业)可直接打印 /viewthread.php?tid=289fromuid=191597 毛邓三全部课后思考题答案(高教版)/毛邓三课后答案 /viewthread.php?tid=514fromuid=191597 新视野大学英语听说教程1听力原文及答案下载 /viewthread.php?tid=2531fromuid=191597 西方宏观经济高鸿业第四版课后答案 /viewthread.php?tid=2006fromuid=191597 《管理学》经典笔记(周三多,第二版) /viewthread.php?tid=280fromuid=191597 《中国近代史纲要》课后习题答案 /viewthread.php?tid=186fromuid=191597 《理论力学》课后习题答案 /viewthread.php?tid=55fromuid=191597 《线性代数》(同济第四版)课后习题答案(完整版) 高等数学(同济第五版)课后答案(pdf格式,共527页) /viewthread.php?tid=18fromuid=191597

离散数学课后习题答案(左孝凌版)

离散数学课后习题答案(左孝凌版) 1-1,1-2解: a)是命题,真值为T。 b)不是命题。 c)是命题,真值要根据具体情况确定。 d)不是命题。 e)是命题,真值为T。 f)是命题,真值为T。 g)是命题,真值为F。 h)不是命题。 i)不是命题。 (2)解: 原子命题:我爱北京天安门。 复合命题:如果不是练健美操,我就出外旅游拉。 (3)解: a)(┓P ∧R)→Q b)Q→R c)┓P d)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∧Q b)设P:小李看书。Q:小李听音乐。P∧Q c)设P:气候很好。Q:气候很热。P∨Q d)设P: a和b是偶数。Q:a+b是偶数。P→Q e)设P:四边形ABCD是平行四边形。Q :四边形ABCD的对边平行。P Q f)设P:语法错误。Q:程序错误。R:停机。(P∨ Q)→ R (6) 解: a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。 P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 (1)解:

大学生答案下载地址

大学生答案下载地址

资料搜索方法:Ctrl+F 输入关键词查找你要的资料 资料打开方法:按住 Ctrl键,在你需要的资料上用鼠标左键单击 ?[Word版答案]《新视野大学英语读写教程(第二版)第三册》课后答案?[Word版答案]新视野大学英语读写教程(第二版)第一册》课后答案?[PDF版答案]21世纪大学实用英语综合教程(第一册)课后答案及课文翻译 ?[PDF版答案]21世纪大学英语读写教程(第三册)参考答案 ?[PDF版答案]《马克思主义基本原理概论》新版完整答案 ?[Word版答案]《毛泽东思想和中国特色社会主义理论体系概论》习题答案(2008年修订版的) ?[Word版答案]《新视野大学英语读写教程(第二版)第二册》课后答案?[PDF版答案]21世纪大学英语读写教程(第三册)课文翻译 ?[PDF版答案]《会计学原理》同步练习题答案 ?[PDF版答案]思想道德修养与法律基础课后习题答案 ?[PDF版答案]21世纪大学英语读写教程(第四册)课后答案 ?[PDF版答案]西方经济学(高鸿业版)教材详细答案 ?[Word版答案]《全新版大学英语综合教程》(第三册)练习答案及课文译文 ?[Word版答案]《全新版大学英语综合教程》(第一册)练习答案及课文译文 ?[Word版答案]新视野大学英语听说教程1听力原文及答案下载 ?[PDF版答案]《西方经济学》习题答案(第三版,高鸿业)可直接打印?[Word版答案]《微观经济学》课后答案(高鸿业版) ?[PDF版答案]谢希仁《计算机网络教程》(第五版)习题参考答案(共48页) ?[Word版答案]《统计学》课后答案(第二版,贾俊平版)

离散数学 杨圣洪等著 第二章习题二解答

第二章习题二 1、求证?x?y(P(x)→Q(y))??xP(x)→?yQ(y) ?x?y(P(x)→Q(y)) ??x?y(?P(x)∨Q(y)) 条件式的等值式 ??x(?P(x)∨?yQ(y)) 辖域的扩充与收缩规律 ??x?P(x)∨?yQ(y) 辖域的扩充与收缩规律 ???xP(x)∨?yQ(y) 量词的德摩律 ??xP(x)→?yQ(y) 条件式的等值式 2、把下列各式转换为前束范式 (1) ?x(?(?yP(x,y)→(?zQ(z)→R(x)))) ??x(?(?yP(x,y)→(??zQ(z)∨R(x)))) 条件式的等值式 ??x(?(??yP(x,y)∨(??zQ(z)∨R(x)))) 条件式的等值式 ??x((???yP(x,y)∧(???zQ(z)∧?R(x)))) 德摩律 ??x((?yP(x,y)∧(?zQ(z)∧?R(x)))) 否定的否定 ??x?y?z ((P(x,y)∧(Q(z)∧?R(x)))) 量词辖域的扩张与收缩 ??x?y?z (P(x,y)∧Q(z)∧?R(x)) 量词辖域的扩张与收缩 (2) ?x?y((?zP(x,y,z)∧?uQ(x,u))→?vQ(y,v)) ??x?y(? (?zP(x,y,z)∧?uQ(x,u)) ∨?vQ(y,v)) 条件式的等值式 ??x?y( (??zP(x,y,z) ∨??uQ(x,u)) ∨?vQ(y,v)) 德摩律 ??x?y( (?z?P(x,y,z) ∨?u?Q(x,u)) ∨?vQ(y,v)) 德摩律 ??x?y?z?u?v ( (?P(x,y,z) ∨?Q(x,u)) ∨Q(y,v)) 德摩律 ??x?y?z?u?v ( ?P(x,y,z) ∨?Q(x,u)∨Q(y,v)) 德摩律 (3) ?xF(x) →?yP(x,y) ??zF(z) →?yP(x,y) 约束变元与自由变元同名,故约束变元改名 ???zF(z)∨?yP(x,y) 条件式的等值式 ??z?F(z)∨?yP(x,y) 德摩律 ??z?y(?F(z)∨P(x,y)) 德摩律 (4) ?x(P(x,y)→?yQ(x,y,z)) ??x(P(x,y)→?sQ(x,s,z)) 约束变元y与自由变元y同名,故约束变元改名 ??x(?P(x,y) ∨?sQ(x,s,z)) 条件式的等值式 ??x?s(?P(x,y)∨Q(x,s,z)) 辖域的扩充与收缩 (5) ?x(P(x,y)??yQ(x,y,z)) ??x(P(x,y)??sQ(x,s,z)) 约束变元y与自由变元y同名,故约束变元改名 ??x((P(x,y)→?sQ(x,s,z)) ∧(?sQ(x,s,z)→P(x,y))) 双条件的等值式 ??x((P(x,y)→?sQ(x,s,z)) ∧(?tQ(x,t,z)→P(x,y))) 后面约束变元与前面同则后面换名??x((?P(x,y)∨?sQ(x,s,z))∧(??tQ(x,t,z)∨P(x,y))) 条件式的等值式 ??x((?P(x,y)∨?sQ(x,s,z))∧(?t?Q(x,t,z)∨P(x,y))) 德摩律

离散数学第二章

离散数学第二章 1. 有序二元组也称序偶,设 A , B 为任意集合,A 和 B 的笛卡尔积用 A × B 表示,定义为 A × B = {(a , b ) | a ∈ A , b ∈ B }。 2. 推广 n 个集合的笛卡儿积为A 1 × A 2 × … × A n = {(x 1, x 2, …, x n ) | x i ∈ A i , i = 1, 2, …, n }。 3. 笛卡尔乘与交并集符号之间满足分配率: A × (B ? C ) = (A × B ) ? (A × C ) 4. 笛卡尔积 A × B 的任意一个子集 ρ 称为由 A 到 B 的一个二元关系,当 A = B 时,称 ρ 是 A 上 的二元关系。 5. 几种特殊的关系:空关系,全关系(普遍关系)记为U A ,恒等关系I A = {(a , a ) | a ∈ A }。 6. 关系的表示方法:集合表示法,矩阵表示法,关系图表示法(结点,单边)自环 7. A,B 上的关系的交,并,补,运算结果都是A 到B 的关系。 8. ,称为关系p 的逆运算也记为p-1 9. 关系的复合运算:当且仅当存在元素 b ∈ B ,使得 a ρ1 b ,b ρ2 c 时,有 a (ρ1 ? ρ2) c 。 10. I A ? ρ = ρ ? I B =p ,关系的复合满足结合律:(ρ1 ? ρ2) ? ρ3 = ρ1 ? (ρ2 ? ρ3)。 11. 规定:ρ 0 = {(a , a ) | a ∈ A },即 ρ 0 = I A 12. 复合关系的求法:定义,关系图,矩阵 13. 设 A 、B 均是有限集,ρ1、ρ2 都是由 A 到 B 的关系,它们的关系矩阵分别为和 ,则下列关系的关 系矩阵如何? ρ1 ? ρ2,ρ1 ? ρ2,ρ1',ρ1 - ρ2 ,ρ1-1。 14. 设 ρ1, ρ2 是集合 A 上的任意的关系,则 (ρ1 ? ρ2)-1 = ρ2-1 ? ρ1-1 15. 关系的性质:自反,非自反,反自反;对称,非对称,反对称;可传递,不可传递; 16. 反自反的关系一定是非自反的关系;若ρ是 A 上的反对称关系,则由定义知,在ρ中,(a , b ) 与 (b , a ) 至多有一个出现,其中 a ≠ b 。 17. {(1, 2), (3, 0), (3, 2)}这个关系可传递 18. 设 ρ 为 A 上的关系,(1) ρ 在 A 上自反当且仅当 I A ? ρ (2) ρ 在 A 上反自反当且仅当 ρ ∩I A = Φ (3) ρ 在 A 上对称当且仅当 ρ = ρ -1 (4) ρ 在 A 上反对称当且仅当 ρ ∩ ρ -1 ? I A (5) ρ 在 A 上传递当且仅当 ρ ? ρ ? ρ 。(自证,ppt 中有过程) 19.利用关系矩阵判断: }),(|),{(~ρρ ∈=b a a b

离散数学(第五版)清华大学出版社第6章习题解答

离散数学(第五版)清华大学出版社第6章习题解答 6.1 A:⑨; B:⑨; C:④; D:⑥; E:③ 分析对于给定的集合和运算判别它们是否构成代数系统的关键是检查集合对 给定运算的封闭性,具体方法已在 5.3节做过说明. 下面分别讨论对各种不同代数系纺的判别方法. 1°给定集合S和二元运算°,判定是否构成关群、独导点和群. 根据定义,判别时要涉及到以下条件的验证: 条件1 S关于°运算封闭: 条件2 °运算满足结合集 条件3 °运算有幺元, 条件4 °?x∈S,x-1∈S. 其中关群判定只涉及条件1和2;独导点判定涉及条件1、2、和3;而群的判定则涉及到所有的四个条件。 , *>是否构成环,交换环,含幺环,整环, 2 °给定集合S和二元运算°和*,判定S构成交换群, 条件2 构成关群, 条件 3 * 对°运算的分配律, 条件4 * 对运算满足交换律, 条件5 * 运算有幺元, 条件6 * 运算不含零因子——消去律, 条件7 |S|≥2,?x∈S,x≠0,有x-1∈S(对*运算). 其中环的判定涉及条件1,2和3;交换环的判定涉及条件1,2,3和4;含幺环的判定涉及条件1,2,3和5;整环的判定涉及条件1-6;而域的判定则涉及全部7个条件. 3°判定偏序集是否构成格、分本配格、有补格和布尔格. 73 若构成代数系统.若是代数系统且°和*运算满足交换律、结合律和吸收律,则构成格。

离散数学课后答案

离散数学课后答案 习题一 6.将下列命题符号化。 (1)小丽只能从框里那一个苹果或一个梨. (2)这学期,刘晓月只能选学英语或日语中的一门外语课. 答: (1)(p Λ?q )ν(?pΛq)其中p:小丽拿一个苹果,q:小丽拿一个梨(2)(p Λ?q )ν(?pΛq)其中p:刘晓月选学英语,q:刘晓月选学日语 14.将下列命题符号化. (1) 刘晓月跑得快, 跳得高. (2)老王是山东人或河北人. (3)因为天气冷, 所以我穿了羽绒服. (4)王欢与李乐组成一个小组. (5)李辛与李末是兄弟. (6)王强与刘威都学过法语. (7)他一面吃饭, 一面听音乐. (8)如果天下大雨, 他就乘班车上班. (9)只有天下大雨, 他才乘班车上班. (10)除非天下大雨, 他才乘班车上班. (11)下雪路滑, 他迟到了. (12)2与4都是素数, 这是不对的. (13)“2或4是素数, 这是不对的”是不对的. 答: (1)p∧q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高. (2)p∨q, 其中, p: 老王是山东人, q: 老王是河北人. (3)p→q, 其中, p: 天气冷, q: 我穿了羽绒服. (4)p, 其中, p: 王欢与李乐组成一个小组, 是简单命题. (5)p, 其中, p: 李辛与李末是兄弟. (6)p∧q, 其中, p: 王强学过法语, q: 刘威学过法语. (7)p∧q, 其中, p: 他吃饭, q: 他听音乐. (8)p→q, 其中, p: 天下大雨, q: 他乘班车上班. (9)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (10)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (11)p→q, 其中, p: 下雪路滑, q: 他迟到了. (12) ? (p∧q)或?p∨?q, 其中, p: 2是素数, q: 4是素数. (13) ? ? (p∨q)或p∨q, 其中, p: 2是素数, q: 4是素数. 16. 19.用真值表判断下列公式的类型: (1)p→ (p∨q∨r) (2)(p→?q) →?q

离散数学第二版邓辉文编著第一章第二节习题答案

离散数学第二版邓辉文编著第一章第二节习题答案 1.2 映射的有关概念 习题1.2 1. 分别计算?1. 5?,?-1?,?-1. 5?,? 1. 5?,?-1?,?-1. 5?. 解?1. 5?=2,?-1?=-1,?-1. 5?=-1,?1. 5?=1,?-1?=-1,?-1. 5?=-2. 2. 下列映射中,那些是双射? 说明理由. (1)f :Z →Z , f (x ) =3x . (2)f :Z →N , f (x ) =|x |+1. (3)f :R →R , f (x ) =x 3+1. (4)f :N ?N →N , f (x 1, x 2) =x 1+x 2+1. (5)f :N →N ?N , f (x ) =(x , x +1). 解 (1)对于任意对x 1, x 2∈Z ,若f (x 1) =f (x 2) ,则3x 1=3x 2,于是x 1=x 2,所以f 是单射. 由于对任意x ∈Z ,f (x ) ≠2∈Z ,因此f 不是满射,进而f 不是双射. (2)由于2, -2∈Z 且f (2) =f (-2) =3,因此f 不是单射. 又由于0∈N ,而任意x ∈Z 均有f (x ) =|x |+1≠0,于是f 不是满射. 显然,f 不是双射. (3)对于任意对x 1, x 2∈R ,若f (x 1) =f (x 2) ,则x 1+1=x 2+1,于是x 1=x 2,所以f 是单射. 对于任意y ∈R ,取x =(y -1) ,这时 1??3f (x ) =x +1=?(y -1) 3?+1=(y -1) +1=y , ??33313 所以f 是满射. 进而f 是双射.

离散数学第二章习题答案

设解释I为:个体域D I ={-2,3,6},一元谓词F(X):X3,G(X):X>5,R(X):X7。在I下求下列各式的真值。 (1)x(F(x)G(x)) 解:x(F(x)G(x)) (F(-2) G(-2)) (F(3) G(3)) (F(6) G(6)) ((-23) (-2>5)) ((33) (3>5)) ((63) (6<5)) ((1 0))((1 0)) ((0 0)) 000 (2) x(R(x)F(x))G(5) 解:x(R(x)F(x))G(5) (R(-2)F(-2)) (R(3)F(3)) (R(6)F(6)) G(5) ((-27) (-23)) (( 37) (33)) (( 67) (63)) (5>5) (1 1) (1 1) (10) 0 1 1 0 0 (3)x(F(x)G(x)) 解:x(F(x)G(x)) (F(-2) G(-2)) (F(3) G(3)) (F(6) G(6)) ((-23) (-2>5)) ((33) (3>5)) ((63) (6>5))

(1 0) (1 0) (0 1) 1 1 1 1 求下列各式的前束范式,要求使用约束变项换名规则。 (1)??xF(x)→?yG(x,y) (2) ?(?xF(x,y) ∨?yG(x,y) ) 解:(1)??xF(x)→?yG(x,y) ???xF(x)→?yG(z,y) 代替规则 ??x?F(x)→?yG(z,y) 定理(2 ) ??x(?F(x) →?yG(z,y) 定理(2)③ ??x?y(?F(x) →G(z,y)) 定理(1)④ (2)?(?xF(x,y) ∨?yG(x,y) ) ??(?zF(z,y) ∨?tG(x,t)) 换名规则 ??(?zF(z,y) )∧?(?tG(x,t) ) ??z?F(z,y) ∧?t?G(x,z) ??z (?F(z,y) ∧?t?G(x,z)) ??z ?t(?F(z,y) ∧?G(x,t)) 求下列各式的前束范式,要求使用自由变项换名规则。(代替规则)(1)xF(x)∨yG(x,y) xF(x) ∨yG(z,y) 代替规则 x(F(x) ∨yG(z,y))定理(1)① x y(F(x) ∨G(z,y))定理(2)① (2)x(F(x)∧yG(x,y,z))→zH(x,y,z) x(F(x)∧yG(x,y,t))→zH(s,r,z) 代替规则 x y (F(x)∧G(x,y,t))→zH(s,r,z) 定理(1)②

离散数学课后习题答案二

习题3.7 1. 列出关系}6|{=???∈><+ d c b a d c b a d c b a 且,,,,,,Z 中所有有序4元组。 解 }6|{=???∈><+ d c b a d c b a d c b a 且,,,,,,Z ,2,1,3,1,3,1,2,1,2,3,1,1,3,2,1,1,1,1,1,6,1,1,6,1,1,6,1,1,6,1,1,1{><><><><><><><><= ><><><><><><><><2,1,1,3,3,1,1,2,1,2,1,3,1,3,1,2,1,1,2,3,1,1,3,2,1,2,3,1,1,3,2,1 2. 列出二维表 3.18所表示的多元关系中所有5元组。假设不增加新的5元组,找出二维表3.18所有的主键码。 表3.18 航班信息 航空公司 航班 登机口 目的地 起飞时间 Nadir 112 34 底特律 08:10 Acme 221 22 丹佛 08:17 Acme 122 33 安克雷奇 08:22 Acme 323 34 檀香山 08:30 Nadir 199 13 底特律 08:47 Acme 222 22 丹佛 09:10 Nadir 322 34 底特律 09:44 解 略 3. 当施用投影运算5,3,2π到有序5元组>

离散数学 尹宝林版 第6章作业答案

第六章习题答案 2. 设P = {< 1, 2 >, < 2, 4 >, < 3, 3 >}, Q = {< 1, 3 >, < 2, 4 >, < 4, 2 >} 找出P?Q, P?Q, dom(P), dom(Q), ran(P)及ran(Q),并证明: dom(P ? Q) = dom(P) ? dom(Q) ran(P? Q) ? ran(P) ? ran(Q) 解P ? Q ={< 1, 2 >, < 2, 4 >, < 3, 3 >, < 1, 3 >, < 4, 2 >},P ? Q ={< 2, 4 >} dom(P)={1, 2, 3},dom(Q)= {1, 2, 4},ran(P) = {2, 3, 4},ran(Q) = {2, 3, 4}。 x∈ dom(P?Q) ??y (< x, y > ∈ P ? Q) ??y (< x, y > ∈ P∨ < x, y > ∈ Q) ??y (< x, y > ∈ P) ∨?y (< x, y > ∈ Q) ? x∈ dom(P) ∨ x∈ dom(Q) ? x∈ dom(P) ? dom(Q) y∈ ran(P? Q) ??x (< x, y > ∈ P?Q) ??x (< x, y > ∈ P ∧ < x, y > ∈ Q) ??x (< x, y > ∈ P) ∧?x (< x, y > ∈ Q) ?y∈ ran(P) ∧ y∈ ran(Q) ?y∈ ran(P) ? ran(Q) 如上例,ran(P? Q) = {4} ? {2, 3, 4} = ran(P) ? ran(Q) 3. 若关系R和S自反的,对称的和传递的,证明:R?S也是自反的,对称的和传递的。证明设R和S是集合A上的关系。 因为R和S是自反的,所以,对于A中的任意元素x,有< x, x >∈R和 < x, x >∈S。因此< x, x >∈R?S,即R?S是自反的。 因为R和S是对称的,所以对于任意< x, y >, < x, y >∈R?S ? < x, y >∈R∧ < x, y >∈S ? < y, x >∈R∧ < y, x >∈S ? < y, x >∈R?S 因此,R?S是对称的。 因为R和S是传递的,所以对于任意< x, y >和< y, z >, < x, y >∈R?S∧ < y, z >∈R?S ? < x, y >∈R∧ < x, y >∈S ∧ < y, z >∈R∧ < y, z >∈S ? (< x, y >∈R∧ < y, z >∈R) ∧ ( < x, y >∈S∧< y, z >∈S) ? < x, z >∈R∧ < x, z >∈S ? < x, z >∈R?S 因此,R?S是传递的。 5.设A = {1, 2, 3},A上的关系R1, R2, R3, R4, R5分别由图6.17给出,试 问:R1, R2, R3, R4, R5各有哪些性质?

离散数学课后习题答案_(左孝凌版)

1-1,1-2 (1)解: a)是命题,真值为T。 b)不是命题。 c)是命题,真值要根据具体情况确定。 d)不是命题。 e)是命题,真值为T。 f)是命题,真值为T。 g)是命题,真值为F。 h)不是命题。 i)不是命题。 (2)解: 原子命题:我爱北京天安门。 复合命题:如果不是练健美操,我就出外旅游拉。 (3)解:、- a)(┓P ∧R)→Q b)Q→R c)┓P d)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∧Q b)设P:小李看书。Q:小李听音乐。P∧Q c)设P:气候很好。Q:气候很热。P∨Q d)设P: a和b是偶数。Q:a+b是偶数。P→Q e)设P:四边形ABCD是平行四边形。Q :四边形ABCD的对边平行。P?Q f)设P:语法错误。Q:程序错误。R:停机。(P∨ Q)→ R (6) 解: a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。 P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 (1)解: a)不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式) b)是合式公式 c)不是合式公式( d)) e)不是合式公式(R和S之间缺少联结词) f)是合式公式。 (2)解: a)A是合式公式,(A∨B)是合式公式,(A→(A∨B))是合式公式。这个过程可以简记为:A;(A∨B);(A→(A∨B)) 同理可记 b)A;┓A ;(┓A∧B) ;((┓A∧B)∧A) c)A;┓A ;B;(┓A→B) ;(B→A) ;((┓A→B)→(B→A)) d)A;B;(A→B) ;(B→A) ;((A→B)∨(B→A)) (3)解: a)((((A→C)→((B∧C)→A))→((B∧C)→A))→(A→C)) b)((B→A)∨(A→B))。 (4)解: a) 是由c) 式进行代换得到,在c) 中用Q代换P, (P→P)代换Q. d) 是由a) 式进行代换得到,在a) 中用P→(Q→P)代换Q. e) 是由b) 式进行代换得到,用R代换P, S代换Q, Q代换R, P代换S.

相关文档
相关文档 最新文档