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://www.ptt.cc/bbs/W-Philosophy/M.1491374041.A.5D6.html