逻辑中“不一定发生”等价于“可能发生”吗?“可能发生”等价于“可能不发生”吗?

楼上所说的错了一半,对了一半。

你所说的是模态命题(判断),这种命题根据模态词分为两类:

①:必然命题;例如:必然、一定、肯定、绝对等

②:可能命题;例如:可能、或许、也许等

加上否定词后,模态命题就分成4类了,就是对当方阵中的那4类。它们的关系在对当方阵中说得很清楚了。

再考虑命题本身的否定(否定词放在命题的最前面),就变成8个命题了。不过,这8个命题是两两等价的。因此,归根到底,模态命题还是只有4个。它们的等价关系很有规律:

不必然=可能不;

不可能=必然不;

简单来说就是:交换否定词与模态词的位置,就要同时改变模态词的类型。

至于它们间的一般关系,可借用数学上的概率进行解释。模态命题和概率都是讨论可能性的,因此它们是相通的。任何事件,其概率范围是:[0,1];不同的模态命题就是表示了不同的概率:

①:必然是:p=1;

②:可能是:p>0;即:(0,1];

③:必然不;p=0;

④:可能不;p<1;即:[0,1);

所以,4类模态命题之间,是不可能等价的。只有它们的否定才会等价于其他模态命题。所以:

(不一定发生=可能不发生)≠可能发生;