“形式蕴涵”（formal implication）是罗素在《数学原理》中引入的一个称谓，以下是其在《数理哲学导论》中关于该词含义的说明：
基于52个网页-相关网页
implication in formal meaning 形式蕴涵
formal chemical structure implication 形式蕴涵
·2,447,543篇论文数据，部分数据来源于NoteExpress
The paper gives an algorithm of obtaining all form concepts from the formal context based on the concept lattice theory. And then, to extract the implication rules from the lattice.
基于概念格理论提出了一种从形式背景中获得所有形式概念的算法，并根据构建的概念格提取蕴含规则。
youdao
应用推荐
模块上移
模块下移
不移动