仍然先举一个例子：

∴铜可以导电。

上面这个论证过程，就是非常经典的三段论的一个例子。三段论的特征是用“all”，“some”和“no”进行论证，由亚里士多德首先提出。在传统逻辑中，它指的是一个命题（结论）必然地从另外两个命题（前提）中得出。

现在创造一个“三段论语言”，来对上面的例子进行改写：

∴铜 is 导电

再进行进一步的简化：

∴t is D

在三段论语言里，一般用大写字母来表示一般类别（金属、导电），用小写字母表示特殊个体（铜）。在三段论的公式里，除了将特殊个体一般化的字母以外，还会使用五个词：all，no，some，is，not。用这些词和字母组成的语法句子被称为wffs，即well-formed formulas。wffs有以下八种形式（注意大小写）：

除了上图出现的语句以外任何语句都不是wffs，同样，如果字母的大小写与上图不符，则也不属于wffs。

当wffs以小写字母开头时，后面的字母既可以是大写也可以是小写。而当wwfs以大写字母开头时，后面只能跟大写字母。

举个例子：

小明是数学很好的人。 \Rightarrow x is H

小明是学校里数学最好的人。 \Rightarrow x is h

有些猫很高冷。 \Rightarrow some M is G

思考题：

请将下列一般语句转换为wffs：

知道了三段论的基本规则之后，就可以对三段论的有效性进行检验了。在此之前要先了解一个概念：周延。周延的项只跟在“all”或“no/not”后面。

检验三段论有效性的方法叫star test，其具体过程如下：