走心原创诗与思—61
演绎法就是从一般性前提推出具体、必然结论的最基础逻辑推理工具。
形式逻辑四
三段论
大小前提中项联，四格廿四定式立。
形式结构公理化，三段演绎推理律。
DEEPSEEK言：
这首诗是对形式逻辑中“三段论”体系的精要概括，四句诗分别对应其核心要素、形式体系、方法论本质和学科地位。
第一句：大小前提中项联
解释：此句点明三段论的基本结构。一个有效的三段论必须包含两个前提（大前提、小前提），并通过一个共同项——中项（M）——将结论中的大项（P）与小项（S）联系起来。中项是推理的“桥梁”，没有它，推理便无法进行。
第二句：四格廿四定式立
解释：此句概括了三段论的形式化体系。根据中项在两个前提中的位置不同，三段论可分为四个格。在古典逻辑中，经过严格规则检验，从这四个格中总共能推导出二十四个有效的推理形式（有效式）。这构成了一个完整、确定的演绎推理模板库。
第三句：形式结构公理化
解释：此句揭示了三段论的方法论本质。三段论的有效性完全取决于其逻辑形式（如中项是否周延、项的外延是否被不当扩大等），而与命题的具体内容无关。这种只关注形式结构并将其规则化的方法，体现了公理系统的思想，是逻辑学走向形式科学的关键。
第四句：三段演绎推理律
解释：此句总结了三段论的学科地位。作为由亚里士多德确立的古典逻辑核心，三段论是演绎推理最基本、最典范的规律（“律”即法则）。它确保了从真前提必然推出真结论，是严谨思维和有效论证的基石。
总结：全诗仅28字，清晰勾勒出三段论从结构要素到形式系统，再到其公理本质和基础地位的完整逻辑脉络，堪称一首精炼的“逻辑诗”。
未达吾意也