选言命题

选言命题是古典逻辑中对命题的一个分类。选言命题指描述选择关系的命题，包括相容的选择关系与不相容的选择关系。其中，描述相容的选择关系的命题在现代逻辑学中形式化为析取命题（也有时称为“弱析取命题”），描述不相容选择关系的命题为互斥析取命题（“强析取命题”）。

需要注意的是，直言命题是古典逻辑学的一个分类，在哲学下的逻辑学仍在使用，但它不是一个数理逻辑中的常用分类方式。

相关术语

选言支
术语名称	选言支
英语名称	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]

传统逻辑
直言命题	直接推理（对当关系推理、换质推理、换位推理）、三段论（直言三段论）
假言命题	假言推理（肯定前件、否定后件、逆否命题推理）、假言三段论
选言命题	选言推理（选言三段论）
-	选言假言推理（构成式二难推理、破斥式二难推理）