PART I · 基础
02 · 逻辑
把自然语言压成可检验的命题结构：合取、析取、否定、条件、双条件、真值表、等价、量词、翻译、否定与推理规则。
46-76完整原书
BEFORE READING
学习导读
先用这页确定本章任务，再进入未改动的英文原书。导读只负责给你问题和抓手，不替代作者的定义、例题、证明与练习。
本章目标
- 判断一句话是否构成命题
- 用真值表检验等价
- 正确否定带量词的句子
带着这些问题读
- 条件命题何时为假？
- 全称量词与存在量词如何在否定中互换？
- 有效推理与看似合理的推理差在哪里？
做完一节以后
合上页面，用自己的话重写一个定义、一个证明骨架和一个仍不确定的问题。
命题条件真值表逻辑等价量词推理
SOURCE READER · EDITION 3.4
完整原书阅读器
页码采用 PDF 的实际页码。章内搜索读取英文文字层；公式与图形始终以原书渲染页为准。
PDF 阅读器加载失败。
原书文件保持完整，阅读器不会改写或省略任何一页。