维基百科，自由的百科全书
蕴涵(implication 或 entailment)在和中用来描述在两个句子或句子的集合之间的联系。
陈述句子集合 A 语义上蕴涵句子集合 B。
形式定义: 集合 A 蕴涵集合 B，在其中 A 中所有句子都为真的所有模型中，在 B 中的所有句子也是真的。在图表形式中，它看起来像:
我们需要蕴涵的定义要求 A的所有的模型也是B的模型，因为像知识库这样的形式系统在被问到事实的集合(A)是否蕴涵命题(B)的时候，不可能知道在用户头脑中对此的解释。
在()中，有不同的但密切相关的意思。
如果对于公式 X 有
则 X 被称为"" 或是""。
陈述句子集合 A 逻辑蕴涵句子集合 B。它可以读作 "B 可以证明自 A"。
定义: A 逻辑蕴涵 B，如果通过假定所有 A 中所有的句子并通过对它们应用一个有限序列的推理规则(比如来自的)，你可以推导出 B 中的所有句子。
当然，这与特定的逻辑()有关。在讨论多个逻辑的情况下，在
符号上放置是很有用的。
理想上，蕴涵(semantic consequence)和逻辑蕴涵(syntactic consequence)，但这不总是可行。(参见，它陈述了包含为真但不能证明的句子的一些语言(比如))。在这种情况下，把等价分成两部分是有用的:
演绎系统 S 对于语言 L 是的，当且仅当 : 就是说，所有论证都是可的。
演绎系统 S 对于语言 L 是的，当且仅当 : 就是说，所有可证明的论证都是有效的，没有无效的论证是可证明的。
在很多情况下，蕴涵符合于: 就是说，
当且仅当 。但是在一些中这不是真的。数理逻辑1_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
文档贡献者贡献于
评价文档：
183页免费30页免费35页免费21页免费18页免费24页免费24页免费31页免费15页免费13页免费
喜欢此文档的还喜欢508页免费62页免费34页免费157页免费633页免费
数理逻辑1|数​理​逻​辑
把文档贴到Blog、BBS或个人站等：
普通尺寸(450*500pix)
较大尺寸(630*500pix)
大小：3.77MB
登录百度文库，专享文档复制特权，财富值每天免费拿！
你可能喜欢离散数学01 命题逻辑概念_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
文档贡献者贡献于
评价文档：
17页免费41页免费120页1下载券61页1下载券73页1下载券113页1下载券66页1下载券28页1下载券32页3下载券26页1下载券
离散数学01 命题逻辑概念|
把文档贴到Blog、BBS或个人站等：
普通尺寸(450*500pix)
较大尺寸(630*500pix)
大小：1.36MB
登录百度文库，专享文档复制特权，财富值每天免费拿！
你可能喜欢implication
高频词，一定要记得哦！
英[??mpl?'ke???n]
美[??mpl?'ke???n]
n. 卷入，牵涉；暗示；可能的影响；含蓄，含意
The driver's implication in the crime was never proved.
司机与那起案件有牵连一事从未得到证实。
His implication in the crime was obvious to all.
大家都清楚他和这一罪行有牵连。
Did you gather the implications of her remark?
你猜到她那番话的含义了吗?
I resent your implication that my work is unsatisfactory.
我讨厌你这话的弦外之音，似乎我的工作不能令人满意。
The Attorney General was aware of the political implications of his decision to prosecute.
司法部长很清楚他决定起诉可能引发的政治后果。
The low level of current investment has serious implications for future economic growth.
当前低迷的投资水平会对未来的经济增长产生严重影响。
He seemed by implication to acknowledge that fact.
他似乎含蓄地承认了那事实。
She accused the party, and by implication, accused its leader too.
她指责了该政党，也含蓄地指责了其领袖。
Implication is a more generic notion.
蕴涵是更为一般的概念。
1.something that is inferred (deduced or entailed or implied)
his resignation had political implications
2.a meaning that is not expressly stated but can be inferred
the significance of his remark became clear only later
the expectation was spread both by word and by implication
3.an accusation that brings into intimate and usually incriminating connection
4.a logical relation between propositions p and q of the form if p then q'; if p is true then q cannot be false
5.a relation implicated by virtue of involvement or close connection (especially an incriminating involvement)
he was suspected of implication in several robberies
只有登录后，才能查看此项，现在是否？
1.I might have to implicate you.
我可能会连累你。
2.His absence implicates disagreement.
他的缺席意味着他不同意。
3.Implication is a more generic notion.
蕴涵是更为一般的概念。
4.He is implicated with others in a crime.
他在某罪案中受人牵累。
5.The implications of the spread are alarming.
蔓延的影响是令人震惊的。
hint,implication,suggestion
这些名词均有“暗示，暗指”之意。最常用用词，多指无意中的，间接的暗示。指对某事不公开发表自己的意见，仅用语言动作或表情表明态度，要对方进行推断。既可指比较明显的暗示，又可指客观上流露出的迹象。
好文推荐：百度文库-信息提示
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
信息提示对不起，该文档已被删除，无法查看
4秒后，自动返回首页}