簡单数理逻辑及其应用.pptxVIP

简单数理逻辑及其应用 清华大学 计算机科学与技术系 李恺威 chnlkw@ 概述 数理逻辑 命题 联结词 合式公式 等值公式、定理 范式 SAT问题 2-SAT DPLL算法 SMT问题 分类 应用 命题 命题变项 简单命题和复合命题 P:雪是白的且“1+1=2” 可分割为 R:雪是白的 S:1+1=2 命题联结词 非? 与∧ 合取 或∨ 析取 p ? p 0 1 1 0 p q p∧q p∨q 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 1 推断? 因果关系 等价? P Q P?Q P? Q F F T T F T T F T F F F T T T T 合式公式Well-formed formula 命题变项和连接词的组合 定义 简单命题是合式公式 如果A是合式公式，那么?A也是合式公式 如果A, B是合式公式，那么(A ∧ B), (A ∨ B), (A ? B)和(A ? B)是合式公式 当且仅当经过有限次地使用1,2,3所组成的符号串才是合式公式 合式公式 合式公式简称公式 例子 p∧（p?q）?q If A then B else C 能用合式公式表示吗？ 合式公式分类 永真式：在任何解释I下都为真(T) 可满足式：在某个解释I0下为真(T) 矛盾式：在任何解释I下都为假(F) 例 P ∨ ?P I0=(T) I1=(F) P ∧ ?Q I0=(T, F) P ∨ ?P 矛盾 三种公式关系 A永真，当且仅当?A永假 A可满足，当且仅当?A非永真 A不可满足，当且仅当A永假 等值公式 两个公式A和B， P1,…,Pn是所有A和B中的命题变项 A和B有2n个不同的解释 在任何解释下，A和B的真值都相等 称A和B等值，记A=B 等值定理 对公式A和B，A=B的充分必要条件是A?B是永真式 不要将“=”视作连结词 A=B表示公式A与B的一种关系 自反性：A=A 对称性：若A=B，则B=A 传递性：若A=B，B=C，则A=C 等值公式 双重否定律 ?? P = P 结合律 (P ∨ Q) ∨ R = P ∨ (Q ∨ R) (P ∧ Q) ∧ R = P ∧ (Q ∧ R) (P ? Q) ? R = P ? (Q ? R) 交换律 P ∨ Q = Q ∨ P P ∧ Q = Q ∧ P P ? Q = Q ? P 4.分配律 P ∨ (Q ∧ R) = (P ∨ Q) ∧ (P ∨ R) P ∧ (Q ∨ R) = (P ∧ Q) ∨ (P ∧ R) P → (Q → R) = (P → Q) → (P → R) 5. 等幂律 P ∨ P = P P ∧ P = P P → P = T  P ? P = T 6.吸收律 P ∨ (P ∧ Q) = P P ∧ (P ∨ Q) = P 7.摩根（De Morgan）律： ? (P ∨ Q) = ?P ∧ ?Q ? (P ∧ Q) = ?P ∨ ?Q  命题公式与真值表 给出公式，列写真值表很容易 反过来呢？ 尝试写出A，B由P，Q表达的公式 P Q A B F F T T F T T T T F F F T T T F 从T列写 A=(?P∧?Q)∨(?P∧Q)∨(P∧Q) B=(?P∧?Q)∨(?P∧Q) P Q A B F F T T F T T T T F F F T T T F 从F列写 A=(?P∨Q) B=(?P∨Q)∧(?P∨?Q) P Q A B F F T T F T T T T F F F T T T F 范式 列写方法多样，是否有标准形式？ 定义： 文字：简单命题P及其否定式?P 合取式：一些文字的合取 析取式：一些文字的析取 析取范式：形如A1∨A2∨……∨An(其中Ai为合取式) 合取范式：形如A1∧A2∧……∧An(其中Ai为析取式) 范式 范式定理：任意命题公式都存在有与其等值的合取范式和析取范式 求范式 A?B = ?A∨B A ? B = (?A∨B)∧(A∨?B) = (A∧B)∨(?A∧?B) 小结 命题 联结词 合式公式 等值公式、定理 范式 SAT问题Boolean satisfiability problem 给出一个合式公式，判断其是否可满足 将合式公式化成合取范式 A1∧A2∧……∧An Ai=(Pi1∨Pi2∨…Pim) 求解办法？ 2-SAT 特殊情况 合取式的每一项Ai最多只有2个变量析取(m=2) (X0∨X2)∧(? X0∨X3) ∧(X1∨?X3) T