CS Wiki
Search
搜索
暗色模式
亮色模式
探索
标签: 逻辑等价
此标签下有4条笔记。
2026年4月20日
逻辑等价
离散数学
逻辑与证明
逻辑等价
重言式
德摩根定律
可满足性
2026年4月20日
1.3 命题等价
离散数学
命题等价
逻辑等价
德摩根定律
重言式
可满足性
SAT问题
学习/离散数学/逻辑与证明
2026年4月19日
8.10 逻辑等价
逻辑学
命题逻辑Ⅰ
逻辑等价
实质等值
De-Morgan定律
双重否定律
实质蕴涵
双条件陈述
学习/逻辑学/命题逻辑
2026年4月19日
9.6 扩展推论规则:替换规则
逻辑学
命题逻辑Ⅱ
替换规则
逻辑等价
推论规则
学习/逻辑学/命题逻辑