正如我们在第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.finalbooks.work

(＞人＜；)