如何做語句的真值表？

語句 (((A®B)Ù(B®C))Ù~C)®~A 的真值表
• 這個語句的真假值與 A, B, C 的真假值有關，我們可以透過「語句
的真值表」來看出其相關性。

• 要做語句的直值表之前，請先
1. 複習前一堂課介紹的內容：語句連接詞 ~, Ù, Ú, ®, « 的真值表。
2. 了解省略規則：語句最外面的括號可省略。
3. 數數這語句中出現了幾個原子語句。【原子詞句的數目會與語
句的真值表的列數有關。】
 省略規則：語句最外面的括號可省略

所以， (((A®B)Ù(B®C))Ù~C)®~A 其實是 ((((A®B)Ù(B®C))Ù~C)®~A)的簡寫。

此外，(A®B) 可簡寫為 A®B，

而 ((A®B)Ù(B®C)) 可以簡寫為 (A®B)Ù(B®C)，

但是後者不能再簡寫為 A®BÙ(B®C)，因為在這裡，A®B外面的括號並不算是
「最外面的括號」。
 語句的真值表的列數
• 一個語句裡面的原子語句的數目會影響那個語句的真值表的列數。
其關係如下：
原子語句的數目 真值表的列數（不含表頭）
1 2
2 4
3 8
4 16
5 32
n 2n
 舉例來說

• (((A®A)Ù(A®A))Ù~A)®~A 的真值表是 2 列
• (((A®B)Ù(B®B))Ù~B)®~A 的真值表是 4 列
• (((A®B)Ù(B®C))Ù~C)®~A 的真值表是 8 列
• (((A®B)Ù(B®C))Ù~C)®~D 的真值表是 16 列
• (((A®B)Ù(E®C))Ù~C)®~D 的真值表是 32列
• (((A®B)Ù(E®C))Ù~G)®~D 的真值表是 64列
 語句的真值表作法一

1. 畫表格
2. 填原子語句的真假值
3. 填過程中出現的語句的真假值
4. 得到整個語句的真假值
 1. 畫表格（把過程中會出現的語句都填到表頭）
A B C ~A ~C A®B B®C (A®B)Ù(B®C) ((A®B)Ù(B®C))Ù~C (((A®B)Ù(B®C))Ù~C)®~A
 2. 填原子語句的真假值（原則上依以下模式）
A B C ~A ~C A®B B®C (A®B)Ù(B®C) ((A®B)Ù(B®C))Ù~C (((A®B)Ù(B®C))Ù~C)®~A

T T T
T T F
T F T
T F F
F T T
F T F
F F T
F F F
 3. 填過程中出現的語句的真假值 （之一）
A B C ~A ~C A®B B®C (A®B)Ù(B®C) ((A®B)Ù(B®C))Ù~C (((A®B)Ù(B®C))Ù~C)®~A

T T T F F T T
T T F F T T F
T F T F F F T
T F F F T F T
F T T T F T T
F T F T T T F
F F T T F T T
F F F T T T T
 3. 填過程中出現的語句的真假值 （之二）
A B C ~A ~C A®B B®C (A®B)Ù(B®C) ((A®B)Ù(B®C))Ù~C (((A®B)Ù(B®C))Ù~C)®~A

T T T F F T T T
T T F F T T F F
T F T F F F T F
T F F F T F T F
F T T T F T T T
F T F T T T F F
F F T T F T T T
F F F T T T T T
 3. 填過程中出現的語句的真假值 （之三）
A B C ~A ~C A®B B®C (A®B)Ù(B®C) ((A®B)Ù(B®C))Ù~C (((A®B)Ù(B®C))Ù~C)®~A

T T T F F T T T F
T T F F T T F F F
T F T F F F T F F
T F F F T F T F F
F T T T F T T T F
F T F T T T F F F
F F T T F T T T F
F F F T T T T T T
 4. 得到整個語句的真假值
A B C ~A ~C A®B B®C (A®B)Ù(B®C) ((A®B)Ù(B®C))Ù~C (((A®B)Ù(B®C))Ù~C)®~A

T T T F F T T T F T
T T F F T T F F F T
T F T F F F T F F T
T F F F T F T F F T
F T T T F T T T F T
F T F T T T F F F T
F F T T F T T T F T
F F F T T T T T T T
 恆真句、適真句與矛盾句

• 若一個語句正下方的真假值全是T，我們稱這語句
為恆真句。
• 若一個語句正下方的真假值全是F，我們稱這語句
為矛盾句。
• 若一個語句正下方的真假值有T有F，我們稱這語句
為適真句。
 真值表的另一個做法（做法二）
• 中間過程出現的語句不必重抄一次
• 把語句的真假值直接寫在語句的主要連接詞下方
• 步驟次序標記在真值表的最下方
 之一

A B C (( (A® B ) Ù ( B®C ) ) Ù ~ C) ® ~A
T T T T T F F
T T F T F T F
T F T F T F F
T F F F T T F
F T T T T F T
F T F T F T T
F F T T T F T
F F F T T T T
1 1 1 1
 之二
A B C ((( A® B ) Ù ( B®C )) Ù ~ C) ® ~A

T T T T T T F F

T T F T F F T F

T F T F F T F F

T F F F F T T F

F T T T T T F T

F T F T F F T T

F F T T T T F T

F F F T T T T T

1 2 1 1 1
 之三
A B C ((( A® B ) Ù ( B®C )) Ù ~ C) ® ~A
T T T T T T F F F
T T F T F F F T F
T F T F F T F F F
T F F F F T F T F
F T T T T T F F T
F T F T F F F T T
F F T T T T F F T
F F F T T T T T T
1 2 1 3 1 1
最後
習題
設 p, q, r, s 為原子語句。請判斷下列語句是恆真句、適真句還是矛
盾句。
1. ( ( ~ p Ú r ) Ù ( ~ r ® ~ q ) ) ® ( (p Ú q) ® r )
2. ( ~ p Ú p ) « ( (r ® s) Ù ( r Ù ~ s ) )
3. ( ( p Ù q ) ® ( r Ú s ) ) Ú ( ( p Ù ~q ) ® ( r Ú s ) )
4. ( ( p ® ~ q ) Ù ( q ® ~ p ) ) Ú ~ ( p « ~ q )
5. ( p Ù ~ ( q ® r ) ) ® ( q ® ( ~ r Ú s) )