Chap2 命题逻辑 ¶

与非 \(\uparrow\)

或非 \(\downarrow\)

范式（normal form）¶

优先级 \((),\neg,\wedge,\vee,\rightarrow,\leftrightarrow\) 全析取范式 full disjunctive normal form 极小项 简单合取式 极大项 命题变元或其否定均恰出现一次的简单析取式 主析取范式 简单合取式均为极小项 主合取范式 简单析取式均为极大项

推理 ¶

• 构造证明法 重要的推理定律 结论转化为前提条件，如附加前提法和归谬法 归结规则
• 归结证明法 基本规则

重言蕴含式 ¶

附加律 化简律 假言推理 拒取式 析取三段论 假言三段论 构造性二难(及特殊形式) 破坏性二难 等价三段论

评论区