前束式,prenex formula

1)prenex formula
前束式

2)prenex normal form
前束范式
1.
In the first order logic whose adequate set of connective is (→,~),we can use the four \{equivalent\} valued formulas to show that the prenex normal form theorem is true.
以｛→,～｝为连词完全集的一阶逻辑前束范式定理是由4 个等值式得到的。



3)pernex standard form
标准前束范式

4)prenex disjunctive normal form
前束析取范式

5)prenex conjunctive normal form
前束合取范式

6)toe-in[英]['təuin][美]['to,ɪn]
前束
1.
The Mechanical Property Research on Front Wheel with Toe-in and Camber Angle;
车轮存在外倾与前束力学特性的研究


更多例句>>


补充资料：前束
分子式：
CAS号：

性质：又称前束。指汽车左右两前轮装配时，使两前轮的前端间距小于后端间距。一般前束量为3～6mm。当前轮前束与前轮外倾的作用相抵消时，前轮可不产生侧滑而回转，保持直线行驶状态。


说明：补充资料仅用于学习参考，请勿用于其它任何用途。

前束式,prenex formula