三段论 正文　　传统逻辑中的一类主要推理。也称直言三段论。古希腊哲学家、逻辑学家亚里士多德首先提出了关于三段论的系统理论。 　　三段论的形式　三段论是这样一类推理：它由三个直言命题组成,其中两个是前提,一个是结论；并由三个不同的词项作这些命题的主谓项，而每个词项在两个命题中各出现一次。习惯上以 S代表结论的主项（小项），P代表结论的谓项（大项），M代表在两前提中出现的词项（中项）；包含小项的前提叫小前提，包含大项的前提叫大前提。 　　… [ 进入词条 ][ 进入三段论维吧 ]