1) the rule of substitution
代入规则
1.
The classical proposition logic systems with the rule of substitution are syntactically complete, while the ones without the rule are not.
语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的。
4) Rules Loading
规则装入
5) rules of warehousing
入库规则
6) posting rule
记入规则
补充资料：舒尔策-哈代规则
分子式：
CAS号：
性质：实验表明，电解质中对胶体起聚沉作用的主要是电荷与胶体粒子相反的离子，即反离子；反离子的价数越高，聚沉效率越高。一般来说，反离子的聚沉值大致与其价数的六次方成反比。这被称作舒尔策-哈代规则。
CAS号：
性质：实验表明，电解质中对胶体起聚沉作用的主要是电荷与胶体粒子相反的离子，即反离子；反离子的价数越高，聚沉效率越高。一般来说，反离子的聚沉值大致与其价数的六次方成反比。这被称作舒尔策-哈代规则。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条