主题：【原创】逻辑的力量（0）：引子 -- 滕诺

说到逻辑，自然应该是抽象的，那难免要用到各种代码、符号。比如论证，包含前提和结论等陈述，每个论证都包含不同内容的陈述，为了简化和抽象起见，必然要用到A\B\C等代码来表示词项（term），词项（term）是事物类（集合或集）的词或词组，用代码将词项简化的论证这里称作论证形式，也就是一个推理的模式。例如：

论证形式1：（1）所有A都是B

（2）所有B都是C

所以，（3）所有A都是C

需要注意的是，虽然一个论证一般对应一个论证形式，但是根据选取词项或陈述的不同方式，一个论证也可以有不止一个论证形式，与之相对应，不同的论证形式可能是有效的，也可能是无效的。也就是说，一个单一的论证既可以有有效的形式也可以有无效的形式。关键的是，如果一个论证其任一形式都有效，则它就是有效的。

反例（counterexample）,是检验论证形式无效性的重要工具。在一个论证形式中，通过用词项或陈述一致地替换字母而得到的论证称为那个形式的一个替换例（substitution instance）。一个论证形式的反例，是前提为确知真理而结论为一个确知谬误的替换例。值得注意的是，反例方法可以证明一个无效论证形式是无效的，却不能显示一个有效论证形式是有效的。并且，即使我们怀疑一个论证形式是无效的，但有时候也难以构造一个反例。

那么如何构造一个反例呢，一般是先识别论证形式，并用大写字母替换词项，再找出任意的词项或陈述来替换结论中的大写字母代码，以产生一个确知的谬误，然后找出另外的词项或陈述一致地替换其他现有大写字母以产生确知为真理的前提。

条件陈述（如果A，那么B）是各种论证形式中经常出现的，这里将“如果”后面的A从句称为前件（antecedent）,将“那么”引导的B从句称为后件（consequent）。一个陈述可以通过前件、后件位置的交换，连接词的变化等方式而有不同的变体，这些变体之间是逻辑等值（logically equivally）的。例如条件陈述（如果A，那么B）逻辑等值于（A仅当B）。

说了这么多晦涩的概念，下面讲讲一些著名的论证形式，熟悉了这些基本形式，也就象小时候背乘法表一样，以后一看到它就形成条件反射，捻熟于心。