思維方法真值表法II.pptVIP

思維方法課程網頁：.tw/~ 第七週： 真值表法Ⅱ：判斷多個語句的關係 一、真值表法判斷語句的關係 (一)兩個語句之間的關係可以是「邏輯上等值的」或「邏輯上矛盾的」： 1.邏輯上等值的：兩個語句的真值表主要運算符號下每一列的真假值都相同。 2.邏輯上矛盾的：兩個語句的真值表主要運算符號下每一列的真假值都相反。 一、真值表法判斷語句的關係 (二)兩個（或兩個以上的）語句之間可以是「邏輯上一致的」或「邏輯上不一致的」： 1.邏輯上一致的：這些語句的真值表中，至少有一個橫列它們都為真。 2.邏輯上不一致的：這些語句的真值表中，沒有任何一個橫列它們都為真。 二、邏輯上等值與邏輯上矛盾 (一)兩個語句是邏輯上等值的：如果它們的真值表主要運算符號下每一列的真假值都相同。 例1：K→L / ~L→ ~K 邏輯上等值的 二、邏輯上等值與邏輯上矛盾 例2：A→(B→C) / (A→B)→C 不是邏輯上等值的 二、邏輯上等值與邏輯上矛盾 (二)兩個語句是邏輯上矛盾的：如果它們的真值表主要運算符號下每一列的真假值都相反。 例1：K→L / K ? ~L 邏輯上矛盾的 二、邏輯上等值與邏輯上矛盾 例2：Q→ ~ (K ? A) / (K ? Q) ? (A ? Q) 邏輯上矛盾的 二、邏輯上等值與邏輯上矛盾 日常推理的應用： 小玉和阿華有以下對話： 小玉：「如果你不愛我，那麼我就不會跟你交往。」 阿華：「你的意思是：如果我愛你，那麼你就會跟我交往。對吧？」 請問：對於小玉講的話，阿華的理解正確嗎？ 提示：把小玉和阿華講的話翻譯成邏輯語言，而後用真值表法分析一下，這兩句話是不是邏輯上等值的。 二、邏輯上等值與邏輯上矛盾 L=阿華愛小玉 S=小玉會跟阿華交往 小玉的話翻譯為 ~L→ ~S，阿華的話翻譯為 L→ S 分別畫出這兩句話的真值表： 結論：真值表顯示，這兩句話不是邏輯上等值的，所以阿華對小玉的話的理解並不正確。 二、邏輯上等值與邏輯上矛盾 【練習題】：用真值表法來判斷各題中的語句是邏輯上等值的還是邏輯上矛盾的 例1：~A ? X / (X ? ~A) ? (A ? ~X) 邏輯上等值的 例2：M→C / ~C ? M 邏輯上矛盾的 例3：M→(K→P) / (K ? M) →P 邏輯上等值的 例4：G ? (E ? P) / ~ (G ? E) ? ~(G ? P) 邏輯上矛盾的 有趣的推理：來跳舞吧 三對年輕夫婦去舞廳跳舞，三個太太中一個穿紅色、一個穿綠色、一個穿藍色衣服，三位先生也分別穿這三種顏色的衣服。 當三對夫婦進入舞池跳舞時，穿紅色衣服的先生靠近另一對夫婦，跟其中穿綠色衣服的太太說：「真巧，我們每個人的舞伴都跟自己穿不同顏色的衣服。」 請問：穿紅衣服的太太跟穿什麼顏色衣服的舞伴跳舞？ 三、邏輯上一致與不一致 (一)兩個（或更多）語句是邏輯上一致的：如果它們的真值表中，至少有一橫列它們都為真（這些語句有可能同時為真）。 例1：K ? L / K ? L 邏輯上一致的 例2：R ? (Q ? S) / (S ? R) ? (Q ? R) 三、邏輯上一致與不一致 (二)兩個（或更多）語句是邏輯上不一致的：如果它們的真值表中，沒有任何一列它們都為真（這些語句不可能同時為真）。 例1：K ? L / K ? ~L