模态判断之间的矛盾关系
矛盾关系是必然肯定判断与可能否定判断、必然否定判断与可能肯定判断之间的关系。两组判断的逻辑关系相同，以前组为例，如：
其他天体必然有生命存在（□p）；其他天体可能没有生命存在（◇┐p）。
二者关系是：
□p真，则◇┐p必假；□p假，则◇┐p必真。
◇┐p真，则□p必假；◇┐p假，则□p必真。
□┐p真，则◇p必假；□┐p假，则◇p必真。
◇p真，则□┐p必假；◇p假，则□┐p必真。
即不同真也不同假，为矛盾关系。
模态判断之间的矛盾关系
快好知 kuaihz
