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/cn.aspx?n=bbs/W-Philosophy/M.1491374041.A.5D6.html