AT-NAV-G01-024 · 完整条目稿 0.57.0
蕴涵
基础概念必要基础
定义
在逻辑中，implication可以指条件联结词，也可以指逻辑后承关系。
深入理解
蕴涵须区分命题连接词与逻辑后承关系。经典命题逻辑中的实质蕴涵 p→q 仅在前件 p 为真、后件 q 为假时为假；这个真值条件本身并不表达因果关系或时间先后。逻辑后承则涉及在相关解释范围内，前提为真时结论能否为假，属于对前提与结论关系的讨论。自然语言的“如果”往往另有语境、相关性和语用条件，不能完全由实质蕴涵的真值表解释。因此，分析先确定所用层次和逻辑，再判断能够推出什么，不能把“蕴涵”直接翻成“导致”。
思考如何推进
- 确定讨论的是自然语言条件句、形式连接词还是逻辑后承。
- 在既定逻辑中说明前件与后件，避免称为原因和结果。
- 用真值条件或允许的解释检验推断。
- 检查是否偷偷加入因果、时间或相关性假设。
- 返回具体论证，交代可推出的结论及其适用范围。
例子
在一个规定好的模型中：如果一张卡片是红色的，它就有一个圆点。一张红色而没有圆点的卡片，会使命题所规定的这个条件不成立。
反例与界限
经常共同出现并不能确立蕴涵。而p → q也不允许反过来推出q → p。
与相近概念的区别
实质蕴涵连接式不等于逻辑后承关系，也不等于因果关系、会话含意或一切“如果”句。前件和后件是逻辑位置，不自动表示事件的原因与结果。
研究与应用
逻辑学、语义学与论证分析区分对象语言中的连接式和元语言中的后承判断，利用反例解释检查论证是否有效，并说明所采用的逻辑。
作用与限制
它让推导条件可以明确检查，防止把逻辑有效性误作经验因果证明；也揭示形式规则与日常条件句之间需要解释的距离。
共鸣
一句“如果”似乎把两件事牵在一起，逻辑分析却追问这根线究竟是什么。条件明确后，结论的力量与限度才同时显现。
为什么收录这个概念
本条提供区分连接、推导与因果的基础工具。它使“由此可见”受到明确条件约束，而不以一个词包办各种联系。
从中文阅读出发
中文“蕴涵”“推出”“意味着”在日常使用中可能交叠；英文 implication 与德文 Implikation 也需标明技术语境。三语读者都应先区分形式层次，而非从译词推定唯一理论。
历史背景与来源范围
本轮不为蕴涵建立新的起源年代；古代条件推理、现代形式系统与自然语言用法分别依其来源处理，不以术语相近证明历史同一。
实践、术语命名与中文译名的历史须分别核对。本稿不由一个相似例子推出中文术语的首例。
图谱条目的编辑形成与来源
平行来源审查已于2026-10-07核实；未要求进行人工专家审查。
已接受的来源澄清
词源和概念史与图谱条目的编辑形成过程分别说明。编辑对照或早期图谱检查点，不是术语的历史首见证据。个别证据尚缺时，继续明确标注。
来源与查阅范围
下列记录保留原资料的书目名称。所列页码不表示本轮重新阅读全文或独立核验其中全部引文。
引用本条
Reich, Michael（编）：蕴涵，AT-NAV-G01-024。语言图谱，Release 17.1.0，中文完整条目稿 0.57.0。引用时请注明访问日期及译稿审校状态。