推論是在設定作為出發(fā)點的一個或多個命題的基礎上得出并肯定一個命題的心智過程。

為了確定一個推論是否正確，邏輯學家要考察這一過程從開始至結束的那些命題以及它們之間的關系。這一命題序列就構成一個論證。

現(xiàn)在，我們準備給論證下一個更精確的定義。一個論證（argument）就是一個命題的匯集，其中某些命題（前提）被給出作為接受另一個命題（結論）為真的理由。看下面的論證：

所有人都是會死的。

蘇格拉底是人。

前提

蘇格拉底是會死的。

結論

重要提示

邏輯學家對命題、陳述、語句進行了區(qū)分。命題是被斷定的東西。

陳述是在某一特定語言中被一個語句所斷定的命題。命題和陳述的意義非常接近，我們以后將不加區(qū)分地使用。在這個論證中，前兩個命題是前提，它們?yōu)橄嘈沤Y論“蘇格拉底是會死的”為真提供理由。