释
替换公理
tì huàn gōng lǐ · ㄊㄧˋ ㄏㄨㄢˋ ㄍㄨㄥ ㄌㄧˇ
修撰于 2026-06-30 03:30:50
音义
| 拼音 | tì huàn gōng lǐ |
|---|---|
| 字母 | ti huan gong li |
| 首字母 | thgl |
| 注音 | ㄊㄧˋ ㄏㄨㄢˋ ㄍㄨㄥ ㄌㄧˇ |
| 注音符号 | ㄊㄧ ㄏㄨㄢ ㄍㄨㄥ ㄌㄧ |
广训
代数替换公理(algebraic substitution axiom)：在任一代数恒等式中，每一个字母符号只是一个泛指的变量，因而可用其它形式的字母或恒等的函数表达式(只要用这些表达式替换后等式两边均仍有意义)替换，替换后等式仍成立。