请问「直觉主义逻辑」是什么意思？
2026-07-16 07:29:49
「直觉主义逻辑」读音
拼音 zhí jué zhǔ yì luó jí，注音 ㄓˊ ㄐㄩㄝˊ ㄓㄨˇ ㄧˋ ㄌㄨㄛˊ ㄐㄧˊ
| 拼音字母 | zhi jue zhu yi luo ji |
|---|---|
| 拼音首字母 | zjzylj |
| 注音符号 | ㄓ ㄐㄩㄝ ㄓㄨ ㄧ ㄌㄨㄛ ㄐㄧ |
| 注音首符号 | ㄓㄐㄓㄧㄌㄐ |
「直觉主义逻辑」释义
扩展释义 直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。
友情链接
抓书网 短词网 书号查询 星云网 击剑是什么意思？ 白兰地应符合葡萄酒是什么意思？ 左下包围结构是什么意思？ 京脆香烤鸭是什么意思？ 木片采购人员年终工作总结(11篇)是什么意思？ rabbit在线加密 - 在线rabbit加密工具是什么意思？ 托拉多是什么意思？ 清原天气预报30天是什么意思？ hq 关于「黃權」这个词 一起来了解 黃權 的读音、含义与用法。拼音：huáng quán 阅读全文是什么意思？ 食辨劳薪是什么意思？ 母亲是什么意思？ 查看新疆天气-贵阳天气预报 查看新疆天气 新疆是什么意思？ 福州天气预报30天是什么意思？ 主持词是什么意思？ 悼念阴阳两隔的句子(范例57句)是什么意思？ 查看澳门天气-气候气象 查看澳门天气 澳门是什么意思？