讨论:二值原理

本条目页依照页面评级标准评为小作品级。
本条目页属于下列维基专题范畴：

（获评小作品级、低重要度）

	数学主题查论编本条目页属于数学专题范畴，该专题旨在改善中文维基百科数学类内容。如果您有意参与，请浏览专题主页、参与讨论，并完成相应的开放性任务。
小作品	根据专题质量评级标准，本条目页已评为小作品级。
低	根据专题重要度评级标准，本条目已评为低重要度。

电子学专题

（获评小作品级、未知重要度）

	电子学主题查论编本条目页属于电子学专题范畴，该专题旨在改善中文维基百科电子学相关条目类内容。如果您有意参与，请浏览专题主页、参与讨论，并完成相应的开放性任务。
小作品	根据专题质量评级标准，本条目页已评为小作品级。
未知	根据专题重要度评级标准，本条目尚未接受评级。

电脑和信息技术专题

（获评小作品级、未知重要度）

	信息技术主题查论编本条目页属于电脑和信息技术专题范畴，该专题旨在改善中文维基百科信息技术相关条目类内容。如果您有意参与，请浏览专题主页、参与讨论，并完成相应的开放性任务。
小作品	根据专题质量评级标准，本条目页已评为小作品级。
未知	根据专题重要度评级标准，本条目尚未接受评级。

哲学专题

（获评小作品级、未知重要度）

	哲学主题查论编本条目页属于哲学专题范畴，该专题旨在改善中文维基百科哲学领域类内容。如果您有意参与，请浏览专题主页、参与讨论，并完成相应的开放性任务。
小作品	根据专题质量评级标准，本条目页已评为小作品级。
未知	根据专题重要度评级标准，本条目尚未接受评级。

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

Untitled

最新留言：在15年前发布1条留言1人参与讨论

不是。可以这样制造一个由模糊逻辑简化而来的四值逻辑：分别有 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)回复

添加话题