rule of replacement的意思|示意
美 / /
英 / /
替换规则
rule of replacement的网络常见释义
替换原理 命题公式的替换原理(rule of replacement) 将命题公式A中的子公式C的部分出现替换为和C逻辑等价的公式D（C╞╡D ），得到的命题公式记作B，则A╞╡B。
替换规则 替换规则(Rule of Replacement) 设有恒等式A B, 若在公式C中出现A的地方, 替换以B(不必 每一处)而得到公式D, 则C D。