找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 直觉主义逻辑
直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。 — 拼音 zhí jué zhǔ yì luó jí，更新 2026-07-15 23:28:06
| 拼音 | zhí jué zhǔ yì luó jí |
|---|---|
| 拼音字母 | zhi jue zhu yi luo ji |
| 首字母 | zjzylj |
| 注音 | ㄓˊ ㄐㄩㄝˊ ㄓㄨˇ ㄧˋ ㄌㄨㄛˊ ㄐㄧˊ |
| 注音符号 | ㄓ ㄐㄩㄝ ㄓㄨ ㄧ ㄌㄨㄛ ㄐㄧ |