定义
三段论由大前提、小前提与结论构成；若形式有效，则前提为真时结论不可能为假。
核心内容
经典形式「凡 M 是 P；凡 S 是 M；故凡 S 是 P」的可靠性只依赖词项之间的包含关系，不依赖具体内容。这引出两个常被混淆的判断：有效性（形式是否保真）与健全性（有效且前提实为真）。「所有鸟会飞；企鹅是鸟；故企鹅会飞」形式有效但大前提假，结论假；「所有猫是哺乳动物；有些宠物是猫；故所有宠物是哺乳动物」前提真却形式无效。日常语言中前提常被省略（省略三段论），把隐含前提补写出来，是拆穿大量似是而非说法的第一步。
源流
亚里士多德的词项逻辑统治西方两千年，十九世纪布尔、弗雷格以代数与量词重构后，才有现代数理逻辑与计算机科学的基础。
要点
有效性只管「保真」，不管前提是否真实
周延性、量词（所有 / 有些）与否定，决定形式是否有效
省略三段论：把没说出口的前提补出来再评估
论证
正文
把这句话补全成大前提「凡是成绩好的都努力」、小前提「他成绩好」、结论「他努力」，形式没问题；但大前提把充分条件与必要条件搞反了——成绩好也可能来自基础好、题目易或先前积累。争论焦点于是从「他努不努力」转到「那条全称前提站不站得住」。
启示
多数日常分歧并不在结论，而在那句从没被说出来、却被当作显然的全称前提。
标题
「他成绩好，所以一定努力」
常见误解
误解：结论错了，论证就一定无效。形式可能对、前提错了，这时要修的是前提而非推理。
误解：有效性等于说服力。人常被无效但动情的论证说服，那是心理学效果，不是逻辑品质。
场景应用
情境
听到「所以」
tip
停一秒补出被省略的大前提，往往一句话就能定位分歧。
情境
写方案
tip
把关键结论的推导链逐行写出，检查有没有跳过一个未经验证的全称判断。
关联内容
名称
确认偏误
note
前提检索阶段的偏差，会让有效推理建立在被筛过的事实上。
名称
归纳、类比与回溯
note
与演绎并列的三类非必然推理。
术语表
def
前提真则结论不可能假的形式性质。
term
有效性
def
论证形式有效且所有前提实际为真。
term
健全性
出处
亚里士多德《工具论》
分类
philo
标签
演绎逻辑