讨论:二值原理
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)