一种演绎形式。有效推理的标准由^*亚里士多德(Aristotle)发展而来。每个三段论必须包含三部分——两个前提和一个结论——其中一种形式可以用下面格式表示：“所有的As都是Bs，所有的Cs都是As，因此所有的Cs都是Bs”。由于结论，即所有的Cs都是Bs是根据前提推出来，那么我们不能在没有自相矛盾的前提下肯定前提、否定结论。这对所有成立的三段论来说都是真实的。