这只是描述A 和~A 的关系。是换算法则，没有语义。

送交者: bluesea 于 2005-1-11, 05:59:50:

回答: (A | ~A) == 1 由 AA 于 2005-1-11, 05:45:52:

这是说，明天下雨那么明天不下雨必为假。却不是用来
讨论，明天是否下雨（实际逻辑命题是：1。明天下雨 2。明
天不下雨）的。不然大家别搞逻辑了，任何逻辑命题放在这里
必永真了。