Lesson 4: 真值表
 用真值表(truth table)來定義連詞產生之分子語句的真假如下：

P	Q	P∨ Q
T	T	T
T	F	T
F	T	T
F	F	F

P	Q	P ∧  Q
T	T	T
T	F	F
F	T	F
F	F	F

P	¬ P
T	F
F	T

上課時我們用這些定義証明了¬(P∨Q)=¬P∧¬Q
並說明了量詞「對所有」等同用「且」這個連詞
而量詞「存在」等同用「或」這個連詞。
並擧了很多例子，請用相同方法回答下列問題。

習題一：
(1) 用真值表証明 P∨¬P 永遠為真。
(2) 用真值表証明 P ∧ ¬P 永遠為假。

習題二：
(1) 用真值表証明 P = ¬¬P
(2) 用真值表証明 ¬(¬P ∧ ¬Q)=P∨Q

習題三：
定義有排他性的或⊻為 

P	Q	P⊻Q
T	T	F
T	F	T
F	T	T
F	F	F

請用∨、∧、¬及P, Q建立一個邏輯語句，其真值表和⊻完全相同。

習題四：
寫出下列語句的否定句：
(1) 有一個人每一次買彩券都中獎。
(2) 所有大學生在大學四年中必存在一個學期他修的每一科都被當。
_______________________________________________

作業(一)學生造的句子，有些是詭論有些只是矛盾。可拿來練習寫出它們的邏輯形式。

1. 甲：我從不說謊 乙：甲很愛說謊。
2. 小木偶說他這完這句話後鼻子會變長。
3. 你的任務就是不接受一切任務。
4. 最危險的地方就是最安全的地方。
5. 聾子聽啞巴說瞎子看到鬼。
6. 世界上沒有永遠的真理。
7. 你說的都對，我說的都錯。
8. 我看到了我看不見的東西。
9. 我只跟不做作業的同學一起寫作業。
10. 我只跟永不結婚的人結婚。
11. 如果有人說他知道我說的話都是謊話，他並沒有說錯。 
12. 這世界上絕對沒有絕對這兩個字。
13. 今天是愚人節。
14. 小弟：大哥永遠是對的，大哥：小弟你錯了。
15. 正確的邏輯語句都是矛盾的。