直言三段论（三段论）

逻辑学中有关直言三段论的一些基础描述

直言三段论（三段论）

• 含义
  • 由两个包含一个共同项的直言命题推出一个新的直言命题的演绎推理
• 三个概念
  • 中项（M）
    • 前提中重复出现2次，结论无
  • 小项（S）（小前提）
    • 结论中主项
  • 大项（P）（大前提）
    • 结论中谓项
• 成立条件
  • 三个直言命题都是标准形式的
  • 三命题按大前提、小前提、结论顺序排列
• 注
  • 包含单称命题做前提或结论的推理不是直三
  • 不是直言命题组成的推理不是直三
  • 包含4各项的推理不是直三
• 公理
  • 凡是肯定（否定）了一类对象的全部，也就肯定（否定）这一类对象的任何部分对象
• 规则
  • 中项在前提中至少周延一次
  • 在前提中不周延的项在结论中不得周延
  • 两个否定的前提得不出结论
  • 前提中有一否定则结论必否定(可逆）
  • 两个全称的前提不能得出特称的结论