逻 辑课程网页：httphomepage.ntu.edu.tw~d97227201.pptVIP

邏 輯課程網頁：.tw/~ 第八週： 真值表法Ⅱ：判斷多個語句的關係 一、真值表法判斷語句的關係 (一)兩個語句之間的關係可以是「邏輯上等值的」或「邏輯上矛盾的」： 1.邏輯上等值的：兩個語句的真值表主要運算符號下每一列的真假值都相同。 2.邏輯上矛盾的：兩個語句的真值表主要運算符號下每一列的真假值都相反。 一、真值表法判斷語句的關係 (二)兩個（或兩個以上的）語句之間可以是「邏輯上一致的」或「邏輯上不一致的」： 1.邏輯上一致的：這些語句的真值表中，至少有一個橫列它們都為真。 2.邏輯上不一致的：這些語句的真值表中，沒有任何一個橫列它們都為真。 二、邏輯上等值與邏輯上矛盾 (一)兩個語句是邏輯上等值的：如果它們的真值表主要運算符號下每一列的真假值都相同。 例1：K→L / ~L→ ~K 邏輯上等值的 二、邏輯上等值與邏輯上矛盾 例2：A→(B→C) / (A→B)→C 不是邏輯上等值的 二、邏輯上等值與邏輯上矛盾 (二)兩個語句是邏輯上矛盾的：如果它們的真值表主要運