邏輯真值表法i-其他研究.pptVIP

五、判斷單一語句的性質 (二)矛盾句：它是邏輯上假的或自我矛盾的語句。無論其構成份子的真假值為何，該複合語句都為假。 例1：形式語句「p ? ~p」或實質語句「李白是人同時李白又不是人」 例2：(G ? H) ? (~G ? ~H) 矛盾句也有無窮多個。它是邏輯學家最忌諱的，因為它是真理的反面。 矛盾句其實並沒有提供任何資訊。 以矛盾句的語句作為前提的論證必然有效。 五、判斷單一語句的性質 (三)未確定句 ∕ 適真句 ∕ 偶真句：複合語句的真假值會隨著其構成份子的真假值而改變，在某些情況下為真，在另外一些情況下為假。 例1：形式語句「p ? q」 例2：(X→(R→F)) ? ((X→R)→F) 未確定句也有無窮多個。 未確定句有提供某些資訊，告訴我們這個語句在什麼情況下為真，在什麼情況下為假。 五、判斷單一語句的性質 任何形式語句或實質語句一定是套套邏輯、矛盾句或未確定句中的一種。 要判斷實質語句屬於哪一類，要先把它「符號化」，然後像形式語句一樣，畫出其真值表的所有真假值的分佈情況，再看真值表最後一行是全真(套套邏輯)、全假(矛盾句)、還是有真有假(未確定句)。 任何「套套邏輯」的否言一定是個矛盾句； 任何「矛盾句」的否言一定是個套套邏輯； 任何「未確定句」的否言還是一個未確定句。 五、判斷單一語句的性質 〔練習題〕：以真值表法判斷以下語句是套套邏輯、矛盾句，還是未確定句 例1：(M→P) ? (P→M) 套套邏輯 例2：((E→F) →F) →E 未確定句 例3：((H→N) ? (T→N)) →((H ? T) →N) 套套邏輯 例4：((Q→P) ? (~Q→R)) ? ~(P ? R) 矛盾句 六、日常推理的應用 李教授是一位經濟學家，他做出以下預測：收支平衡程度將會降低的充分必要條件是利率保持穩定；然而，未來不可能發生「利率不會保持穩定或者收支平衡程度將會降低」的狀況。 請問：我們應該相信李教授的預測嗎？ 提示：先把李教授的預測翻譯成邏輯語言，而後用真值表法分析一下他的預測是套套邏輯、矛盾句還是未確定句，就可以做出判斷。 六、日常推理的應用 B=收支平衡程度將會降低 I=利率保持穩定 李教授的預測可以翻譯為： (B ? I) ? ~ (~I ? B) 畫出這個語句真值表： 結論：真值表顯示這是一個矛盾句，表示這句話在任何情況下都為假，所以我們不必相信李教授的預測。 有趣的推理：紙牌的秘密 以下四張牌從左到右分別是a、b、c、d。藍色的部分表示被紙牌蓋住。 如果我們想要知道：是不是所有的紙牌如果左邊有圓圈，那麼右邊也有圓圈？ 請問：這時候最少需要翻開哪幾張蓋住的牌？ 邏 輯課程網頁：.tw/~ 第六週： 真值表法Ⅰ：判斷單一語句 一、什麼是真值表？ 真值表(truth table)：一種考慮邏輯上所有可能情況的真假值配置方式。 邏輯考慮的是「所有可能情況」，也就是在「所有可以想像的世界」裡的真假值。 我們把代表形式原子語句的小寫字母p, q稱為「語句變項」。真值表用語句變項來呈現不同語句形式（否言、並言、選言、條件句、互為條件句）的語意定義。 語句形式：語句變項和語句連接詞的一種配置方式。 二、不同語句形式的真值表定義 (一)否言的真值表： 跟日常語言用法的比較：上述定義相當符合日常語言的使用。 否言的真假值具「遞歸性」：更複雜的否言的真假值是依照否定連接詞的運算範圍一一疊加上去的。 p ~p T F F T 二、不同語句形式的真值表定義 (二)並言的真值表： 當並言的兩個連項(p、q)都為真時， 則該並言為真；若其中一個為假或 兩個連項都為假，則並言為假。 跟日常語言用法的比較： 1.在多數狀況下，符合我們日常語言的使用。 例如：「我今天穿了一件長褲且戴了一頂帽子」翻成A ? B 2.日常語言中有些並言的連項之先後順序有影響。 例如：她結婚了且有了孩子 M ? B（有先結婚後生小孩之意） 她有了孩子且結了婚 B ? M（有生子後再補結婚之意） 二、不同語句形式的真值表定義 (三)選言的真值表： 在兼容性的選言中，只要有一個選 項為真，選言便為真；只有當兩個 選項都為假時，選言才為假。 跟日常語言用法的比較： 1.符合日常語言用法的例子： 例1：老師說：「下個禮拜出作業或小考」。 例2：梁朝偉或劉德華是電影明星 A ? B （T）