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。当前轮前束与前轮外倾的作用相抵消时,前轮可不产生侧滑而回转,保持直线行驶状态。
CAS号:
性质:又称前束。指汽车左右两前轮装配时,使两前轮的前端间距小于后端间距。一般前束量为3~6mm。当前轮前束与前轮外倾的作用相抵消时,前轮可不产生侧滑而回转,保持直线行驶状态。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条