CS Wiki
Search
搜索
暗色模式
亮色模式
探索
标签: 归谬法
此标签下有3条笔记。
2026年4月19日
间接证明
逻辑学
命题逻辑Ⅱ
间接证明
归谬法
RAA
IP
2026年4月19日
9.12 间接证明
逻辑学
命题逻辑Ⅱ
间接证明
归谬法
IP规则
学习/逻辑学/命题逻辑
2026年4月19日
9.9 简化的真值表方法
逻辑学
命题逻辑Ⅱ
简化真值表
归谬法
STTT
判定方法
学习/逻辑学/命题逻辑