在三段论中，除了前面讨论的直言三段论和选言三段论之外，还有一种三段论类型是假言三段论。
假言三段论：至少一个前提是假言（条件）命题的三段论。
其中，前提全部由假言（条件）命题组成的三段论称为纯假言三段论；一个前提是假言（条件）命题，另一个命题是对前一个假言（条件）命题的前件判断为真的的命题，称为混合假言三段论。
假言三段论的基础是假言（条件）命题，假言（条件）命题又称为假言（条件）判断。关于条件判断，可参阅笔记。
假言命题的前件和后件。
首先举例来看一个假言三段论：
如果讲话的官员是贪官，那么他说谎了；
如果他说谎了，那么他否认自己是贪官，
所以，如果讲话的官员是贪官，那么他否认自己是贪官。
在第一个前提“如果那个讲话的官员是贪官，那么他说谎了”中，我们可以看到这个条件命题是由两个命题组成的，前一个命题就“如果……”称为“前件”，后一个命题“那么……”叫做“后件”。
在上面的三段论例子中，两个前提都是条件命题，这种前提都是条件命题的假言三段论就称为纯假言三段论。
从这个三段论推理中，我们可以看到第一个前提和结论有同样的前件，第二个前提和结论有同样的后件。
所有符合上述形式的纯假言三段论都是形式有效的论证。
混合假言三段论：
在两个前提中，一个是条件命题，另一个是直言命题。
混合假言三段论有两种有效形式：肯定前件和否定后件。
例1：肯定前件
两个讲话的官员中，如果第二个官员说真话，那么有一个官员是贪官；
第二个官员说真话；
所以，有一个官员是贪官。
这个例子中，直言命题是对条件命题中的前件进行肯定，结论是对条件命题中的后件进行肯定。
具有这种形式的三段论是形式有效的论证。
这种类型的论证称为肯定前件式。
与有效的形式相应的是在直言命题中肯定后件，从而肯定前件。这就是典型的“肯定后件式”逻辑谬误。
比如下面的例子：
两个讲话的官员中，如果第二个官员说真话，那么有一个官员是贪官；
只有一个官员是贪官；
所以，第二个官员说了真话。
例2：否定后件
两个讲话的官员中，如果第二个官员说真话，那么有一个官员是贪官；
两个官员都不是贪官；
所以，第二个官员说了真话。
在这个例子中，直言命题否定了条件命题的后件，结论必然是对条件命题中前件的肯定。
相应的，如果直言命题肯定的是后件，从而肯定前件，就是典型的“肯定后件”逻辑谬误。
比如下面的例子：
两个讲话的官员中，如果第二个官员说真话，那么有一个官员是贪官；
有一个官员是贪官；
所以，第二个官员没说真话。
小结：
假言三段论分为纯假言三段论和混合假言三段论。
纯假言三段论中两个前提都是条件命题（条件判断）；混合假言命题中两个前提一个是条件命题，另一个是直言命题。
纯假言三段论的有效形式只有一种：第一个前提和结论有同样的前件，第二个前提和结论有同样的后件。
混合假言三段论的有效形式有两种：肯定前件和否定后件。
肯定前件：直言命题对条件命题的前件表示肯定，推理出对后件的肯定。逻辑谬误的形式为否定前件。
否定后件：直言命题对条件命题的后件表示否定，从而推理出对前件的肯定。逻辑谬误的形式为肯定后件。
参考阅读：