CS Wiki
Search
搜索
暗色模式
亮色模式
探索
标签: 命题逻辑Ⅱ
此标签下有20条笔记。
2026年4月19日
形式证明-vs-真值表
逻辑学
命题逻辑Ⅱ
对比
形式证明
真值表
2026年4月19日
条件证明-vs-间接证明
逻辑学
命题逻辑Ⅱ
对比
条件证明
间接证明
2026年4月19日
不相容性
逻辑学
命题逻辑Ⅱ
不相容性
爆炸原理
矛盾
2026年4月19日
推论规则
逻辑学
命题逻辑Ⅱ
推论规则
基本论证规则
替换规则
2026年4月19日
条件证明
逻辑学
命题逻辑Ⅱ
条件证明
CP规则
形式证明
2026年4月19日
自然演绎
逻辑学
命题逻辑Ⅱ
自然演绎
形式证明
推论规则
2026年4月19日
间接证明
逻辑学
命题逻辑Ⅱ
间接证明
归谬法
RAA
IP
2026年4月19日
9.1 有效性的形式证明
逻辑学
命题逻辑Ⅱ
形式证明
自然演绎
推论规则
学习/逻辑学/命题逻辑
2026年4月19日
9.10 不相容性
逻辑学
命题逻辑Ⅱ
不相容性
矛盾
爆炸原理
学习/逻辑学/命题逻辑
2026年4月19日
9.11 条件证明
逻辑学
命题逻辑Ⅱ
条件证明
CP规则
假设
学习/逻辑学/命题逻辑
2026年4月19日
9.12 间接证明
逻辑学
命题逻辑Ⅱ
间接证明
归谬法
IP规则
学习/逻辑学/命题逻辑
2026年4月19日
9.13 可靠性论证与笃证性论证的辨别
逻辑学
命题逻辑Ⅱ
可靠性
笃证性论证
有效性
学习/逻辑学/命题逻辑
2026年4月19日
9.2 基本的有效论证形式
逻辑学
命题逻辑Ⅱ
推论规则
有效论证形式
肯定前件式
否定后件式
假言三段论
构造式二难
学习/逻辑学/命题逻辑
2026年4月19日
9.3 有效性形式证明示例
逻辑学
命题逻辑Ⅱ
形式证明
证明示例
推论规则应用
学习/逻辑学/命题逻辑
2026年4月19日
9.4 有效性形式证明的构造
逻辑学
命题逻辑Ⅱ
证明构造
证明策略
推论规则
学习/逻辑学/命题逻辑
2026年4月19日
9.5 构造更复杂的形式证明
逻辑学
命题逻辑Ⅱ
复杂证明
多步证明
证明策略
学习/逻辑学/命题逻辑
2026年4月19日
9.6 扩展推论规则：替换规则
逻辑学
命题逻辑Ⅱ
替换规则
逻辑等价
推论规则
学习/逻辑学/命题逻辑
2026年4月19日
9.7 自然演绎系统
逻辑学
命题逻辑Ⅱ
自然演绎系统
完备性
可靠性
能行性
学习/逻辑学/命题逻辑
2026年4月19日
9.8 运用19个推论规则构建形式证明
逻辑学
命题逻辑Ⅱ
形式证明
推论规则
证明策略
学习/逻辑学/命题逻辑
2026年4月19日
9.9 简化的真值表方法
逻辑学
命题逻辑Ⅱ
简化真值表
归谬法
STTT
判定方法
学习/逻辑学/命题逻辑