[哲学]2命题逻辑等值演算.ppt

§2.1 等值式 两公式什么时候代表了同一个命题呢？ 抽象地看，它们的真假取值完全相同时即代表了相同的命题。 设公式A,B共同含有n个命题变项，可能对A或B有哑元，若A与B有相同的真值表，则说明在2n个赋值的每个赋值下，A与B的真值都相同。于是等价式A?B应为重言式。 1、等值的定义及说明 例2.1 判断下面两个公式是否等值 ┐(p∨q) 与 ┐p∧┐q 例题2.2 判断下列各组公式是否等值(1)p→(q→r)与(p∧q)→r (2)(p→q)→r与(p∧q)→r 2、基本等值式 1.双重否定律 A ? ┐┐A 2.幂等律 A ? A∨A, A ? A∧A 3.交换律 A∨B ? B∨A， A∧B ? B∧A 4.结合律 (A∨B)∨C ? A∨(B∨C) (A∧B)∧C ? A∧(B∧C) 5.分配律???????? A∨(B∧C) ? (A∨B)∧(A∨C)  （∨对∧的分配律） A∧(B∨C) ? (A∧B)∨(A∧C) （∧对∨的分配律） 6.德·摩根律????? ┐(A∨B) ? ┐A∧┐B ┐(A∧B) ? ┐A∨┐B 7.吸收律??????? ?A∨(A∧B) ? A，A∧(A∨B) ? A 8.零律 ???? ? A∨1 ? 1,A∧0 ? 0 9.同一律??????? ? A∨0 ? A，A∧1 ? A 10.排中律?????? ? A∨┐A ? 1 11.矛盾律? ? A∧┐A ? 0 12.蕴涵等值式?? ? A→B ? ┐A∨B 13.等价等值式??? A?B ? (A→B)∧(B→A) 14.假言易位???? ? A→B ? ┐B→┐A 15.等价否定等值式????? ?A?B ? ┐A?┐B 16.归谬论?????? (A→B)∧(A→┐B) ? ┐A 3、对偶原理 一个逻辑等值式，如果只含有┐、∨、∧、0、1 那么同时 把∨和∧互换 把0和1互换 得到的还是等值式。 4、等值演算与置换规则 各等值式都是用元语言符号书写的，其中A,B,C可以代表任意的公式，称这样的等值式为等值式模式。 每个等值式模式都给出了无穷多个同类型的具体的等值式。例如，在蕴涵等值式 A→B?┐A∨B 中，取A=p，B=q时，得等值式 p→q?┐p∨q 取A=p∨q∨r，B=p∧q时，得等值式 (p∨q∨r)→(p∧q) ? ┐(p∨q∨r)∨(p∧q) 这些具体的等值式都被称为原来的等值式模式的代入实例。 由已知的等值式推演出另外一些等值式的过程为等值演算。 置换规则 设Φ(A)是含公式A的命题公式，Φ(B)是用公式B置换了Φ(A)中所有的A后得到的命题公式，若B?A，则Φ(B)?Φ(A)。 关于等值演算的说明 等值演算的基础 等值关系的性质：自反性：A?A。对称性：若A?B，则B?A。传递性：若A?B且B?C，则A?C。 基本的等值式 置换规则 等值演算的应用 证明两个公式等值 判断公式类型 解判定问题 等值演算的应用举例 证明两个公式等值(p→q)→r ? (p∨r)∧(┐q∨r) 例2.3 用等值演算法验证等值式 (p∨q)→r ? (p→r)∧(q→r) 例题2.4 用等值演算判断下列公式的类型： （1） (p→(p∨q))∧r （2）p∧(((p∨q)∧┐p)→q) （3）(p→q)∧p→q 1、简单析取式与简单合取式 定义1 命题变项及其否定统称作文字。仅由有限个文字构成的析取式称作简单析取式。仅由有限个文字构成的合取式称作简单合取式。 简单析取式举例：p,┐q p∨┐p，┐p∨q ┐p∨┐q∨r,p∨┐q∨r 简单合取式举例：┐p,q ┐p∧p，p∧┐q p∧q∧┐r,┐p∧p∧q 一个文字既是简单析取式，又是简单合取式。 为讨论方便，有时用A1,A2,…,As表示s个简单析取式或s个简单合取式。 定理1 (1)一个简单析取式是重言式当且仅当它同时含有某个命题变项及它的否定式。 (2)一个简单合取式是矛盾式当且仅当它同时含有某个命题变项及它的否定式。 2、析取范式与合取范式 定义2 (1)由有限个简单合取式构成的析取式称为析取范式。 (2)由有限个简单析取式构成的合取式称为合取范式。 (3)析取范式与合取范式统称为范式。 3、析取范式和合取范式的性质 定理2 (1)一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛盾式。 (2)一个合取范式是重言式当且仅当它的每个简单析取式都是重言式。 定理3 任一命题公式都存在着与之等值的析取范式与合取范式。 4、求给定公式范式的步骤 (1)消去联结词→、?(若存