形式論證

形式論證(formal argument)亦稱“形式推理”、“形式證明”。指的是在一個邏輯系統τ內，如果有一合式公式的有窮序列A₁，A₂……A_n-1，A_n。其中的每一項或是系統內的公理，或是由序列中的先前公式根據系統的變形規則而得到的，那么，這個合式公式的有分序列就是τ系統內的一個形式論證。 其中的A1，A2……An-1稱作該形式論證的前提，An則稱作該形式論證的結論。

一個形式論證在τ系統內是否是有效的，可以從語法與語義兩個方面去加以檢查。形式論證A₁，A₂……A_n-1，A_n是τ系統語法有效的，若且唯若A_n可以運用系統τ的變形規則、從A₁，A₂……A_n-1和系統τ的公理中演繹地推得；形式論證A₁，A₂……A_n-1，A_n是語義有效的，若且唯若在A₁，A₂……A_n-1為真的所有解釋下，A_n皆為真。