http://thiseven.blogspot.tw/2013/09/blog-post_18.html 建議去看以上連結的文章。 簡單整理： 「套套邏輯（tautology）」是語句邏輯（sentential logic）的概念， 將一個推論改寫成語句邏輯的條件句形式並判斷該條件句是否為一「套 套邏輯」，並據此判斷該原本的推論是否有效，這只在語句邏輯系統裡 會成立。 P1. 所有人都會死 P2. 蘇格拉底是人 C. 蘇格拉底會死 將上述推論改寫成語句邏輯的條件句會寫成： (P1 & P2)→C 這也不是一個語句邏輯中的套套邏輯，那麼這個推論也就不會是語句邏 輯中的有效推論。 但上述推論本身是否有效？有效，只是該推論的有效形式必須以述詞邏 輯來翻譯時才看得出來。 總之，把「在語句邏輯中無效」視為「無效」的充分條件，就只是邏輯 沒學好而已，這種說法可以丟進垃圾筒，不必認真看待。 --

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.60.254.3 ※ 文章網址: https://webptt.com/m.aspx?n=bbs/W-Philosophy/M.1491374041.A.5D6.html