| 不相容的选言推理 exclusive disjunctive inference 以不相容选言命题为选言前提的选言推理。由于一个不相容的选言命题，当其为真时，其选言支中至少有一个为真，而且也只能有一个为真，所以，不相容的选言推理有肯定否定式和否定肯定式两种正确的形式：(1)肯定否定式：从肯定选言前提的部分选言支，推出否定其余选言支的结论。如：“有机体要么是单细胞的，要么是多细胞的;原生动物是单细胞的;所以，原生动物不是多细胞的。”其推理形式是：“要么p，要么q;p(或者q);所以非q(或者非p)。”(2)否定肯定式：从否定选言前提的部分选言支，推出肯定其余选言支的结论。如：“有机体要么是单细胞的，要么是多细胞的;节肢动物不是单细胞的;所以，节肢动物是多细胞的。”其推理形式是：“要么p，要么q;非p(或者非q);所以q(或者p)。”选言前提有三个或三个以上选言支时，仍然只有这两种推理形式。 |