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