直觉主义逻辑
zhí jué zhǔ yì luó jí
ㄓˊ ㄐㄩㄝˊ ㄓㄨˇ ㄧˋ ㄌㄨㄛˊ ㄐㄧˊ
📖 词语释义
- 拼音字母zhi jue zhu yi luo ji
- 首字母zjzylj
- 注音符号ㄓ ㄐㄩㄝ ㄓㄨ ㄧ ㄌㄨㄛ ㄐㄧ
- 更新2026-07-16 11:40:21
更多解释
直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。
✂️ 拆字组词
🔗 相关词语
友情链接
抓书网
短词网
书号查询
星云网
检讨必备: 万能学生自我反省大全是什么意思？
五一劳动节的句子简短(集锦61句)是什么意思？
沈阳天气预报30天是什么意思？
百家号是什么意思？
查看新疆天气-新乡天气预报 查看新疆天气 新疆是什么意思？
查看澳门天气-杭州一周天气预报 查看澳门天气 澳门是什么意思？
随机转盘工具是什么意思？
荔枝根是什么意思？
浙江省一月天气是什么意思？
sysczj 关于「邵阳市财政局」这个词 一起来了解 邵阳市财政局 的读音、含义与用法。拼音：shào yáng shì cái zhèng jú 阅读全文是什么意思？
5画是什么意思？
内蒙古自治区天气预报30天是什么意思？
心部首的字是什么意思？
中小学春秋假要来了！广东有中小学试点开展是什么意思？
宽萼粗筒苣苔是什么意思？
佤族教育是什么意思？