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