代入定理

概述

在任何一个包含变量A的逻辑等式中,若以另外一个逻辑式代入式中所有A的位置,则等式仍然成立。这就是所谓代入定理。

2 扩展释义

在任何一个包含变量A的逻辑等式中,若以另外一个逻辑式代入式中所有A的位置,则等式仍然成立。这就是所谓代入定理。

9 词语组词

相关词条

本词条最后更新于 2026-07-11 00:19:49