选言命题
选言命题是古典逻辑中对命题的一个分类。选言命题指描述选择关系的命题，包括相容的选择关系与不相容的选择关系。其中，描述相容的选择关系的命题在现代逻辑学中形式化为析取命题（也有时称为“弱析取命题”），描述不相容选择关系的命题为互斥析取命题（“强析取命题”）。
需要注意的是，直言命题是古典逻辑学的一个分类，在哲学下的逻辑学仍在使用，但它不是一个数理逻辑中的常用分类方式。
相关术语
| 选言支 | |
|---|---|
| 术语名称 | 选言支 |
| 英语名称 | disjunct |
选言命题是带有选择关系的命题，含有多个子命题，称为选言支(disjunct)。根据选言支之间是否具有并存关系，选言命题可按形式分为两类：
- 相容选言命题/弱析取命题：“或者是 P 或者是 Q （或者两者都是）”“有可能 P 也有可能 Q”。这一类命题都是表达“至少要有 P 和 Q 中的一个、也有可能两个都有”的关系。
- 不相容选言命题/强析取命题：“要么 P 要么 Q”“不是 P 就是 Q”。这一类命题都是表达“至少要有 P 和 Q 中的一个，但是不可以两个都有”的关系。
现代符号化
古典逻辑学的选言命题可以转化为现代数理逻辑中含有析取词或互斥析取词的谓词逻辑命题。其中，相容选言命题对应现代析取命题，不相容选言命题对应现代互斥析取命题。
| 选言命题类型 | 现代常用符号表达 |
|---|---|
| 相容选言命题 | [math]\displaystyle{ p\lor q }[/math] |
| 不相容选言命题 | [math]\displaystyle{ q\barvee p }[/math] |
| 传统逻辑 | |||||
|---|---|---|---|---|---|
| 推理的传统分类 | |||||
| 推理方向 | 一般到特殊 | 特殊到一般 | 特殊到特殊 | 结果到原因 | |
| 推理过程 | 演绎 | 归纳（广义） | 类比 | 溯因 | |
| 推理方法 | 演绎法 | 完全归纳法 （含数学归纳法等） |
归纳法（狭义） （不完全归纳法） |
类比法 | 溯因法 |
| 推理分类 | 演绎推理/必然性推理 | 归纳推理 | 类比推理 | 溯因推理 | |
| 合情推理/概然性推理/或然性推理 | |||||
| 命题及其演绎推理的传统分类 | |||||
| 直言命题 | 直接推理（对当关系推理、换质推理、换位推理）、三段论（直言三段论） | ||||
| 假言命题 | 假言推理（肯定前件、否定后件、逆否命题推理）、假言三段论 | ||||
| 选言命题 | 选言推理（选言三段论） | ||||
| - | 选言假言推理（构成式二难推理、破斥式二难推理） | ||||