模态判断之间的矛盾关系

模态判断之间的矛盾关系

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

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

二者关系是：

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

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

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

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

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

即不同真也不同假，为矛盾关系。