查看“︁选言命题”︁的源代码

[[分类:古典逻辑]]{{DEFAULTSORT:xuan3yan2ming4ti2}}
{{#seo:
|keywords=选言命题
|description=选言命题是古典逻辑理论中存在选择的命题所在分类的统称。文本阐述了其在现代命题逻辑中的对应。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2025-12-02
}}
'''选言命题'''是古典逻辑中对[[命题]]的一个分类。选言命题指描述选择关系的命题，包括相容的选择关系与不相容的选择关系。其中，相容的选择关系在现代逻辑学中形式化为[[析取词]]，描述这种关系的命题为[[析取命题]]（也有时称为“弱析取命题”），不相容选择关系为[[互斥析取]]词，描述这种关系的命题为互斥析取命题（“强析取命题”）。

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

== 相关术语 ==

{{InfoBox
|name=选言支
|eng_name=disjunct
}}
选言命题是带有选择关系的命题，含有多个子命题，称为'''选言支'''('''disjunct''')。根据选言支之间是否具有并存关系，选言命题可按形式分为两类：
* '''相容选言命题'''：“或者是 P 或者是 Q （或者两者都是）”“有可能 P 也有可能 Q”。这一类命题都是表达“至少要有 P 和 Q 中的一个、也有可能两个都有”的关系。
* '''不相容选言命题'''：“要么 P 要么 Q”“不是 P 就是 Q”。这一类命题都是表达“至少要有 P 和 Q 中的一个，但是不可以两个都有”的关系。

== 现代符号化 ==

古典逻辑学的选言命题可以转化为现代数理逻辑中含有[[析取|析取词]]或[[互斥析取|互斥析取词]]的谓词逻辑命题。其中，相容选言命题对应现代[[析取命题]]，不相容选言命题对应现代互斥析取命题。

{| class="wikitable" style="text-align: center"
! 选言命题类型
! 现代常用符号表达
|-
! 相容选言命题
| <math>p\lor q</math>
|-
! 不相容选言命题
| <math>q\barvee p</math>
|}


{{传统逻辑}}