跳转到内容

讨论:二值原理

页面内容不支持其他语言。
维基百科,自由的百科全书
          本条目页依照页面评级标准评为小作品级
本条目页属于下列维基专题范畴:
数学专题 (获评小作品级低重要度
本条目页属于数学专题范畴,该专题旨在改善中文维基百科数学类内容。如果您有意参与,请浏览专题主页、参与讨论,并完成相应的开放性任务。
 小作品级小作品  根据专题质量评级标准,本条目页已评为小作品级
   根据专题重要度评级标准,本条目已评为低重要度
电子学专题 (获评小作品级未知重要度
本条目页属于电子学专题范畴,该专题旨在改善中文维基百科电子学相关条目类内容。如果您有意参与,请浏览专题主页、参与讨论,并完成相应的开放性任务。
 小作品级小作品  根据专题质量评级标准,本条目页已评为小作品级
 未知  根据专题重要度评级标准,本条目尚未接受评级。
电脑和信息技术专题 (获评小作品级未知重要度
本条目页属于电脑和信息技术专题范畴,该专题旨在改善中文维基百科信息技术相关条目类内容。如果您有意参与,请浏览专题主页、参与讨论,并完成相应的开放性任务。
 小作品级小作品  根据专题质量评级标准,本条目页已评为小作品级
 未知  根据专题重要度评级标准,本条目尚未接受评级。
哲学专题 (获评小作品级未知重要度
本条目页属于哲学专题范畴,该专题旨在改善中文维基百科哲学领域类内容。如果您有意参与,请浏览专题主页、参与讨论,并完成相应的开放性任务。
 小作品级小作品  根据专题质量评级标准,本条目页已评为小作品级
 未知  根据专题重要度评级标准,本条目尚未接受评级。

排中律加上无矛盾律就是二值原理吗?银狐 2007年9月27日 (四) 15:52 (UTC)[回复]

Untitled

[编辑]
不是。可以这样制造一个由模糊逻辑简化而来的四值逻辑:分别有 1 、 0.7 、 0.3 、 0 四个逻辑值, p ∨ q 定义为 max(p, q) , p ∧ q 定义为 min(p, q) , ~p 定义为 1 - p 。虽然排中律和无矛盾律于这个四值逻辑完全成立,但因为这个逻辑系统是四值的,所以二值原理不成立。至于在二值逻辑中是否能导出二值原理,我一时也举不出例子去证伪,不过,排中律和无矛盾律没有要求命题本身与命题的否定要取什么值甚至要不要取值,而二值原理就要求命题取特定值。--LungZeno(talk) 2009年1月4日 (日) 02:00 (UTC)[回复]