选言推理xuanyan tuili
演绎推理之一。其前提中有一个是选言判断，另一个是这个选言判断的一部分选言支（或其否定）。亦称选言三段论。现代关于传统逻辑的书把选言推理分为相容的和不相容的两类。
不相容选言推理是前提中有一个是不相容选言判断的选言推理。有两个有效式：❶肯定否定式，即前提肯定选言判断的一个选言支，结论否定其他选言支的形式。可表示为：要么p，要么q,p，所以，非q。
❷否定肯定式，即前提中否定除一个选言支以外的其余选言支，结论肯定那个没被否定的选言支的形式。可表示为：要么p，要么q，非p，所以，q。不相容选言推理的规则是：肯定一部分选言支，就要否定另一部分选言支；否定一部分选言支，就要肯定另一部分选言支。
相容选言推理是前提中有一个是相容选言判断的选言推理。它只有否定肯定式这一个有效式，其形式是：p或者q，非p，所以，q。相容选言推理的规则是：否定一部分选言支，就要肯定另一部分选言支；肯定一部分选言支，不能否定另一部分选言支。日常思维中易发生错误的是，肯定一部分选言支而否定另一部分选言支。在相容选言推理中，这种肯定否定式是无效的。
选言推理Xuanyan tuili
是前提中有一个是选言判断， 并且根据选言判断选言肢间的关系而推出结论的推理。选言推理分两种，即不相容选言推理和相容选言推理。❶不相容选言推理是前提中有一个不相容选言判断的选言推理。它有肯定否定式及否定肯定式两种形式。肯定否定式即前提中肯定选言判断的一个选言肢，结论中否定其他选言肢的形式。如：这个瓷瓶或是唐朝时生产的，或是宋朝时生产的，这个瓷瓶是唐朝时生产的。所以， 这个瓷瓶不是宋朝时生产的。否定肯定式即前提中否定了选言判断中除了一个选言肢以外的其余的选言肢， 结论中肯定那个没被否定的选言肢的形式。例如：金星牌电视机或是中国生产的，或是外国生产的，金星牌电视机不是外国生产的，所以，金星牌电视机是中国生产的。根据不相容选言判断选言肢不能同真的逻辑性质，不相容选言推理有两条规则，即：肯定一部分选言肢，就要否定另一部分选言肢；否定一部分选言肢，就要肯定另一部分选言肢。
❷相容的选言推理是前提中有一个相容的选言判断的选言推理。由于选言肢相容， 肯定其中一个或数个选言肢后，不能随之否定其他肢， 因此它只有否定肯定式这一种形式。例如：小麦不丰收或是施肥不合理，或是水分不够，或是遭受了自然灾害，某区小麦不丰收不是施肥不合理，也不是水分不够，所以，某区小麦不丰收是由于遭受了自然灾害。根据相容的选言判断选言肢可以同真的逻辑性质，相容的选言推理的规则有两条，即否定一部分选言肢，就要肯定另一部分选言肢；肯定一部分选言肢， 不能否定另一部分选言肢。
选言推理
前提中包括选言判断，依据选言判断的逻辑性质进行的复合判断推理。分为相容的选言推理和不相容的选言推理。
选言推理
指前提中含有选言判断（命题）的推理。选言推理由两个前提和一个结论组成，两个前提中一个是选言判断，另一个是直言判断，结论是直言判断。通常把这种推理称为选言直言推理，把选言判断的前提称为选言大前提，直言判断的前提称为直言小前提。选言推理分为二种类型：相容的选言推理和不相容的选言推理。
相容选言推理 选言推理中的选言前提是相容的选言判断。对于相容的选言判断p或者q来说，它的两个支判断p和q中至少有一个是真的，同时不排除两个都是真的情况。根据相容选言判断的这个特征，相容选言推理有两条规则：（一） 否定一部分支判断就必须承认另一部分支判断；（二） 肯定一部分支判断而不能否定另一部分支判断。因此，这种推理只有一种正确形式即否定肯定式。这种推理形式用公式表示如下：
例如，“柏拉图或者是神学家或者是哲学家，柏拉图不是神学家，所以，他是哲学家。”
不相容选言推理 选言推理中的选言前提是不相容的选言判断。对于不相容的选言判断“要么p，要么q”来说，它的两个支判断p和q中有并且只有一个是真的。根据不相容选言判断的这个特征，不相容选言推理有两条规则：（一） 否定一个支判断就必须肯定另一个支判断；（二） 肯定一个支判断就必须否定另一个支判断。因此，这种推理有两种正确的形式。其一是肯定否定式，这种推理形式用公式表示如下：
例如，“要么柏拉图是希腊人，要么柏拉图是罗马人，柏拉图是希腊人，所以，柏拉图不是罗马人。”其二是否定肯定式，这种推理形式用公式表示如下：
例如，“要么柏拉图是希腊人，要么柏拉图是罗马人，柏拉图不是罗马人，所以，柏拉图是希腊人。”