正如我們在第5章看到的，任何一個具有有效形式的論證本身也是有效的，可以看作這個形式的替換例或事例。任何一個無效形式的代入例本身也是無效的。然而，命題邏輯系統具有大量的無效或有效形式。因此，僅僅透過辨識某一論證是一個有效式或無效式的例示是不可能學到命題邏輯系統中論證的有效性或無效性知識的。但能夠辨識一些最常見的有效式或無效式也是非常有益的。我們將重新考察第5章已經介紹過的五種形式，學習如何認出例示那些形式的論證。

肯定前件式

肯定前件式是一種常見有效式，它的一個前提是條件句，另一個前提是條件句前件的肯定，結論是後件的肯定。如，

例12-10 1. 如果喬斯是消防員，那麼他就為消防隊工作。

2. 喬斯是消防員。

3. 喬斯是為消防隊工作。

這個論證舉例說明了“肯定前件式”（字面意義是“肯定的模式”）這一有效式，其符號表示是，

例12-10a 1. P∩Q

2. P

3. Q

因為實質條件句的前件表達的是後件的充分條件，前件在肯定前件式中被斷定為真，任何具有這一形式的論證都有效。換句話說，如果P蘊涵Q為真，並且P為真，那麼Q必然為真。具有這一形式的論證的有效性可以透過真值表例12-11證明。

例12-11

可以看出，這個真值表中並沒有兩個前提都真，但結論為假的行。

Loading...

未載入完，嘗試【重新整理】or【退出閱讀模式】or【關閉廣告遮蔽】。

嘗試更換【Firefox瀏覽器】or【Chrome谷歌瀏覽器】開啟多多收藏！

移動流量偶爾打不開，可以切換電信、聯通、Wifi。

收藏網址：www.peakbooks.cc

(＞人＜；)