真实不等于有效

带着这个问题读

一个结论碰巧为真的论证，推理仍可能无效吗？

演绎有效的论证，不存在“所有前提都真而结论为假”的可能解释。有效性检验的是连接：如果前提成立，结论是否必然成立？它不保证前提在现实中确实成立。

健全的论证既有效，又具有真实的前提，因此结论也真。只有结论为真，不足以证明有效；猜中答案不表示给出的理由保证了答案。

要反驳有效性，反例必须同时保住每一个前提，并让结论为假。只要有一个前提为假，该情形就不足以说明推理无效。后面会用真值赋值和有限模型表示这些可能情形。