哲学2命题逻辑等值演算.pptVIP

Home;两公式什么时候代表了同一个命题呢？

抽象地看，它们的真假取值完全相同时即代表了相同的命题。

设公式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、基本等值式;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、对偶原理;4、等值演算与置换规则;关于等值演算的说明;等值演算的应用举例;例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;(3)(p→q)∧p→q

?(┐p∨q)∧p→q （蕴涵等值式）

?┐((┐p∨q)∧p)∨q （蕴涵等值式）

?(┐(┐p∨q)∨┐p)∨q （德摩根律）

?((p∧┐q)∨┐p)∨q （德摩根律）

?((p∨┐p)∧(┐q∨┐p))∨q （分配律）

?(1∧(┐q∨┐p))∨q （排中律）

?(┐q∨q)∨┐p （同一律）

?1∨┐p （排中律）

?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(1)由有限个简单合取式构成的析取式称为析取范式。

(2)由有限个简单析取式构成的合取式称为合取范式。

(3)析取范式与合取范式统称为范式。;定理2

(1)一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛盾式。

(2)一个合取范式是重言式当且仅当它的每个简单析取式都是重言式。

定理3

任一命题公式都存在着与之等值的析取范式与合取范式。;4、求给定公式范式的步骤;例题1求下面公式的析取范式与合取范式：

(p→q)?r;(2)求析取范式

(p→q)?r

?((p∧┐q)∨r)∧(┐p∨q∨┐r)

?(p∧┐q∧┐p)∨(p∧┐q∧q)∨(p∧┐q∧┐r) ∨(r∧┐p)∨(r∧q)∨(r∧┐r)

?(p∧┐q∧┐r)∨(┐p∧r)∨(q∧r);5、范式的规范化形式;表1p,q形成的极小项与极大项;表2p,q,r形成的极小项与极大项;定理4设mi与Mi是命题变项p1,p2,…,pn形成的极小项和极大项，则┐mi?Mi，┐Mi?mi;定理5的证明;(2)证明唯一性。

假设某一命题公式A存在两个与之等值的主析取范式B和C，

即A?B且A?C，则B?C。

由于B和C是不同的主析取范式，不妨设极小项mi只出现在B中而不出现在C中。

于是，角标i的二进制表示为B的成真赋值，而为C的成假赋值。这与B?C矛盾，因而B与C必相同。;6、求公式A的主析取范式的方法与步骤;方法一、等值演算法

(1)化归为合取范式。

(2)除去合取范式中所有永真的合取项。

(3)将合取式中重复出现的析取项和相同的变元合并。

(4)对析取项补入没有出现的命题变元，即添加如(p∧┐p)式，然后应用分配律展开公式。

方法二、真值表法

(1)写出A的真值表。

(2)找出A的成假赋值。

(3)求出每个成假赋值对应的极大项