選言推理就是前提中至少有一個是選言判斷的推理。也叫做選言三段論。它可以分為相容的選言推理和不相容的選言推理兩種。

　　一、相容的選言推理

　　相容的選言推理就是前提中有一個是相容的選言判斷的選言推理。

　　相容的選言推理有兩條規則：第一，否定一部分選言支，就要肯定另一部分選言支；第二，肯定一部分選言支，不能否定另一部分選言支。

　　根據規則，相容的選言推理只有一個有效式，即：否定肯定式。其推理形式如下：

　　　　p或者q　　　　或　　　　p或者q

　　　　非p　　　　　　　　　　　非q

　　　　所以，q　　　　　　　　　所以，p

也可以符號化為：

　　　　（（púq）ù?p）?q　　　　或　　　　（（púq）ù?q）?p

　　二、不相容的選言推理

　　不相容的選言推理就是前提中有一個是不相容的選言判斷的選言推理。

　　不相容的選言推理有兩條規則：第一，否定一部分選言支，就要肯定另一部分選言支；第二，肯定一部分選言支，就要否定另一部分選言支。

　　根據規則，不相容的選言推理有兩個有效式：

　　1.否定肯定式，其推理形式如下

　　　　要么p，要么q　　　　或　　　　要么p，要么q

　　　　非p                                                      非q

　　　　所以，q　　　　　　　　　　　　所以，p

也可以符號化為：

　　　　（（p`úq）ù?p）?q　　　　或　　　　（（p`úq）ù?q）?p

　　2.肯定否定式，其推理形式如下：

　　　　要么p，要么q　　　　或　　　　要么p，要么q

　　　　p                                                      　q

　　　　所以，非q　　　　　　　　　　　所以，非p

也可以符號化為：

　　　　（（p`úq）ùp）??q　　　　或　　　　（（p`úq）ùq）??p