文档介绍:命题逻辑等值演算
等值式与等值演算
等值式与基本等值式
真值表法与等值演算法
联结词完备集
真值函数
联结词完备集
与非联结词和或非联结词
*
析取范式和合取范式
*
等值式
*
若等价式AB是重言式, 则称A与B等值, 记作
AB, 并称AB是等值式
说明: (1) 是元语言符号, 不要混同于和=
(2) A与B等值当且仅当A与B在所有可能赋值下的真值都相
同, 即A与B有相同的真值表
(3) n个命题变项的真值表共有 个, 故每个命题公式都有
无穷多个等值的命题公式
(4) 可能有哑元出现. 在B中出现, 但不在A中出现的命题变项称作A的哑元. 同样,在A中出现, 但不在B中出现的命题变项称作B的哑元. 哑元的值不影响命题公式的真值.
析取范式和合取范式
*
真值表法
例1 判断 (pq) 与 pq 是否等值
解
*
结论: (pq) (pq)
p q p q pq (pq) pq (pq)(pq)
0 0 1 1 0 1 1 1
0 1 1 0 1 0 0 1
1 0 0 1 1 0 0 1
1 1 0 0 1 0 0 1
析取范式和合取范式
*
真值表法(续)
例2 判断下述3个公式之间的等值关系:
p(qr), (pq)r, (pq)r
解
*
p q r p(qr) (pq)r (pq)r
0 0 0 1 0 1
0 0 1 1 1 1
0 1 0 1 0 1
0 1 1 1 1 1
1 0 0 1 1 1
1 0 1 1 1 1
1 1 0 0 0 0
1 1 1 1 1 1
p(qr)与(pq)r等值, 但与(pq)r不等值
析取范式和合取范式
*
基本等值式
双重否定律 AA
幂等律 AAA, AAA
交换律 ABBA, ABBA
结合律 (AB)CA(BC)
(AB)CA(BC)
分配律 A(BC)(AB)(AC)
A(BC) (AB)(AC)
德摩根律 (AB)AB
(AB)AB
吸收律 A(AB)A, A(AB)A
*
析取范式和合取范式
*
基本等值式(续)
零律 A11, A00
同一律 A0A, A1A
排中律