Re: 林正弘老師的邏輯學p18頁

看板logic作者 (人獨立燕雙飛)時間19年前 (2006/11/14 22:59), 編輯推噓1(100)
留言1則, 1人參與, 最新討論串3/3 (看更多)
直接給你例子也許你就容易懂了 所有的人都會死 蘇格拉底是人 所以,蘇格拉底會死 這樣一個自然語言中的論證,按照有效論證的定義(真值保存),它是有效的。 但若我們只考慮這論證當中命題與命題間的邏輯關係時,就無法說明為什麼這論證 是有效的。但如果我們在分析論證時,不以命題作為最小分析單位,而是更進一步 考慮主述詞的關係時,就可以說明為什麼該論證是一個有效論證了。 上述的自然語言論證可以翻譯成述詞邏輯中的論證如下: (X)(Px→Mx) (P表示"是人"這個性質,M表示"會死"這個性質 s代表蘇格拉底) Ps ∴Ms 相信這樣的解釋應該夠釐清你的疑惑了。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 218.168.168.181

11/16 00:11, , 1F
謝謝
11/16 00:11, 1F
文章代碼(AID): #15MTdi-v (logic)
文章代碼(AID): #15MTdi-v (logic)