Talk:二值原理
LungZeno在话题“Untitled”中的最新留言:15年前
本条目页依照页面评级標準評為小作品级。 本条目页属于下列维基专题范畴: |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
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)