请输入您要查询的英文单词:

 

单词 Constructive logic
释义

Constructive logic

中文百科

直觉主义逻辑 Intuitionistic logic

(重定向自Constructive logic)
 Rieger-Nishimura 格。它的节点是不别直觉逻辑等价之异的一元命题公式,按直觉逻辑蕴含排序。
Un modèle de Kripke pour la logique intuitionniste. Plus on avance dans le temps, plus on apprend des variables propositionnelles.

直觉主义逻辑构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点,也有使用直觉逻辑的强烈动机,因为它有存在性质,这使它还适合其他形式的数学构造主义。

英语百科

Intuitionistic logic 直觉主义逻辑

(重定向自Constructive logic)
The Rieger–Nishimura lattice. Its nodes are the propositional formulas in one variable up to intuitionistic logical equivalence, ordered by intuitionistic logical implication.
Un modèle de Kripke pour la logique intuitionniste. Plus on avance dans le temps, plus on apprend des variables propositionnelles.

Intuitionistic logic, sometimes more generally called constructive logic, is a system of symbolic logic that differs from classical logic by replacing the traditional concept of truth with the concept of constructive provability. For example, in classical logic, propositional formulae are always assigned a truth value from the two element set of trivial propositions \{\top, \bot\} ("true" and "false" respectively) regardless of whether we have direct evidence for either case. In contrast, propositional formulae in intuitionistic logic are not assigned any definite truth value at all and instead only considered "true" when we have direct evidence, hence proof. (We can also say, instead of the propositional formula being "true" due to direct evidence, that it is inhabited by a proof in the Curry–Howard sense.) Operations in intuitionistic logic therefore preserve justification, with respect to evidence and provability, rather than truth-valuation.

随便看

 

英汉双解词典包含3607232条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
京ICP备09058993号 更新时间:2025/8/6 14:49:35