1) well formed formula
合式的公式
2) fitting of formula
公式的拟合
3) Wff
合式公式
1.
In this paper,we suppose W denote the set of all Wff of the propo sition logic to get a poset,then discuss some methods equivalent to the structural induction of the wff in the proposion logic P.
本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公式结构的归纳法等价的几个方法。
4) validity of WFFS
合取公式的永真式
5) formula fitting
公式拟合
1.
A Formula Fitting Method for Realtime Correction of Microwave Refraction Errors;
电波折射误差实时修正的公式拟合方法
6) collective formula
集合公式
1.
The paper presents some viewpoints on the understanding in the deduction process of Gibbs-Duhem equation and the collective formula of partial molar quantity.
对吉布斯—杜亥姆公式和偏摩尔量的集合公式的推导和理解的几个问题提出了作者的观点,认为不管有无恒温恒压的条件,体系的偏摩尔量ZB,m的零次齐次函数性质是吉布斯—杜亥姆公式的本质内容。
补充资料：合式
①合乎一定的规格、程式。②同‘合适’。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条