PART II · 如何证明条件命题
06 · 反证法
先假设目标命题为假，再把这个假设推到不可能处。章节区分一般命题与条件命题的反证，并展示多种方法如何组合。
149-158完整原书
BEFORE READING
学习导读
先用这页确定本章任务，再进入未改动的英文原书。导读只负责给你问题和抓手，不替代作者的定义、例题、证明与练习。
本章目标
- 正确否定待证命题
- 识别真正构成矛盾的句对
- 避免把反证写成循环论证
带着这些问题读
- 反设具体增加了什么信息？
- 矛盾来自定义、已知定理还是算术不可能？
- 直接法、逆否法与反证法能否组合？
做完一节以后
合上页面，用自己的话重写一个定义、一个证明骨架和一个仍不确定的问题。
反设矛盾条件命题方法组合
SOURCE READER · EDITION 3.4
完整原书阅读器
页码采用 PDF 的实际页码。章内搜索读取英文文字层；公式与图形始终以原书渲染页为准。
PDF 阅读器加载失败。
原书文件保持完整，阅读器不会改写或省略任何一页。