选言推理

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

传统逻辑一般只讨论相容的“或者”，因而选言推理只有一种形式，即A或者B，并非A，所以，B。此形式可改述为一条推理规则，这就是:否认一个支命题就承认另一个支命题。日常思维中容易发生的错误是从“A或者 B，A”推出“并非B”。如：“某甲说错了或者某乙听错了，某甲说错了，所以，某乙没有听错”。现代讨论传统逻辑的书常把选言推理分为相容的和不相容的两类。不相容选言推理有两种形式：①要么A要么B，并非A，所以，B。②要么A要么B，A，所以，并非B。这两个形式也可改述为两条推理规则：①否认一个支命题就承认另一个支命题；②承认一个支命题就否认另一个支命题。传统逻辑还讨论了一种叫做纯选言三段论的演绎推理，其形式为：S是P或者Q，S是P或者R，所以，S是Q或者 R。古代的逻辑学家虽然发现了一些关于选言命题的推理形式，但尚未形成类似三段论理论那样的完整体系。例如，传统逻辑并没有明确提出，而只是在事实上使用了关于“或者”的交换律，即“A或者B”等值于“B或者A”