三段论检验的真正威力不在于检验小前提，而在于挖出被藏起来的大前提

大多数有争议的论证，双方争论的焦点往往在小前提（具体事实上），而真正决定结论的是大前提（普遍规则）。大前提通常被隐含地假设而不被陈述——因为它一旦被明确说出来，就可能显得武断、不可信或有明显反例。把大前提"挖出来"暴露在阳光下，是逻辑检验最有力的一招。