南邮离散数学第1章 命题逻辑.pptVIP

(10)( M Q) (Q M) T(9)E (11) M Q T(10)I (12)Q T(7)(11)I 所有推理方法不唯一，使用的等价或蕴含式也不一定相同，但是越简洁越好。 1-8　推理理论 * 由推理规则引出苏格拉底的例子！ * ????? n个命题变元，由变元和它的否定构成的一个合取式，要求每个变元和其否定不能同时出现，且两者之一必须出现且仅出现一次，这样的合取式称为小项或布尔合取。 两个命题变元 P，Q 有 三个命题变元P、Q、R 8个小项 1-7　对偶与范式 小项/布尔合取： 可以看出（1）各个小项不等价。 （2）每个小项只有一组指派，使它为T，其他均为 F。且可由这组指派写出小项。 对三个变元的小项同样有上述性质 表1—7.2 1 T,0 F n个变元有 个小项。 对于两个命题元，列真值表看看，每个小项有何特点？ 1-7　对偶与范式 1－命题变元，0—命题否定 任给一个编号可写出对应小项： 对小项，我们可以用二进制进行编码： 1-7　对偶与范式 小项有如下性质： (1)每个小项当指派与下标编码相同时，其值为T，其余2n—1种指派为F。 (2)任意两个不同小项的合取式为F。 (3)全体小项的析取式为永真。 主析取范式: 公式A，存在等价式，仅由小项的析取式构成，则该等价式称为A的主析取范式。 如 是主析取范式。 1-7　对偶与范式 如何将公式A化为主析取范式？ 1．用真值表法． 有如下依据定理 定理 在真值表中，一个公式的真值为T的指派所对应的小项的析取，即为此公式的主析取范式。 如：求 的主析取范式。 1-7　对偶与范式 ( ) ( ) 主析取范式只要有一个为T，则其值 为T。因而列出所有值为T的可能就行了。 的主析取范式为： 主析取范式为： 的 1-7　对偶与范式 证：A，其值为T的指派所对应的小项为， 为此要证 1).若某一指派使得A为T，则这一指派必是 中某一个。例如： 这时 ， ， ） 2). 若某一指派使得A为F，则这一指派对应的小项不在 中，这时 从而 （ ） 1-7　对偶与范式 例：设公式A真值表如下，求A的主析取范式。 P Q R A T T T T T T F F T F T F T F F T F T T F F T F F F F T F F F F T 1-7　对偶与范式 1-7　对偶与范式 ? (P∧Q∧(R∨﹁R))∨(﹁P∧R∧(Q∨﹁Q))∨(Q∧R∧(P∨﹁P)) (P∧Q∧R)∨(P∧Q∧﹁R)∨(﹁P∧R∧Q)∨(﹁P∧R∧﹁Q) (P∧Q∧R)∨(P∧Q∧﹁R)∨(﹁P∧Q∧R)∨(﹁P∧﹁Q∧R) 2.利用等价式求主析取范式 例：（P∧Q）∨(﹁P∧R)∨(Q∧R) 化归方法步骤： 1.? 化为析取范式。 2.?? 删去析取范式中永假的析取项。 3. 将析取式中重复的合取项和相同的变元合并。 1-7　对偶与范式 ??????4. 对合取项补入没有出现的变元，即添加 P∨﹁P等。 5. 用分配律展开。 我们学习了析取范式，形式为：（ ）∨( )∨…∨( ),合取范式，形式为：（ ）∧（ ）∧（ ）∧…∧（ ），引入了小项（它是变元或变元的否定式组成的合取式，但两者必须出现且仅出现一个)由小项的析取我们可以得到主析取范式；这样对于任一公式，我们都可求出