...类型当作规定一个约束条件，如果我们规定的约束条件越好，相对应的被定义元素的集合就越精密，所以逻辑公式（logical formulas）就成为描叙类型特征的最合适工具。
基于34个网页-相关网页
primitive logical formulas 基本论理公式
·2,447,543篇论文数据，部分数据来源于NoteExpress
The logical formulas are an ordered binary pair, the first element is an assertion and the second is a definable domain or approximations of undefinable domain corresponding to the assertion.
这种逻辑公式的结构是有序二元对，第一元是断言；第二元是对应于这个断言的可定义集或不可定义域集的近似集。
youdao
We did not teach our children formulas but curiosity to seek a logical explanation for the world.
FORBES: He��s just an everyday kid, 16 year-old Jack Andraka
These are not mathematical formulas, but they describe what happens as truly as the most logical of the quantitative sciences.
FORBES: The Wealth Of Information Based Knowledge
应用推荐
模块上移
模块下移
不移动