論證

有效性與命題的真假

邏輯關心的是前提與結論之間的關係，即前提是否支持結論。至於前提或結論是否真的，這不是邏輯學所要關心的問題。說一個論證是有效的，並不意味着這個論證的前提和結論都是真的。一個有效的論證可以前提真結論也真，也可以前提假而結論真，也可以前提假結論也假，它只排除了前提皆真而結論假這種可能性。

推理與論證

日常思考或科學探究都離不開推理，我們常常要為某些觀點或看法提出證據或說出理由。這種從前提推出結論的過程就叫做推理(inference)。

要評估一個推理是否正確，就要看看其前提是否支持結論，因此有時需要將這個推理說出或寫下。將推理用語言表達出來，就構成了論證(argument)。

推理和論證的不同在於：推理指的是一個從前提推出結論的過程（這個過程可以只在心中進行）；而論證指的是表達推理的一組語句。

有些邏輯書將推理（或論證）定義為“從已知推出未知的過程”，這個定義是不恰當的。推理是從前提推出結論的過程，前提或結論可以是已知的，也可以是未知的。推理可以從已知推出未知，也可以從已知推出已知，也可以從未知推出已知，也可以從未知推出未知。以下各舉一例。