提要：三段式模式推论有效的五种规律/五种规律的原理及其格式表示
“喂！王蕴理！我昨天到市场去买来两条LuckyStrike牌的香烟。”
“你也不抽烟，买它干吗？”
“预备送吴先生的。他讲了这么久，我们没有送点礼物表示表示意思。我看他抽的烟很坏，他烟瘾又那么大，送点好烟他抽，他的情绪岂不好一些？哈哈！”
“你倒是还讲点师道。现在的人，早已把这一套抛到九霄云外了。师道不存，学问一点尊严也没有，所以，世界弄成这个样子啊！”
“你老是爱发感慨。别讲闲话，我们马上到吴先生那儿去吧！”
二人从小路绕到了吴先生门口，敲门。
“暴雨快要来了，二位请赶紧进来吧！”吴先生打开门，“这几天几乎每天下午都下阵雨，据说这是所谓‘定时雨’，这是此地气候上的特色。”
“也好，每天午后下一阵子可以解解凉。”王蕴理接着说。
“吴先生，我们今天送点烟给您抽。”周文璞拿出烟。
“为什么要买烟呢？”
“不为什么，我们希望吴先生抽点好烟。”
“我……谢谢！现在好烟不容易买到。”
“好书更不容易买到。”王蕴理说。
“那当然，这个时候……”吴先生凝着神，像在想什么。
“吴先生上一次谈的，是三段式的界说性质和它的结构。”王蕴理说，“现在请问在行三段式的推论时，是否有什么方法保证这种推论有效？”
“当然有，否则逻辑可以不必研究了。”吴先生很坚定地说，“我们在上一次说过，一个三段式是由三个语句构成的。我们不难知道A、E、I、O四式语句，每次任取三个，那么，三个一联，三个一联，一共有43=64个成三的组合单位。如AAA、EEE、III等等。这些成三的组合单位，逻辑传统叫作模式（modes）。不过，这些模式之中，有许多多是无效的。这里所谓无效，意即不是在一切情形的解释之下为真。这也就是说，这些模式的解释，在有些情形之下固然为真，可是在另外有些情形的解释之下则为假。这类模式，便叫作无效的模式。当然，如果我们有耐心，不怕麻烦，肯一个模式一个模式地试下去，那么我们也会发现哪些模式是有效的，并且排弃其余无效的模式。但是，这种办法非常费时，很不经济。逻辑传统中有一种办法，我们依照这种办法，便可以决定哪些模式是有效的，哪些模式是无效的。”
“吴先生可以告诉我们吗？”周文璞问。
“请别急，我是要往下讲的。逻辑家决定哪些模式是否有效的办法，就是提出一组规律。凭着这组规律，我们就可以决定哪些模式有效，哪些模式无效。当然，像在上次所说的对待关系之一种一样，我们还是认定A、E各有存在意含。不过，为了简便，我们在这里没有用特别的记号标出。我们现在就分开讨论这组规律。
“第一，在二个前题之中，共词至少必须普及一次。为了说明这条规律，我们举一个例子。”老教授拿起粉笔在黑板上写：
凡信戒杀论者是吃素的
凡中国和尚是吃素的
∴凡中国和尚是信戒杀论者
