文章目录

• abstract
• 等值式
• 等值的判断

• 真值表法
• 等值演算法

• 任意置换命题

• 重言式和矛盾式的置换性质性质

• 等值模式
• 常用等值式模式

• 等值演算

• 等值演算置换规则
• 等值式模式的代入实例
• 等值演算示例

• 小结

abstract

• 命题公式等值演算@常用等值式模式

等值式

• 表示的是等价式命题:是一个重言式

• 若有相同的真值表,意味着在任意赋值下都有相同的真值,那么根据等价联结词的为真的定义,复合公式的真值总是真,从而是重言式
• 反之,若是重言式,根据等价联结词的定义,在任何赋值下都相等,所以有相同的真值表

• 定义:若两个命题构成的等价式为重言式,则是等值的,记为
• 符号和不同

• 前者是逻辑联结词,用来构成命题公式,构成的公式得真值取决于被联结得两个命题(或命题公式)是否有相同的真值决定的;
• 后者在逻辑等值演算中来描述等值关系,是一种命题间有相同真值的关系的记法,这里
• 表示的是等价式复合命题命题:是一个重言式
• 并且,这里的等价以及等值和自然语言中的等价是不同

• 等价联结词联结的复合命题的真值仅取决于被联结的两个命题是否有相同的真值而不要求它们有内在关联(可有可无)
• 而自然语言中的等价描述的是内在完全相同的意思

• 此外,等值号还要和一般等号区别

• 不等值号:

等值的判断

真值表法

• 由定义可知,我们可以构造公式的真值表是否全为1来判断是否等值

• 事实上,只要真值表最后一列中出现0,那么直接断定不等值
• 更加简化的方法是单独观察真值表中,的真值是否每一行都一样,存在不一样的,则说明不等值,否则等值

• 小结:

• 等值()的充要条件是真值表相同(是重言式)

等值演算法

• 参见下节铺垫和介绍

任意置换命题

• 设是一个命题公式,含有命题变项,又设是任意的命题公式,对每一个,把中的所有出现都替换为,所得到的新命题公式记为
• 这里不要求,和后续的置换规则中的等值置换有所不同

重言式和矛盾式的置换性质性质

• 根据重言式和矛盾式的定义,对于任意赋值,重言式真值总为1,矛盾式真值总为0;

• 对于同一组赋值,:

	重言式	矛盾式
A	A=B=1	A=B=0

• 若是重言式,则其任意置换命题也是重言式
• 若是矛盾式,则其任意置换命题也是矛盾式

• 例如是重言式,从而其置换命题也是重言式

等值模式

• 称关系是关于的等值式模式,等值模式两边的公式真值表相同
• 即,任意两个真值表相同的公式(是重言式),可以抽象为一个等值式模式
• 设公式是包含的公式,可以将替换为,替换前后的真值表相同

常用等值式模式

1. 双重否定律:
2. 幂等律:,
3. 交换律:,
4. 结合律:
5. 分配律:

1. (对的分配律)
2. (对的分配律)

6. 德摩根律:

• 
• 

7. 吸收律:

• 
• 

8. 零律:

• 
• 

9. 同一律:

• 
• 

10. 排中律:

• 

11. 矛盾律:

• 

12. 蕴含等值式

• 
• 分析

			Note
0	0	1
0	1	1
1	0	0
1	1	1	或

• 显然满足该真值表
• 而,不满足

1. 等价等值式:

• 

			Note
0	0	1	,或或
0	1	0	,
1	0	0
1	1	1	或或

1. 假言易位:

• 
• 即逆否命题是等值的

2. 等价否定等值式:

• 

3. 归谬论:

• 

等值演算

• 又一致得等值式(等值式模式)推演出另外一些等值式得过程称为等值演算
• 等值演算是布尔代数或逻辑代数的重要组成部分

等值演算置换规则

• 置换公式:若是含有公式的命题公式,是用置换中(的所有出现)后得到的命题公式

• 若,则 ;

• 这是显然的,因为对任意一组赋值,是等值的,从而对于命题公式是一样的

等值式模式的代入实例

• 将模式等值式两边以相同的方式替换字母(将模式等值式的两边的替换为公式,如果有一边确实相应字母则跳过),则代入后两侧分别得到一个新命题公式,两边仍然保持等值
• 向等值式模式代入具体公式得到的具体等值式称为等值式模式的代入实例
• 例如等值式模式

• 分别用代入,得代入实例 ,
• 分别用,代入,得到代入实例

等值演算示例

• 运用前面介绍的等值式模式和置换规则
• 

• 
• 
• 
• 

小结

• 验证两个命题公式是等值的,通常用等值演算法比真值表法更加方便
• 但是等值演算法却不能直接验证两个公式不等
• 可以用等值演算法化简,然后结合真值表法(或者举出使得两个公式不等的赋值实例)验证两个公式不等
• 例如 ,可以将它们都化简为仅含三种最基础的逻辑联结词再判断