文件夹: 离散数学/notes/第01章_逻辑与证明基础

2026年4月20日

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

2026年4月20日

• 离散数学
• 命题逻辑
• 逻辑翻译
• 系统规约
• 布尔搜索
• 逻辑谜题
• 逻辑电路
• 学习/离散数学/逻辑与证明

2026年4月20日

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

2026年4月20日

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

2026年4月20日

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

2026年4月20日

• 离散数学
• 命题逻辑
• 推理规则
• 量词推理
• 谬误
• 学习/离散数学/逻辑与证明

2026年4月20日

• 离散数学
• 证明方法
• 直接证明
• 反证法
• 逆否证明法
• 反例
• 学习/离散数学/逻辑与证明

2026年4月20日

• 离散数学
• 证明策略
• 分情况证明
• 存在性证明
• 唯一性证明
• 反例
• 学习/离散数学/逻辑与证明

2026年4月20日

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