跳转到内容

Talk:二值原理

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

排中律加上無矛盾律就是二值原理嗎?銀狐 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)[回复]