陶哲轩实分析 附录 A 习题解答
来源:互联网 发布:opengl编程指南 第9版 编辑:程序博客网 时间:2024/06/07 13:14
陶哲轩实分析 附录 A.1 习题解答
A.1.1
X Y 同为真或 X Y 同为假。
A.1.2
(X 为真且 Y 为假) 或 (X 为假且 Y 为真)
A.1.3
是逻辑等价的。因为逻辑等价需满足两个条件:
1. X 为真 -> Y 为真
2. Y 为真 -> X 为真
现在第一个条件已经满足,只需证明第二个条件也是满足的。反证法,假设第二个条件不满足。
Y 为真时 X 为假。由题目条件可知。X 为假 -> Y 为假。 与 Y 为真的假设矛盾。所以第二个条件也满足。
A.1.4
否,因为当 X 为假时,Y 可为真
A.1.5
是。证明 XYZ 逻辑等价只需证明 XZ 逻辑等价。
X->Y, Y->Z 所以 X->Z
Z->Y, Y->X 所以 Z->X
所以 X <–> Z
A.1.6
是的。以证 XY 逻辑等价为例。
Y->Z, Z->X 所以 Y->X
又已知 X->Y
所以 X <–> Y
陶哲轩实分析 附录 A.5 习题解答
A.5.1
(a) 假命题
(b) 假命题
(c) 真命题
(d) 真命题
(e) 假命题
陶哲轩实分析 附录 A.7 习题解答
A.7.1
已知
设
那么由于
所以
也就是
设
那么
所以
所以
1 0
- 陶哲轩实分析 附录 A 习题解答
- 学习OpenCV 3.1.a 习题解答
- 《算法设计与分析》习题解答笔记
- 附录A
- 附录A
- 习题解答
- 习题解答
- 数据结构和算法分析习题解答之二——第1章习题解答
- 【利用python进行数据分析】附录A Python 学习
- 算法设计与分析习题2的部分解答
- 数据结构和算法分析习题解答之一——引言
- 算法设计与分析复习(一):习题解答
- 数据结构与算法分析(C)习题1.4解答.
- 附录A 9. 矩阵
- 附录A expr命令
- 附录A 建构环境
- 附录 A. 常见问题乱弹
- Launcher简要分析:附录
- 刚开博客,水的开始!
- Android自定义dialog
- const用法
- 文章标题
- php字符串操作
- 陶哲轩实分析 附录 A 习题解答
- leetcode67:Add Binary
- MyEclipse中开发web项目遇到的一些问题
- LeetCode-58.Length of Last Word
- 关于回调函数的一些理解
- Maven在IntelliJ IDEA中的学习笔记(2)-----配置maven私服
- POJ 3041 Asteroids(最小点覆盖)
- MFC tab控件使用
- WebSocket不同版本的三种握手方式以及一个Netty实现JAVA类