dài rù dìng lǐ · ㄉㄞˋ ㄖㄨˋ ㄉㄧㄥˋ ㄌㄧˇ · 更新 2026-06-30 00:02:42
在任何一个包含变量A的逻辑等式中，若以另外一个逻辑式代入式中所有A的位置，则等式仍然成立。这就是所谓代入定理。