※ 引述《A1Yoshi (我是妖西)》之銘言： : 我說了，針對形式為A→B這樣的句子，無論A或B，我們現在都同意，它一定要是 : 有限長的。而這意思是說，無論A或B到底各自由幾類原子句或本身就是原子句所 : 構成，長度也好、原子句的種類也好，都是有限的。 : 也因此，畫真值表時，列數會是有限的。 : 這是為什麼透過有限步驟，我們可以有效地決定一個句子是不是前件邏輯蘊含後 : 件！ : 要不然你告訴我嘛，為什麼我們可以判斷「如果陳水扁是台灣總統則布希是美國 : 總統」這句話，前件不邏輯蘊含後件呢？ : 這例子中的A和B各自是某原子句，而真值表總共的列數只有四行！ 嗯嗯 你有沒有想過 為什麼我們不用畫真值表就能判斷 "如果空氣潮濕了則天下雨" 的真假值 而判斷邏輯蘊含的方式之一 是要畫出真值表 畫真值表這樣的演算法 已經超出純粹的真值了 對我來說 真值表的重點不在真值 反而是他可以用有限步驟窮盡論證的structure 這才是判斷邏輯蘊含成立與否的幕後黑手 或許用三段論的方式舉各例子會更方便理解 蘇格拉底是兔子 所有的兔子都不會死 所以蘇格拉底不會死 這很明顯 後件是前提的邏輯結果 這邏輯形式的有效性和前提或結論是真是假沒有關係 當然你可以繼續說邏輯蘊含和真值大有關係 這我不反對 反正本來就是一堆term互相定義來定義去的 不過在初階邏輯裡頭 它的確不是真值函數 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.231.70.120