模态判断之间的下反对关系
下反对关系是可能肯定判断与可能否定判断之间的关系。例如：
其他天体上可能有生命存在（◇p）；其他天体上可能没有生命存在（◇┐p）。
二者关系是：
◇p假，则◇┐p必真；◇p真，则◇┐p不定。
◇┐p假，则◇p必真；◇┐p真，则◇p不定。
即可同真不可同假，为下反对关系。
前者真（◇p真）是由下列情况之一引起的：
①由于其他天体“必然”有生命存在，则在此情况下后者为假；
②由于其他天体确实只是“可能”有生命存在，则在此情况下后者为真。
因此前者真时后者真假不定。
模态判断之间的下反对关系
