Lesson 6 (連詞的性質)
從集合觀點看條件句：
假設Ｐ，Ｑ為關於 x 性質的語句。
若令A={x | x符合P的敍述}，B={x | x符合Q的敍述}
那麼 P"Q 就是AÍB。
例如先前討論的「x是白馬"x是馬」從集合觀點來看就是白馬的集合包含於馬的集合。
而集合論中AÍB的定義也就是 "xÎA"xÎB。

第二課中我們用四個連詞連結一些原子語句組成邏輯語句。其實只要「或」「且」「否」就足夠了，因為「P"Q」 和「Q Ú ¬P」邏輯等價(真假情況完全一致，用＝表示，課堂上我們已用演譯法証明)。

習題一：用真值表証明「P"Q」＝「Q Ú ¬P」

若且唯若：
定義P«Q為(P"Q) Ù(Q"P)，並稱P成立"若且為若"Q成立，或說P是Q的充分必要條件，簡稱「充要條件」。
用真值表便可看出P«Q就是P和Q邏輯等價(真假情況完全一致)

Ù和Ú之間的分配律 (distributive law)
習題二：
用真值表証明 PÙ(QÚR)＝(PÙQ) Ú(PÙR)

習題三：
用真值表証明 PÚ(QÙR)＝(PÚQ)Ù(PÚR)

習題四：
甲說：我晚餐 一定要吃魚且喝飲料，飲料喝果汁或茶都可以。
習題二、三中那一種邏輯形式可以表達乙的需要？並寫出 P＝？Q＝？R＝？

習題五：
乙說：Ａ、Ｂ 兩種獎學金我都要，A獎學金的條件是英文90分以上或數學90分以上，B獎學金的條件是英文90分以上或國文90分以上。
習題二、三中那一種邏輯形式可以表達乙的需要？並寫出 P＝？Q＝？R＝？