Also known as entailment, asserted relation, implies, logically implies, logical implication
fundamental concept in logic
Wikidata facts
- Instance of
- concept
- Subclass of
- consequence
- Part of
- inference
Show 5 more facts
- topic's main category
- Category:Logical consequence
- Commons category
- Logical consequence
- studied by
- logic
- Unicode character
- ⇒
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · 中文
蕴涵（英語：Entailment）在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系，一般使用⇒符号表示。
Abstract from DBpedia / Wikipedia · CC BY-SA