基本属性
- 拼音字母zhi jue zhu yi luo ji
- 拼音首字母zjzylj
- 注音符号ㄓ ㄐㄩㄝ ㄓㄨ ㄧ ㄌㄨㄛ ㄐㄧ
扩展释义
直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。
直觉主义逻辑是什么意思？专家解读
918学习网·汉语词语词典
2026-07-15 20:29:23
「直觉主义逻辑」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音：zhí jué zhǔ yì luó jí，注音：ㄓˊ ㄐㄩㄝˊ ㄓㄨˇ ㄧˋ ㄌㄨㄛˊ ㄐㄧˊ。