Also known as entailment, asserted relation, implies, logically implies, logical implication
fundamental concept in logic
Article · 中文
蕴涵（英語：Entailment）在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系，一般使用⇒符号表示。
Abstract from DBpedia / Wikipedia · CC BY-SA
Also known as entailment, asserted relation, implies, logically implies, logical implication
fundamental concept in logic
蕴涵（英語：Entailment）在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系，一般使用⇒符号表示。
Abstract from DBpedia / Wikipedia · CC BY-SA