三段论是传统逻辑中的一种演绎推理形式，由两个前提和一个结论组成。其推理形式指的是一组具有固定结构的命题，确保结论必然为真，只要前提为真。
| 项目 | 内容 |
| 定义 | 三段论是由两个前提和一个结论构成的推理形式，用于从普遍到特殊的推理。 |
| 结构 | 包括大前提、小前提和结论，通常采用“所有A是B，C是A，因此C是B”的形式。 |
| 推理形式 | 指的是前提与结论之间的逻辑关系，如“Barbara”、“Celarent”等标准形式。 |
| 作用 | 用于验证推理的有效性，确保结论符合逻辑规则。 |
三段论的推理形式强调逻辑结构的正确性，而非内容的真实性。理解其形式有助于识别有效与无效推理。
