CS Wiki
Search
搜索
暗色模式
亮色模式
探索
标签: 证明策略
此标签下有4条笔记。
2026年4月20日
1.8 证明方法与策略
离散数学
证明策略
分情况证明
存在性证明
唯一性证明
反例
学习/离散数学/逻辑与证明
2026年4月19日
9.4 有效性形式证明的构造
逻辑学
命题逻辑Ⅱ
证明构造
证明策略
推论规则
学习/逻辑学/命题逻辑
2026年4月19日
9.5 构造更复杂的形式证明
逻辑学
命题逻辑Ⅱ
复杂证明
多步证明
证明策略
学习/逻辑学/命题逻辑
2026年4月19日
9.8 运用19个推论规则构建形式证明
逻辑学
命题逻辑Ⅱ
形式证明
推论规则
证明策略
学习/逻辑学/命题逻辑