出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 词条 | 蕴涵 |
| 释义 | 蕴涵 蕴涵 逻辑学上具有不同的涵义。见“实质蕴涵”“形式蕴涵”“严格蕴涵”。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 蕴涵 数理逻辑中一种命题联结词。用符号“→”(或“⇒”、“⊃”)表示,如A→B即A和B的蕴涵式,读作“A蕴涵B”(或“如果A则B”)。在经典逻辑中,A→B的真假关系是:A真和B假则A→B假,否则A→B真。A和B分别称为A→B的前件和后件。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 蕴涵 语义学术语。亦作“蕴含”。指一种包含性质的语义推论。可表达为：如果A为真，则B也为真，如果A为假，则B或真或假，如果B为真，则A或真或假，但如果B为假，A一定为假；那么，A在语义上蕴涵B，或者说B是A的蕴涵。如说“他是一个单身汉”，那就蕴涵着“他是一个男人”；又如说“老张打了小王的头”，那就蕴涵着“老张打了小王”。构成蕴涵的条件是两个语句之间具有上下义关系（如“单身汉”是下义词，“男人”是上义词）或整体与部分的关系（如“小王”是整体，“小王的头”是部分），因此一个句子可以与几个句子构成蕴涵关系（如“他是一个单身汉”，蕴涵着“他是一个男人”“有一个人是单身汉”等）。最近的语义学、语用学中，“蕴涵”成为与“预设”对立的概念，因为两个句子中任何一个为假都会引起不同的后果。如“张三的妻子病了”为假，蕴涵的概念要求“张三的妻子身体不好”或真或假；但预设的概念要求第一个句子为假时第二个句子必真，如“张三的妻子没生病”预设“张三有妻子”。 出处：语言学卷 • 语义学 语用学 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。