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