討論:二值原理
 |
本條目頁依照頁面評級標準評為小作品級。 本條目頁屬於下列維基專題範疇： |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
排中律加上無矛盾律就是二值原理嗎？銀狐 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)