释
代入定理
dài rù dìng lǐ · ㄉㄞˋ ㄖㄨˋ ㄉㄧㄥˋ ㄌㄧˇ
修撰于 2026-06-30 23:11:39
音义
| 拼音 | dài rù dìng lǐ |
|---|---|
| 字母 | dai ru ding li |
| 首字母 | drdl |
| 注音 | ㄉㄞˋ ㄖㄨˋ ㄉㄧㄥˋ ㄌㄧˇ |
| 注音符号 | ㄉㄞ ㄖㄨ ㄉㄧㄥ ㄌㄧ |
广训
在任何一个包含变量A的逻辑等式中，若以另外一个逻辑式代入式中所有A的位置，则等式仍然成立。这就是所谓代入定理。
dài rù dìng lǐ · ㄉㄞˋ ㄖㄨˋ ㄉㄧㄥˋ ㄌㄧˇ
修撰于 2026-06-30 23:11:39
| 拼音 | dài rù dìng lǐ |
|---|---|
| 字母 | dai ru ding li |
| 首字母 | drdl |
| 注音 | ㄉㄞˋ ㄖㄨˋ ㄉㄧㄥˋ ㄌㄧˇ |
| 注音符号 | ㄉㄞ ㄖㄨ ㄉㄧㄥ ㄌㄧ |
在任何一个包含变量A的逻辑等式中，若以另外一个逻辑式代入式中所有A的位置，则等式仍然成立。这就是所谓代入定理。