|

楼主 |
发表于 2018-6-17 11:10
|
显示全部楼层
排中律,传统逻辑基本规律之一。通常被表述为A是B或不是B。令 t=是B,f=不是B.
布劳维尔的直觉主义逻辑认为:一个命题A,不仅具有真假(t,f)二值,而且还有第三个值(u)(u可解释为不定、未知、可能等).
布劳维尔的问题 “在π中是否存在一个连续存在最为频繁的数字?在π中连续存在的两个相同的数的个数是否是无穷的?”在我们没有确定问题的真伪时,那么这个问题属于不能判定。布劳维尔认为,现在不能判定的问题,不确定这个问题以后不能判定。
多值逻辑是对经典逻辑二值假定的修改. |
|