查询结果
直觉主义逻辑
zhí jué zhǔ yì luó jí
ㄓˊ ㄐㄩㄝˊ ㄓㄨˇ ㄧˋ ㄌㄨㄛˊ ㄐㄧˊ
「直觉主义逻辑」是什么意思？
更新 2026-07-19 03:39:01
- 拼音字母zhi jue zhu yi luo ji
- 首字母zjzylj
- 注音符号ㄓ ㄐㄩㄝ ㄓㄨ ㄧ ㄌㄨㄛ ㄐㄧ
扩展释义
直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。
拆字组词
相关词语
- 世界杯热身赛查含义
- 中国罗宾汉查含义
- 克里斯保罗查含义
- 傲娇查含义
- 冯春田查含义
- 华文出版社查含义
- 功能距离查含义
- 剧透效应查含义
- 周田查含义
- 大涧沟查含义
- 多模光缆查含义
- 奥杜邦学会查含义
- 妇科养坤丸查含义
- 密花树查含义
- 恶魔在身后查含义
- 旋风少年特工查含义
- 无言的证人查含义
- 桑利查含义
- 煎蛋卷查含义
- 王水德查含义
- 犊牧采薪查含义
- 田巍巍查含义
- 程建军查含义
- 累及无辜查含义
- 章鱼查含义
- 肠肥脑满查含义
- 联苯苄唑栓查含义
- 色达伊蚊查含义
- 花椒树社区查含义
- 苦蘵根查含义
- 蔽障查含义
- 避凉附炎查含义
- 邹进查含义
- 金鱼草疫病查含义
- 高长涛查含义
- 黄文凤查含义
- 黄龙生查含义
- 大觉禅寺查含义
- 和平门站查含义
- 北冥雷查含义
- 价格调节基金查含义
- 山药红枣鸡汤查含义
- 党参延胡肉汤查含义
- 奥巴德伊查含义
- 寻常海绵类查含义
- 拓拔尼查含义
- 联盟召唤查含义
- 特技老鼠查含义
- 强必林查含义
- 定惊散查含义