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