选言推理是什么?

[拼音]：xuanyan tuili

[外文]：disjunctive inference

指传统逻辑里一类有两个前提的演绎推理，其中一个前提是选言命题，另一个是该选言命题的支命题的负命题。旧称选言三段论或混合选言三段论。古希腊逻辑学家泰奥弗拉斯多最早讨论了选言推理的形式。

传统逻辑一般只讨论相容的“或者”，因而选言推理只有一种形式，即A或者B，并非A，所以，B。此形式可改述为一条推理规则，这就是:否认一个支命题就承认另一个支命题。日常思维中容易发生的错误是从 “A或者 B，A”推出“并非B”。如：“某甲说错了或者某乙听错了，某甲说错了，所以，某乙没有听错”。现代讨论传统逻辑的书常把选言推理分为相容的和不相容的两类。不相容选言推理有两种形式：

（1）要么A要么B，并非A，所以，B。

（2）要么A要么B，A，所以，并非B。这两个形式也可改述为两条推理规则：

（1）否认一个支命题就承认另一个支命题；

（2）承认一个支命题就否认另一个支命题。传统逻辑还讨论了一种叫做纯选言三段论的演绎推理，其形式为：S是P或者Q，S是P或者R，所以，S是Q或者 R。古代的逻辑学家虽然发现了一些关于选言命题的推理形式，但尚未形成类似三段论理论那样的完整体系。例如，传统逻辑并没有明确提出，而只是在事实上使用了关于“或者”的交换律，即“A或者B”等值于“B或者A”