第一章 逻辑与证明(2)

- 离散数学   2 证明 - 介绍一些证明的一般方法用逻辑来分析正确和不正确的论证 - 1.5 推理规则 - 从一系列