Chap3 命题逻辑的推理理论 1.核心知识点 1.推理：由前提推出结论 2.推理正确 当且仅当 对应的蕴含式为重言式 3.推理定律（重言蕴含式）： 构造性二难推理：(A→B)∧(C→D)∧(A∨C)⇒(B∨D)         (A→B)∧(┐A→B)⇒B (特殊形式) 破坏性二难推理：(A → B)∧(C→D)∧(┐B∨┐D)⇒ (┐A ∨┐C) 4.构造证明方法:直接构造法，附加前提证明法（结论为蕴含式），归谬法（结论的否定式作为附加前提） 2.一般知识点 1.判断蕴含式是否为重言式的三种方法：真值表法、等值演算法、主析取范式法 2.自然推理系统P 3.消解证明法：根据归谬法思想，采用...

Chap1 命题逻辑的基本概念 核心概念 1.命题：真值唯一的陈述句 2.命题分类：简单命题（原子命题，不可再分）和复合命题 3.赋值（解释）：给所有命题变项各指定一个真值 4.合式公式（简称公式），类型：重言式（永真式）、矛盾式（永假式）、可满足式（至少存在一个成真赋值） 其他 否定式+否定联结词、合取式+合取联结词、析取式+析取联结词、蕴含式+蕴含式的前件和后件+蕴含联 结词、等价式+等价联结词；（注意蕴含式以及等价式的取值） k层公式（10页）；成真赋值+成假赋值；真值表； 参考书籍：离散数学（第2版）--屈婉婷、耿素云、张立昂

广度优先搜索算法（Breadth-First Search，BFS）， 广度优先搜索算法，又称为宽度优先搜索，是一种图形搜索算法。简单的说，BFS 是从根结点开始，沿着树的宽度遍历树的结点。如果所有结点均被访问，则算法中止。该算法常用于树和图的问题中。 让我们先来看第一道经典的题目—— 102. 二叉树的层序遍历 对于树有关的问题，所谓广度优先搜索非常直观，如右下图 那么层序遍历就是从树的根节点出发，从上至下，从左至右输出结点。通常在与树有关的问题中，我们可以利用队列来实现BFS。具体实现就是先把根节点放入队列，然后在while循环中访问队头结点，不断将队头结点的左右子节点入队。这样，我们就...