送交者: bluesea 于 2005-1-11, 06:24:59:
回答: (A | ~A) == 1 由 AA 于 2005-1-11, 05:45:52:
如果说:明天不下雨必天晴。这在逻辑上是永真,没有
什么意义。
但如果说明天可能下雨,可能不下。这实际把两种逻辑
结果罗列出来,并没有永真涵义,其命题和“明天可能下雨”
或命题“明天不可能下雨”涵义一样。
如果说,明天可能会下雨。这在逻辑上需要用时序算子
加以说明。是标准的“可能世界”语义,完全可以用模态逻
辑公式表达,逻辑上意义巨大。绝对不是永真式,信息量为
0。