标签: 逻辑与证明

2026年4月20日

• 离散数学
• 逻辑与证明
• 可满足性
• SAT问题
• 功能完备性
• NP完全性

2026年4月20日

• 离散数学
• 逻辑与证明
• 命题逻辑
• 逻辑联结词
• 真值表
• 条件语句

2026年4月20日

• 离散数学
• 逻辑与证明
• 嵌套量词
• 量词顺序
• 前束范式

2026年4月20日

• 离散数学
• 逻辑与证明
• 推理规则
• 假言推理
• 归结原理
• 量词推理
• 谬误

2026年4月20日

• 离散数学
• 逻辑与证明
• 直接证明
• 反证法
• 逆否证明法
• 分情况证明
• 存在性证明
• 唯一性证明

2026年4月20日

• 离散数学
• 逻辑与证明
• 谓词逻辑
• 量词
• 全称量词
• 存在量词
• 命题函数

2026年4月20日

• 离散数学
• 逻辑与证明
• 逻辑电路
• 逻辑门
• 组合电路
• 布尔代数

2026年4月20日

• 离散数学
• 逻辑与证明
• 逻辑等价
• 重言式
• 德摩根定律
• 可满足性

2026年4月20日

• 离散数学
• 逻辑与证明
• 章节汇总
• 学习/离散数学/逻辑与证明