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

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

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

<blockquote>
请注意本文没有加注英语名称。

因为能够搜索得到的结果中，对应的 hypothetical proposition 总是表达后一种含义，也就是所有描述条件关系的命题都是按照充分条件命题和双条件命题的形式整理后的，不会出现必要条件形式的说法。两个词汇的使用方式不对等，所以认为英语文献中没有完全对应的表达。
</blockquote>

== 相关术语 ==

{{InfoBox
|name=前件
|eng_name=antecedent
|aliases=protasis
}}
{{InfoBox
|name=后件
|eng_name=consequent
|aliases=apodosis
}}
{{InfoBox
|name=条件
|eng_name=condition
}}
{{InfoBox
|name=结论
|eng_name=conclusion
}}
假言命题总是具有以下三种形式之一。
* '''充分条件假言命题'''：“如果/若/倘若/假如/一旦 P 那么/则 Q”“只要 P 就 Q”“P 就足以 Q”。这一类命题都是表达“有 P 就一定有 Q 、没 P 才可能没 Q”的关系。记作 <math>P\rightarrow Q</math> ，读作 <math>P</math> 蕴涵 <math>Q</math> 。
* '''必要条件假言命题'''：“只有 P 才 Q”“必须 P 才 Q”“除非 P 否则不 Q”“不 P 就不 Q”“P 是 Q 的基础/前提/关键”“Q 离不开 P”。这一类命题都是表达“有 P 才可能有 Q 、没 P 就一定没 Q”的关系。记作 <math>P\leftarrow Q</math> ，读作 <math>P</math> 逆蕴涵 <math>Q</math> 。
* '''充分必要条件假言命题'''：“P 就意味着 Q”“有 P 就 Q ，反过来也是”“有没有 Q 取决于有没有 P”“P 是 Q 的唯一一种情况”。这一类命题表达“有 P 就一定有 Q 、没 P 也一定没 Q”的关系。记作 <math>P\leftrightarrow Q</math> ，读作 <math>P</math> 当且仅当 <math>Q</math> 。

根据表达形式，假言命题中的两个子命题被称为：
* '''条件'''('''condition''')：表达假设、前提、状况的子命题。
* '''结论'''('''conclusion''')：表达结果、断言、推断的子命题。

前两种假言命题中，总是有一个子句为真时保证另一个子句为真，后一个子句为假时反过来保证前一个子句为假。根据这一逻辑关系，假言命题中的两个子命题被称为：
* '''前件'''('''antecedent''')：表达蕴涵关系中，为真时可以保证另一个子命题为真的子命题，也是可以通过另一个子命题为假保证为假的子命题。
* '''后件'''('''consequent''')：表达蕴涵关系中，可以通过另一个子命题为真被保证为真的子命题，也是为假时可以保证另一个子命题为假的子命题。

<blockquote>
注：中文中，“条件”和“结论”两个词的用法存在一定争议。根据不同语境，一般有两种用法。
* 第一种与 condition / conclusion 相同，分别指句子结构上的前提和推断。若命题使用的条件复句形式，按语法关系，“只要”“只有”“除非”等引导的偏句是“条件”，而有“才”“就”“否则”“不然”这些词语的正句是“结论”；若命题使用形如“……是……的一个XX条件/前提”“……的XX条件/前提是……”形式，被称为“条件”“前提”的子句是“条件”，而另一句被称为“结论”。这一顺序取决于所表达的推理依赖关系中的主观顺序。
* 第二种与前件后件等同，描述命题所对应的蕴涵关系的结构中前后件关系。“条件”被视为“前件”的同义词，“结论”被视为“后件”的同义词，总是由逻辑关系决定。这一顺序取决于所表达的蕴含关系中的客观顺序。
</blockquote>


{{传统逻辑}}