命题逻辑公式的范式和主范式.pdfVIP

计算机科学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  − 一个基本积是矛盾的当且仅当其