有效与可靠论证

        或许你已经注意到吉米·卡特并不是比尔·克林顿前一届的总统，乔治 ∙ W ∙ 布什才是比尔·克林顿前一届的总统。尽管上例论证中的前提是假的，但这个论证是有效的。因为该论证不可能出现前提为真而结论为假的情形。有效的意思是：前提如果为真，那么结论不可能为假。

        术语“可靠”用来描述前提为真的有效推理。下例是可靠的论证。

        前提：比尔·克林顿比乔治 ∙ W.布什高，乔治 ∙ W ∙ 布什比言米·卡特高。

        结论：比尔·克林顿比吉米·卡特高。