FDM-W.02-L.03 命题逻辑公式的范式和主范式.pdf

计算机科学MOOC课程群 计算机科学MOOC课程群 离散数学基础 离散数学基础 本单元内容比较多，视频分割成三个部分：范式的概念、主范式及其应 本单元内容比较多，视频分割成三个部分：范式的概念、主范式及其应 用和主范式的编码 用和主范式的编码   PART 1  范式的概念 • 范式的一些基本定义  − 文字：原子命题及其否定式统称为文字（形）。  » 例：对变量表 {p, q} ，p, ¬p, q, ¬q 都是文字。  » 例：把  F 称为空文字，记作  NIL。  − 基本积：由有限个文字的合取构成。(简单合取式)  » 例：对变量表 {p, q, r}，基本积有  p, ¬p, q∧¬p, ¬q∧¬p∧r 等等。  − 基本和：由有限个文字的析取构成。  (简单析取式)   » 例：对变量表 {p, q, r}，基本和有  p, ¬p, q∨¬p, ¬q∨¬p∨r 等等。  • 定理6  − 一个基本和是永真的当且仅当其中含有某个原子的互补对；  » 由排中律和零律：α∨p∨¬p ⇔ α∨1 ⇔ 1  − 一个基本积是矛盾的当且仅当其中含有某个原子的互补对。  » 由矛盾律和零律： α∧p∧¬p ⇔ α∧0 ⇔ 0  • 定义：析取范式  − 一个命题公式称为是一个析取范式当且仅当其具有形式 A ∨A ∨ …∨A 1 2 n   (1≤n∞)，其中 Ai  是基本积  (1≤i≤n)。  − 例1 ：¬p ∨ (q∧¬r) ∨ s ，  (n=3)  − 例2 ：¬p ，      (n=1)  − 例3 ：¬p ∧ q ∧ ¬r ，    (n=1)  − 例4 ：¬p ∨ q ∨ ¬r ，    (n=3)  • 定义：合取范式  − 一个命题公式称为是一个合取范式当且仅当其具有形式 A ∧A ∧…∧A 1 2 n   (1≤n∞)，其中 Ai  是基本和  (1≤i≤n)。  − 例1 ：(¬p∨q∨s)∧(¬p∨¬r∨s) ，  (n=2)  − 例2 ：¬p ，      (n=1)  − 例3 ：¬p ∧ q ∧ ¬r ，    (n=3)  − 例4 ：¬p ∨ q ∨ ¬r ，    (n=1)  • 定理7  (1) 一个合取范式是永真的当且仅当其中含有的基本和都是永真的；  (2) 一个析取范式是矛盾的当且仅当其中含有的基本积都是矛盾的。  − 证明：留作思考。  • 定理8 （范式存在基本定理）  − 任一命题公式都有与之等值的析取范式和合取范式。  − 构造性证明  − 以求合取范式为例，重复施行如下的等值变形：  ①联结词化归：应用联结词消去等值式，消去→ 和 ↔  ；  ②否定词深入：应用德‐摩根律，使否定词直接作用于原子命题变量；  ③重复利用 ∧ 和 ∨  之间的分配律求得析取范式或合取范式。  − 例：   (p∧(q→r))→s         ⇔ ¬(p∧(¬q∨r))∨s            联结词化归         ⇔ ¬p∨¬(¬q∨r)∨s            德‐摩根律         ⇔ ¬p∨(q∧¬r)∨s             德‐摩根律         ⇔ (¬p∨q∨s)∧(¬p∨¬r∨s)           分配律         ⇔ (¬p∨q∨s)∧(¬p∨¬r∨s)∧(¬p∨¬r∨s)     幂等律  • 讨论：一个命题公式的合取（析取）范式不是唯一的。  PART 2  主范式及其应用 • 定义：极小项  − 设命题公式 A(