【工学】04_命题逻辑等值演算_2.pptVIP

第二章 命题逻辑等值演算 上一节课的复习 用等值演算证明等值式的基本思路 （1）可以从左边开始演算，也可以从右边开始演算； （2）16组（ 24个）重要的等值式； （3）置换规则； （4）“选择性靠近”。 上一节课的复习（续，练习） 默写下列重要的等值式模式: 1 分配律 2 德摩根律 3 吸收律 4 蕴涵等值式 5 假言易位 6 归谬论 用等值演算证明下列等值式 ┐p∨q ∧ p→r p→ q∧r ? 2.2. 析取范式与合取范式 什么是范式 公式在等值意义下的一种标准形式. 范式的种类 析取范式； 合取范式. 简单析 合 取式 定义2.2 命题变项及其否定统称作文字。仅有有限个文字构成的析取式称作简单析取式。仅有有限个文字构成的合取式称作简单合取式。 例如 p,┐q等为1个文字构成简单析取式; p∨┐p，┐p∨q等为2个文字构成的简单析取式; ┐p∨┐q∨r,p∨┐q∨r等为3个文字构成的简单析取式。 简单析 合 取式（续） 一个文字既是简单析取式，又是简单合取式。 为方便起见，有时用A1,A2,…,As表示s个简单析取式或s个简单合取式。 例. 判断以下公式是否为简单析（合）取式 1 ┐p 简单析取式，简单合取式 2 ┐ ┐p 不是 3 p ∧ ┐q 简单合取式 4 ┐ p ∧ ┐q 不是 简单析 合 取式的性质 定理2.1 重言式 矛盾式 情形 （1）一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定式。 （2）一个简单合取式是矛盾式当且仅当它同时含有某个命题变项及它的否定式。 简单析 合 取式的性质（续） 证明（1） 设A为一个简单析取式, 且A中包括命题变项p及其否定式┐p. 由交换律和结合律知: 可假设A中含有p ∨┐p. 把A中除p ∨┐p之外的部分记为A’, 则: A A’ ∨ p ∨┐p 交换律和结合律 A’ ∨ 1 排中律 1 零律 析取范式和合取范式 定义2.3 （1）由有限个简单合取式构成的析取式称为析取范式。 （2）由有限个简单析取式构成的合取式称为合取范式。 （3）析取范式与合取范式统称为范式。 析取范式和合取范式（续） 设Ai i 1,2,…,s 为简单合取式，则A A1∨A2∨…∨As为析取范式。 例如 A1 p∧┐q，A2 ┐q∧┐r，A3 p， 则由A1,A2,A3构造的析取范式为A A1∨A2∨A3 p∧┐q ∨ ┐q∧┐r ∨p 析取范式和合取范式（续） 设Ai i 1,2,…,s 为简单析取式，则A A1∧A2∧…∧As为合取范式。 例如 A1 p ∨ ┐q，A2 ┐q ∨ ┐r，A3 p， 则由A1,A2,A3构造的合取范式为 A A1∧A2∧A3 p ∨ ┐q ∧ ┐q ∨ ┐r ∧ p 析取范式和合取范式（续） 简单析 合 取式既是合取范式也是析取范式. 例如: 形如┐p∧q∧r的公式既是一个简单合取式构成的析取范式，又是由三个简单析取式构成的合取范式。 类似地，形如p∨┐q∨r的公式既是含三个简单合取式的析取范式，又是含一个简单析取式的合取范式。 析 合 取范式的性质 定理2.2 （1）一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛盾式。 ?（2）一个合取范式是重言式当且仅当它的每个简单析取式都是重言式。 范式存在定理 定理2.3（范式存在定理） 任一命题公式都存在着与之等值的析取范式与合取范式。 范式存在定理（续） 证明“析取范式” 基本思路 1 析取范式的定义 2 有限个简单合取式构成的析取式 3 简单合取式的定义 4 仅有有限个文字 命题变项及其否定式 构成的合取式 5 ∨, ∧, ┐, 范式存在定理的证明 证明 首先，在范式中不出现联结词→与 ? 。 A→B ┐A∨B  A?B ┐A∨B ∧ A∨┐B （2.17） 因而在等值的条件下，