CS Wiki
Search
搜索
暗色模式
亮色模式
探索
标签: 推论规则
此标签下有8条笔记。
2026年4月20日
10.5 有效性证明
逻辑学
谓词逻辑
量化理论
自然演绎
推论规则
全称实例化
存在泛化
全称泛化
存在实例化
学习/逻辑学/谓词逻辑
2026年4月19日
推论规则
逻辑学
命题逻辑Ⅱ
推论规则
基本论证规则
替换规则
2026年4月19日
自然演绎
逻辑学
命题逻辑Ⅱ
自然演绎
形式证明
推论规则
2026年4月19日
9.1 有效性的形式证明
逻辑学
命题逻辑Ⅱ
形式证明
自然演绎
推论规则
学习/逻辑学/命题逻辑
2026年4月19日
9.2 基本的有效论证形式
逻辑学
命题逻辑Ⅱ
推论规则
有效论证形式
肯定前件式
否定后件式
假言三段论
构造式二难
学习/逻辑学/命题逻辑
2026年4月19日
9.4 有效性形式证明的构造
逻辑学
命题逻辑Ⅱ
证明构造
证明策略
推论规则
学习/逻辑学/命题逻辑
2026年4月19日
9.6 扩展推论规则:替换规则
逻辑学
命题逻辑Ⅱ
替换规则
逻辑等价
推论规则
学习/逻辑学/命题逻辑
2026年4月19日
9.8 运用19个推论规则构建形式证明
逻辑学
命题逻辑Ⅱ
形式证明
推论规则
证明策略
学习/逻辑学/命题逻辑