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