CONCEPT OUTLINE / proof-strategies

证明方法

组织直接证明、反证法、逆否证明和构造证明,明确假设与结论之间的推理链。

75 分钟正文计划中难度 2/5

章节大纲

  1. 01

    证明方法要解决的核心问题与适用边界

  2. 02

    证明方法的基本对象、符号和严格定义

  3. 03

    从「命题逻辑与量词」推导「证明方法」所需的关键步骤

  4. 04

    证明方法的典型计算、反例与常见误区

知识关系