代入定理

拼音dài rù dìng lǐ 注音ㄉㄞˋ ㄖㄨˋ ㄉㄧㄥˋ ㄌㄧˇ 更新2026-07-28 14:12:33
读音信息
拼音字母
dai ru ding li
拼音首字母
drdl
注音符号
ㄉㄞ ㄖㄨ ㄉㄧㄥ ㄌㄧ
注音首字母
ㄉㄖㄉㄌ
百科释义

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