Talk:蕴涵
维基百科,自由的百科全书
implication和entailment无论在语义和语法上都不是一个概念,必须分为两个词条。
implication译为“蕴含”,指蕴含关联词表达的一类蕴含式,其语义解释可以因逻辑系统的不同而不同。
entailment我不清楚国内译为什么,其语义定义是Tarski给的,在绝大多数逻辑系统中相同。
本词条目前内容基本上是讲entailment。Revisor 11:12 2006年9月2日 (UTC)
英文版用 entailment 做的词条标题,而文章内用了 implication。英文版如果变成两个词条,我会做同步更新。 寒蝉退士 12:07 2006年9月2日 (UTC)