释
引理
yǐn lǐ · ㄧㄣˇ ㄌㄧˇ
修撰于 2026-06-29 23:02:42
音义
| 拼音 | yǐn lǐ |
|---|---|
| 字母 | yin li |
| 首字母 | yl |
| 注音 | ㄧㄣˇ ㄌㄧˇ |
| 注音符号 | ㄧㄣ ㄌㄧ |
广训
引理是为证明某个定理或解某个问题所要用到的命题。引理和定理没有严格的区分，如果论证某个命题时，还没有直接根据，需要某些还没有被证明的结论，把它提出来加以证明，就是所谓的构造引理。
yǐn lǐ · ㄧㄣˇ ㄌㄧˇ
修撰于 2026-06-29 23:02:42
| 拼音 | yǐn lǐ |
|---|---|
| 字母 | yin li |
| 首字母 | yl |
| 注音 | ㄧㄣˇ ㄌㄧˇ |
| 注音符号 | ㄧㄣ ㄌㄧ |
引理是为证明某个定理或解某个问题所要用到的命题。引理和定理没有严格的区分，如果论证某个命题时，还没有直接根据，需要某些还没有被证明的结论，把它提出来加以证明，就是所谓的构造引理。