送交者: bluesea 于 2005-4-15, 08:03:08:

回答: 这几天的新到算是最勾我肠子的了. 由 bluesea 于 2005-4-15, 07:08:48:

蕴涵关系一直引来很多的逻辑学家的思考。
具体哪一天，蕴涵在下个星期里。
也就是说把推论2拿出来的时候我们看下面的逐条论证。
本身就有问题。

周四 可能 不是， 不是 否定 肯定在下个星期的条件。

Kripke 有套可能性世界公理可以用用。

加跟贴