論證標準式

最初的論證「所有人都會死，所有會死的都是動物，因此，所有人都是動物」是用日常語言表達，直覺上前提保證結論為真，是對確論證(valid argument) 。

對確的論證不會前提全假，結論卻真。( ) 6.一個論證只要不是前提全真結論卻假，則它一定對確。( ) 7.沒有一個論證既是對確又不「真確」(sound)( )

簡單而言，我們只要明白，與事實相符為真確，與事實不符為錯誤便足夠了。 ... 「對確」的意思，是「邏輯上沒有可能在同一情況前題正確而結論錯誤」。

所構成的，但是，只有真命題卻不一定能構作出真確的論證，看看下面這個例子： ... 我們可以這樣來區分「真確」和「對確」：一個具有合理、相關的前提，並且前提足以 ...

如果我們進一步要求一個對確論證的前提要是真的話，我們會將這樣的論證稱為「真確」論證(Sound Argument)，以下的例子就是一真確論證[3]。 例十一： 所有人會死。 ｝前提 ...