在三段论中，除了前面讨论的直言三段论和选言三段论之外，还有一种三段论类型是假言三段论。

假言三段论：至少一个前提是假言（条件）命题的三段论。

其中，前提全部由假言（条件）命题组成的三段论称为纯假言三段论；一个前提是假言（条件）命题，另一个命题是对前一个假言（条件）命题的前件判断为真的的命题，称为混合假言三段论。

假言三段论的基础是假言（条件）命题，假言（条件）命题又称为假言（条件）判断。关于条件判断，可参阅笔记。

假言命题的前件和后件。

首先举例来看一个假言三段论：

如果讲话的官员是贪官，那么他说谎了；

如果他说谎了，那么他否认自己是贪官，

所以，如果讲话的官员是贪官，那么他否认自己是贪官。

在第一个前提“如果那个讲话的官员是贪官，那么他说谎了”中，我们可以看到这个条件命题是由两个命题组成的，前一个命题就“如果……”称为“前件”，后一个命题“那么……”叫做“后件”。

在上面的三段论例子中，两个前提都是条件命题，这种前提都是条件命题的假言三段论就称为纯假言三段论。

从这个三段论推理中，我们可以看到第一个前提和结论有同样的前件，第二个前提和结论有同样的后件。

所有符合上述形式的纯假言三段论都是形式有效的论证。

混合假言三段论：

在两个前提中，一个是条件命题，另一个是直言命题。

混合假言三段论有两种有效形式：肯定前件和否定后件。

例1：肯定前件

两个讲话的官员中，如果第二个官员说真话，那么有一个官员是贪官；

第二个官员说真话；

所以，有一个官员是贪官。

这个例子中，直言命题是对条件命题中的前件进行肯定，结论是对条件命题中的后件进行肯定。

具有这种形式的三段论是形式有效的论证。

这种类型的论证称为肯定前件式。

与有效的形式相应的是在直言命题中肯定后件，从而肯定前件。这就是典型的“肯定后件式”逻辑谬误。

比如下面的例子：

两个讲话的官员中，如果第二个官员说真话，那么有一个官员是贪官；

只有一个官员是贪官；

所以，第二个官员说了真话。

例2：否定后件

两个讲话的官员中，如果第二个官员说真话，那么有一个官员是贪官；

两个官员都不是贪官；

所以，第二个官员说了真话。

在这个例子中，直言命题否定了条件命题的后件，结论必然是对条件命题中前件的肯定。

相应的，如果直言命题肯定的是后件，从而肯定前件，就是典型的“肯定后件”逻辑谬误。

比如下面的例子：

两个讲话的官员中，如果第二个官员说真话，那么有一个官员是贪官；

有一个官员是贪官；

所以，第二个官员没说真话。

小结：

假言三段论分为纯假言三段论和混合假言三段论。

纯假言三段论中两个前提都是条件命题（条件判断）；混合假言命题中两个前提一个是条件命题，另一个是直言命题。

纯假言三段论的有效形式只有一种：第一个前提和结论有同样的前件，第二个前提和结论有同样的后件。

混合假言三段论的有效形式有两种：肯定前件和否定后件。

肯定前件：直言命题对条件命题的前件表示肯定，推理出对后件的肯定。逻辑谬误的形式为否定前件。

否定后件：直言命题对条件命题的后件表示否定，从而推理出对前件的肯定。逻辑谬误的形式为肯定后件。

参考阅读：