第一章 命题逻辑 1.3等值演算

1.3 等值演算

定义：当且仅当A，B具有相同真值表时，A $\leftrightarrow$ B 为永真式。此时称A与B是等值的，记作 ： A $\iff$ B

注意：

1. “$\iff$” 与 “=”不同，“A=B”表示两个公式一样，“A $\iff$ B”表示两个公式真值一样。
2. “ $\leftrightarrow$ ” 与 “$\iff$” 是两个完全不同的符号， “ $\leftrightarrow$ ”是联结词 ，A $\leftrightarrow$ B是一个公式。 而 “A $\iff$ B” 并不是一个公式 ，“ $\leftrightarrow$ ”只是两个公式之间的关系符。

“ $\iff$ ”的性质：

1. 自反性：A$\iff$A
2. 对称性：若A$\iff$B ，则B$\iff$A
3. 传递性：若A$\iff$B ，B$\iff$C则A$\iff$C

等值演算中的定律：

例题：

练习：

1. 下面哪一组命题公式不是等值的？

• ¬（A $\to$ B）,A $\wedge$ ¬B
• ¬（A $\leftrightarrow$ B） , (A $\wedge$ ¬B ) $\vee$ （¬A $\wedge$ B ）
• A $\to$ （B $\vee$ C） , ¬A $\wedge$ (B $\vee$ C) ✔
• A $\to$ （B $\vee$ C） , (A $\wedge$ ¬B ) $\to$ C

2. p $\leftrightarrow$ ¬q $\iff$ （）

• ¬p $\to$ ( p $\to$ q ）
• （¬p $\vee$ q） $\wedge$ ( ¬ q $\vee$ p )
• (¬p $\wedge$ ¬q) $\wedge$ (¬q $\vee$ p )
• (¬p $\wedge$ ¬q) $\wedge$ (q $\vee$ p ) ✔

压轴题：

用等值演算法解决下面的问题：
A,B,C,D 4人比赛，观众甲，乙，丙猜他们的比赛名次为：
甲：C第一，B第二
乙：C第二，D第三
丙：A第二，D第四
比赛结束后他们三人各猜对了一半，求实际名次如何？（无并列者）
解： 设$A_i$：A第i ，$B_i$：B第i ，$C_i$：C第i

依题得：

① （$C_1$ $\wedge$ ¬$B_2$）$\vee$ （¬$C_1$ $\wedge$ $B_2$) $\iff$ 1
② （$C_2$ $\wedge$ ¬$D_3$）$\vee$ （¬$C_2$ $\wedge$ $D_3$) $\iff$ 1
③ （$A_2$ $\wedge$ ¬$D_4$）$\vee$ （¬$A_2$ $\wedge$ $D_4$) $\iff$ 1

$\because$ 1 $\wedge$ 2 $\iff$ 1

$\therefore$ [（$C_1$ $\wedge$ ¬$B_2$）$\vee$ （¬$C_1$ $\wedge$ $B_2$) ] $\bigwedge$ [（$C_2$ $\wedge$ ¬$D_3$）$\vee$ （¬$C_2$ $\wedge$ $D_3$) ] $\iff$ 1

$\therefore$ [（$C_1$ $\wedge$ ¬$B_2$） $\wedge$ （$C_2$ $\wedge$ ¬$D_3$）] $\bigvee$ [（¬$C_1$ $\wedge$ $B_2$) $\wedge$ （$C_2$ $\wedge$ ¬$D_3$）] $\bigvee$ [（$C_1$ $\wedge$ ¬$B_2$）$\wedge$ （¬$C_2$ $\wedge$ $D_3$) ] $\bigvee$ [ （¬$C_1$ $\wedge$ $B_2$) $\wedge$ （¬$C_2$ $\wedge$ $D_3$) ] $\iff$ 1

$\because$ 在( $C_1$ $\wedge$ ¬$B_2$ $\wedge$ $C_2$ $\wedge$ ¬$D_3$)中 C不可能即是第一名也是第二名

且在（¬$C_1$ $\wedge$ $B_2$ $\wedge$ $C_2$ $\wedge$ ¬$D_3$）中第二民不可能即是B也是C

$\therefore$ （$C_1$ $\wedge$ ¬$B_2$$\wedge$ ¬$C_2$ $\wedge$ $D_3$) $\bigvee$ （¬$C_1$ $\wedge$ $B_2$ $\wedge$ ¬$C_2$ $\wedge$ $D_3$) $\iff$ 1 ④

又 $\because$ ③ $\wedge$ ④ $\iff$ 1

$\therefore$ [（$A_2$ $\wedge$ ¬$D_4$）$\vee$ （¬$A_2$ $\wedge$ $D_4$) ] $\bigwedge$ [ （$C_1$ $\wedge$ ¬$B_2$$\wedge$ ¬$C_2$ $\wedge$ $D_3$) $\vee$ （¬$C_1$ $\wedge$ $B_2$ $\wedge$ ¬$C_2$ $\wedge$ $D_3$) ] $\iff$ 1

$\therefore$ ( $A_2$ $\wedge$ ¬$D_4$ $\wedge$ $C_1$ $\wedge$ ¬$B_2$$\wedge$ ¬$C_2$ $\wedge$ $D_3$ ) $\bigwedge$ （¬$A_2$ $\wedge$ $D_4$ $\wedge$ $C_1$ $\wedge$ ¬$B_2$$\wedge$ ¬$C_2$ $\wedge$ $D_3$ ) $\bigwedge$ ( $A_2$ $\wedge$ ¬$D_4$ $\wedge$¬$C_1$ $\wedge$ $B_2$ $\wedge$ ¬$C_2$ $\wedge$ $D_3$) $\bigwedge$ (¬ $A_2$ $\wedge$ $D_4$ $\wedge$¬$C_1$ $\wedge$ $B_2$ $\wedge$ ¬$C_2$ $\wedge$ $D_3$) $\iff$ 1

又 $\because$ （¬$A_2$ $\wedge$ $D_4$ $\wedge$ $C_1$ $\wedge$ ¬$B_2$$\wedge$ ¬$C_2$ $\wedge$ $D_3$ )中 D 不可能即是第三名又是第四名

且 $\because$ ( $A_2$ $\wedge$ ¬$D_4$ $\wedge$¬$C_1$ $\wedge$ $B_2$ $\wedge$ ¬$C_2$ $\wedge$ $D_3$) 第二名不可能即是A又是B

且 $\because$ (¬ $A_2$ $\wedge$ $D_4$ $\wedge$¬$C_1$ $\wedge$ $B_2$ $\wedge$ ¬$C_2$ $\wedge$ $D_3$) D不可能即是第三名又是第四名

$\therefore$ ( $A_2$ $\wedge$ ¬$D_4$ $\wedge$ $C_1$ $\wedge$ ¬$B_2$$\wedge$ ¬$C_2$ $\wedge$ $D_3$ ) $\iff$ 1

综上可知：

A是第二名
B是第四名
C是第一名
D是第三名