简单数理辑及其应用.pptVIP

简单数理逻辑及其应用 清华大学 计算机科学与技术系 李恺威 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=(