快好知 kuaihz

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

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

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

其他天体上可能有生命存在(◇p);其他天体上可能没有生命存在(◇┐p)。

二者关系是:

◇p假,则◇┐p必真;◇p真,则◇┐p不定。

◇┐p假,则◇p必真;◇┐p真,则◇p不定。

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

前者真(◇p真)是由下列情况之一引起的:

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

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

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

本站资源来自互联网,仅供学习,如有侵权,请通知删除,敬请谅解!
搜索建议:模态判断之间的下反对关系  模态  模态词条  反对  反对词条  判断  判断词条  之间  之间词条  关系  关系词条