题目
更新时间:2026-07-11 00:08:40
求解答,词语直觉主义逻辑是什么意思?再说说直觉主义逻辑有什么含义?答案
直觉主义逻辑的词语属性
拼音zhí jué zhǔ yì luó jí
拼音字母zhi jue zhu yi luo ji
拼音首字母zjzylj
注音ㄓˊ ㄐㄩㄝˊ ㄓㄨˇ ㄧˋ ㄌㄨㄛˊ ㄐㄧˊ
注音符号ㄓ ㄐㄩㄝ ㄓㄨ ㄧ ㄌㄨㄛ ㄐㄧ
注音首符号ㄓㄐㄓㄧㄌㄐ
直觉主义逻辑的词语解释
直觉主义逻辑[ zhí jué zhǔ yì luó jí ][ ㄓˊ ㄐㄩㄝˊ ㄓㄨˇ ㄧˋ ㄌㄨㄛˊ ㄐㄧˊ ]
直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点,也有使用直觉逻辑的强烈动机,因为它有存在性质,这使它还适合其他形式的数学构造主义。
汇词词典 - 汉语词语成语大全
汇词词典,您的专属汉语老师!我们提供海量词语、成语、近义词反义词查询,释义精准,例句丰富。让学习更高效,写作更出彩。