T(p M→ q) = Ta(p→q) = →(Ta(p),Ta(q)) 上述等式描述實質蘊含語句的真值條件，很明顯我們可以看出實質蘊含語句的 真值由蘊含句的前後件的真值決定。 T(p L→ q) = &(T1(p→q),T2(p→q),...,Tn(p→q),...) 上述等式描述邏輯蘊含語句的真值條件，白話的意思是說， p邏輯蘊含q若且唯若不存在一個真值給定函數使得(p→q)為假，意即使得p真而q假。 換句話說，我們要考慮完所有的真值給定函數針對(p→q)給出的值，才能判定 一條件句是否是邏輯蘊含句。任一真值給定函數會給出所有合法語句（wff）的真值， 在古典邏輯中，利用化約的方式，使得任一真值給定函數只需安排好所有 atomic sectence真值，就可以給出任何任何複雜語句的真值。 假設atomic sectences的個數跟自然數一樣多，那麼我們會有2^N個真值給定函數（跟 實數一樣多了）。換句話說， &(T1(p→q),T2(p→q),...,Tn(p→q),...)這個函數的 輸入是不可數無限長的字串（不是定義域喔），這根本是不合法的函數。 所以才需要對真值函數的定義域作限定，而這也是我們畫真值表時所採行的： 我們只考慮所有的真值給定函數對被討論到的語句中的atomic sectences的真 值給定情況。如此一來，我們需要考慮的真值給定函數只會是有限多個，而 &(T1(p→q),T2(p→q),...,Tn(p→q),...)的輸入就會是有限長的字串， 那麼邏輯蘊含就可以被視為一個合法的函數。 ps1"邏輯蘊含函數"的input不是次語句的真值，所以不能被視為古典意義下的真值函數 ps2這個函數的輸出不會只有一個值 ps3不是我愛將舊文加長重寫，而是不加長重寫，就沒辦法讓別人看懂啊 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.136.234.226 ※ 編輯: somedoubt 來自: 140.114.118.138 (03/14 13:58)