下载掌阅APP，畅读海量书库
立即打开
用字母p和q代表两个陈述句，最简单的逻辑有效演绎形式是：
如果（句子p），那么（句子q）。
（句子p）。
那么，（句子q）。
可简写作：
如果p，那么q。
p。
那么，q。
这种形式叫作 肯定前件式 （modus ponens）。我们用p代表“下象棋中没有运气的成分”，用q代表“下象棋是一种纯靠技术取胜的游戏”，那么本章序言中的例子就符合 肯定前件式 （请自行检验）。另一个例子：
如果驾车时使用手机更容易发生事故，那么应该禁止驾车时使用手机。
驾车时使用手机 的确 更容易发生事故。
因此，应该禁止驾车时使用手机。
为了展开这个论证，你必须同时解释和证实它的两个前提，它们需要用到不同于演绎法的论证形式 （参见前章） 。 肯定前件式 使你从最开始就把各个前提清晰地分别列出。