直觉主义逻辑的拼音及详细解释
【词语名称】直觉主义逻辑(zhijuezhuyiluoji)
【词语拼音】zhi jue zhu yi luo ji
【词语读音】zhí jué zhǔ yì luó ji
【词语简拼】ZJZYLJ
【网络释义】 直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点,也有使用直觉逻辑的强烈动机,因为它有存在性质,这使它还适合其他形式的数学构造主义。
【分字组词】主字组词 义字组词 直字组词 觉字组词 辑字组词 逻字组词