直言三段论
网友科普
直言三段论（syllogism）是一种所有前提均为直言命题的演绎推理，属于逻辑学领域，与布尔逻辑存在关联性。其基本结构由包含共同中项的两个前提推导出新命题，结论的真实性取决于前提真实性及中项在前提中的周延情况。典型形式包含大项（P）、小项（S）、中项（M）三个要素，通过大前提、小前提与结论的命题组合形成四种语气（A/E/I/O型）和四种格。有效性判定需遵循三项核心规则：有且仅有三个不同词项；中项在前提中至少周延一次；前提中不周延的词项在结论中不得周延。检验方法包括文氏图解法与逻辑规则验证法，例如AAA-1型三段论通过图解可验证其有效性，而EIO-1型则需结合存在量化符号进行推导。
问AI百科
百科AI智能，探索更多与"直言三段论"相关的知识