CS Wiki
Search
搜索
暗色模式
亮色模式
探索
标签: 证明构造
此标签下有1条笔记。
2026年4月19日
9.4 有效性形式证明的构造
逻辑学
命题逻辑Ⅱ
证明构造
证明策略
推论规则
学习/逻辑学/命题逻辑