词语含义查询 · 在线释义
查询结果
dài rù dìng lǐ · ㄉㄞˋ ㄖㄨˋ ㄉㄧㄥˋ ㄌㄧˇ
数据更新：2026-07-16 06:57:27
在任何一个包含变量A的逻辑等式中，若以另外一个逻辑式代入式中所有A的位置，则等式仍然成立。这就是所谓代入定理。