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

[[分类:古典逻辑]]{{DEFAULTSORT:jia3yan2ming4ti2}}
{{#seo:
|keywords=假言命题
|description=直言命题是古典逻辑理论中全部陈述条件的命题所在分类的统称。文本阐述了其在现代命题逻辑中的对应。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2025-11-30
}}
{{InfoBox
|name=假言命题
}}
'''假言命题'''是古典逻辑中对[[命题]]的一个分类。假言命题指描述条件关系的命题，此处条件关系包含[[充分条件、必要条件|充分条件、必要条件、充分必要条件]]。其中，描述充分条件的命题是现代逻辑学中的[[条件命题]]（也有时称为“假言命题”），描述必要条件的命题是逆向的条件命题，而描述充分必要条件的命题是现代逻辑学中的[[双条件命题]]。

需要注意的是，假言命题是古典逻辑学的一个分类，在哲学下的逻辑学仍在使用，但它不是一个数理逻辑中的常用分类方式。数理逻辑在使用这个词时，往往仅指代描述充分条件的子类。