Modus ponens

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

正確的推論過程可分兩種，一種是演繹上正確的推論過程，叫做「對確論證」（valid argument）；另一種是歸納上正確的推論過程，叫做「蓋確論證」（strong argument）。

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

18對確的論證可以有假的結論。( ) 19.不對確的論證不一定沒有真的結論。( ) 20.一個論證如果前提全為真，結論也為真，那麼它不只是對確的，而且是真確的(sound)。( )

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