跳至內容

討論:二值原理

頁面內容不支援其他語言。
維基百科,自由的百科全書
          本條目頁依照頁面評級標準評為小作品級
本條目頁屬於下列維基專題範疇:
數學專題 (獲評小作品級低重要度
本條目頁屬於數學專題範疇,該專題旨在改善中文維基百科數學類內容。如果您有意參與,請瀏覽專題主頁、參與討論,並完成相應的開放性任務。
 小作品級小作品  根據專題品質評級標準,本條目頁已評為小作品級
   根據專題重要度評級標準,本條目已評為低重要度
電子學專題 (獲評小作品級未知重要度
本條目頁屬於電子學專題範疇,該專題旨在改善中文維基百科電子學相關條目類內容。如果您有意參與,請瀏覽專題主頁、參與討論,並完成相應的開放性任務。
 小作品級小作品  根據專題品質評級標準,本條目頁已評為小作品級
 未知  根據專題重要度評級標準,本條目尚未接受評級。
電腦和資訊科技專題 (獲評小作品級未知重要度
本條目頁屬於電腦和資訊科技專題範疇,該專題旨在改善中文維基百科資訊科技相關條目類內容。如果您有意參與,請瀏覽專題主頁、參與討論,並完成相應的開放性任務。
 小作品級小作品  根據專題品質評級標準,本條目頁已評為小作品級
 未知  根據專題重要度評級標準,本條目尚未接受評級。
哲學專題 (獲評小作品級未知重要度
本條目頁屬於哲學專題範疇,該專題旨在改善中文維基百科哲學領域類內容。如果您有意參與,請瀏覽專題主頁、參與討論,並完成相應的開放性任務。
 小作品級小作品  根據專題品質評級標準,本條目頁已評為小作品級
 未知  根據專題重要度評級標準,本條目尚未接受評級。

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