代入定理
Substitution theorem
以上为机器翻译结果，长、整句建议使用 人工翻译 。
在任何一个包含变量A的逻辑等式中，若以另外一个逻辑式代入式中所有A的位置，则等式仍然成立。这就是所谓代入定理。
详细内容
应用推荐
模块上移
模块下移
不移动