模态判断之间的差等关系

模态判断之间的差等关系

差等关系是必然肯定判断与可能肯定判断、必然否定判断与可能否定判断之间的关系。两组判断的逻辑关系相同，以后一组为例，如：

其他天体必然没有生命存在（□┐p）；其他天体可能没有生命存在（◇┐p）。

二者关系是：

□┐p真，则◇┐p必真；□┐p假，则◇┐p不定。

◇┐p假，则□┐p必假；◇┐p真，则□┐p不定。

前一组“必然肯定判断与可能肯定判断”之间的关系是：

□p真，则◇p必真；□p假，则◇p不定。

◇p真，则□p不定；◇p假，则□p必假。

即可同真同假，为差等关系。