一句话定义
健全性是演绎论证同时满足形式有效和前提真实的性质；它把“推得对”和“材料真”这两道检查合在一起。
机制 / 原理
一个论证可以形式有效，却因为前提虚假而不健全。判断健全性要分两步：先看如果前提都真，结论是否不可能为假；再看这些前提在事实或定义上是否真的成立。有效性处理的是推理结构，真实前提处理的是内容材料，二者缺一不可。这个区分能防止我们被漂亮形式骗过，也能防止只因结论顺眼就放过坏理由。
经典实验 / 例子
“所有鸟都会飞；企鹅是鸟；所以企鹅会飞”在形式上接近有效，但“所有鸟都会飞”这个前提为假，因此不是健全论证。相反，“所有哺乳动物都是动物；鲸是哺乳动物；所以鲸是动物”既有有效形式，也有真实前提，才算健全。
生活中的例子
有人说“所有限时折扣都划算；这件衣服限时折扣；所以它划算”。你可以承认推理形式像样，但追问第一个前提是否真实：如果原价虚高或根本不需要，这个购买论证就不健全。
常见误区
常见误区是以为形式有效就足够相信结论。有效只保证前提到结论的通道不漏，健全还要求前提本身站得住。