http://thiseven.blogspot.tw/2013/09/blog-post_18.html
建议去看以上连结的文章。
简单整理：
“套套逻辑（tautology）”是语句逻辑（sentential logic）的概念，
将一个推论改写成语句逻辑的条件句形式并判断该条件句是否为一“套
套逻辑”，并据此判断该原本的推论是否有效，这只在语句逻辑系统里
会成立。
P1. 所有人都会死
P2. 苏格拉底是人
C. 苏格拉底会死
将上述推论改写成语句逻辑的条件句会写成：
(P1 & P2)→C
这也不是一个语句逻辑中的套套逻辑，那么这个推论也就不会是语句逻
辑中的有效推论。
但上述推论本身是否有效？有效，只是该推论的有效形式必须以述词逻
辑来翻译时才看得出来。
总之，把“在语句逻辑中无效”视为“无效”的充分条件，就只是逻辑
没学好而已，这种说法可以丢进垃圾筒，不必认真看待。