命题公式的替换原理(rule of replacement) 将命题公式A中的子公式C的部分出现替换为和C逻辑等价的公式D（C╞╡D ），得到的命题公式记作B，则A╞╡B。
基于16个网页-相关网页
现在我们已经介绍了类型替换的原理，现在来看一个示例(清单17)，看看如何使用它编写针对Atom的模式。
Now that we have described how the type alternatives mechanism works, look at an example (Listing 17) of how you can use it to write a schema for Atom.
用变量的线性替换解释矩阵乘法，由此可以简洁而且直观地导出初等矩阵和分块矩阵的乘法原理。
From this point of view, we can concisely and intuitively introduce the multiplication principles of elementary matrix and block matrix.
现有因素替换法在原理揭示和表述上存在一定的缺陷。
The present factor alternation method shows that its theory is weak but also illogical.
应用推荐