选言三段论是三段论的一种类别，又称为选言推理，其特点是，在两个前提中至少有一个前提为选言判断。这是选言三段论与直言三段论差别。

选言三段论，还有析取三段论等名称。

选言三段论的基础是选言判断。

关于选言判断，可以参阅文章

如果有一个前提为选言判断，通常这个选言判断是选言三段论的大前提。即大前提是一个选言判断，小前提是对选言判断中某一个选言支的肯定或否的直言命题，最后得到一个结论。

在选言推理中，根据选言判断各选言支之间的关系，分为相容选言推理和不相容选言推理。也就是说，前提为相容选言判断的选言推理是相容选言推理，前提是不相容选言判断的是不相容选言推理。

相容选言推理只有一种正确的推理形式：否定肯定式——小前提否定一部分选言支，结论就要肯定另一部分选言支。其逻辑结构表达式为：

或者A，或者B，或者C

非A，非B

所以，C

不相容选言推理：肯定否定式和否定肯定式都是有效的推理形式：

肯定否定式——即小前提肯定一部分选言支，结论就必须否定另外选言支，其逻辑结构表达式为：

要么A，要么B，要么C

A，

所以，非B和非C

否定肯定式——小前提除一个选言支外，否定所有其他的选言支，其逻辑结构表达式为：

要么A，要么B，要么C

非A，非B

所以，C

确认选言推理的形式是否正确，有以下两个步骤：

第一步，辨别它相容或不相容选言推理；

第二步，相容选言推理不可以从肯定推理出否定；若为不相容选言推理，否定肯定式推理的小前提和结论所包含的选项相加等于大前提所包括所有选项，肯定否定式只能肯定一个选言支，结论应当用一个选言命题来描述。

无效的选言推理举例——相容选言推理

小明或者跑开了，或者被车撞到了

小明跑开了

所以，小明被车撞到了。

首先，辨别它是一个相容选言判断；其次，它通过肯定一个选言支，推理出肯定另一个选言支的结论。

从相容选言判断的规则来看，它是无效的。因为在相容选言判断中，各选言支有可能同时为真。因为小明有可能即跑开了又被车撞到了，所以这个选言推理不成立。

无效的选言推理举例——不相容选言推理

今年的中超冠军要么是鲁能，要么是国安，要么是申花

中超冠军不是申花，

今年鲁能中超联赛夺冠。

首先，辨别它是一个不相容选言推理；其次，它通过否定前提中的一个选言支来肯定另外一个选言支；第三，大前提中共有3个选言支，小前提和结论相加只有两个选言支。所以这个选言推理不成立。

与直言三段论一样，形式有效不代表逻辑有效（结论为真）。逻辑有效的推理必须保证前提中所有的命题都为真。

纯逻辑学的内容很枯燥，为了避免枯燥，今天转载两篇关于张维为的文章，供大伙一乐。

笔者也曾经写过与张维为有关的文章，汇总如下：