模态判断之间的下反对关系

模态判断之间的下反对关系

下反对关系是可能肯定判断与可能否定判断之间的关系。例如：

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

二者关系是：

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

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

即可同真不可同假，为下反对关系。

前者真（◇p真）是由下列情况之一引起的：

①由于其他天体“必然”有生命存在，则在此情况下后者为假；

②由于其他天体确实只是“可能”有生命存在，则在此情况下后者为真。

因此前者真时后者真假不定。