模态判断之间的反对关系

2021年5月29日20:14:30模态判断之间的反对关系已关闭评论

模态判断之间的反对关系

反对关系是必然肯定判断与必然否定判断之间的关系。例如:

除地球外的其他天体上必然有生命存在(□p);除地球外的其他天体上必然没有生命存在(□┐p)。

二者关系是:

□p真,则□┐p假;□p假,则□┐p不定。

□┐p真,则□p假;□┐p假,则□p不定。

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

前者(□p)假是由下列情况引起的:

①由于其他天体确实没有生命存在,则在此情况下后者(□┐p)为真;

②由于其他天体“可能”(而不是必然)有生命存在,则在此情况下后者为假。因此前者假时后者真假不定。

  • 版权声明:本篇文章(包括图片)来自网络,由程序自动采集,著作权(版权)归原作者所有,如有侵权联系我们删除,联系方式(QQ:452038415)。