增强逻辑英语怎么说

增强逻辑英语又被称为"Intuitionistic Logic"，是一种与传统的逻辑学不同的逻辑学分支。其来源于20世纪初，由荷兰哲学家 L.E.J. Brouwer 提出。
增强逻辑英语的基本思想是，在传统的逻辑学中，所有命题都是真或假，而在增强逻辑英语中，还有一种第三种状态：未知。因此增强逻辑英语中的命题可以是真，假或未知。
例如：
"The sky is blue" 在传统逻辑学中是真命题，在增强逻辑英语中可能是未知命题
"2+2=4" 在传统逻辑学中是真命题，在增强逻辑英语中也是真命题
"This sentence is false" 在传统逻辑学中是假命题，在增强逻辑英语中可能是未知命题
因此增强逻辑英语中的运算符也不同于传统的逻辑学。比如在增强逻辑英语中， "and" 运算符只有在两个命题都为真时结果才是真，而在传统逻辑学中 "and" 运算符的结果即使其中一个命题为假也为假。