選言直言推理

選言直言推理(disjunctive and categorical inference) 通常簡稱“選言推理”。一個前提為選言命題而另一前提為直言命題的選言推理。當選言前提為二支的選言命題時，其結論為直言命題。如：“或者是社會存在決定社會意識，或者是社會意識決定社會存在；不是社會意識決定社會存在；所以，是社會存在決定社會意識。”當選言前提有三個或三個以上選言支時，根據其選言支之間關係的性質（相容或不相容），結論或為選言命題（直言前提否定選言前提的一支時），或為聯言命題（直言前提肯定具有不相容關係的選言前提的一支時）。

前者如：“這份統計表的錯誤或由於材料不可靠，或由於計算有差錯，或由於抄寫有錯誤；這份統計表的錯誤不是由於抄寫有錯誤；所以，這份統計表的錯誤或由於材料不可靠，或由於計算有差錯。”後者如：“一個三角形或是銳角的，或是鈍角的，或是直角的；這個三角形是直角的；所以，這個三角形不是銳角的，也不是鈍角的。”在選言直言推理中，其選言前提可以是相容的選言命題，也可以是不相容的選言命題，按此，選言直言推理也可分為相容的與不相容的兩種。