逻辑模态命题类型与关系精析.pdfVIP

逻辑-模态命题

一、模态命题的本质

模态命题的本质是判断发生的概率或可能性。

二、模态命题的四种类型

根据发生的概率大小，模态命题分为四种：

1.必然:概率P=100%

2.必然不:概率P=0

3.可能:概率P∈(0,100%]（大于0，小于等于100%）,包含两种情况：0P100%或者P=100%

4.可能不:概率P∈[0,100%)（大于等于0，小于100%）,包含两种情况：0P100%或者P=0

三、模态命题与性质命题的类比

模态命题与性质命题之间存在对应关系，可以帮助理解和记忆：

必然类似于所有

必然不类似于所有不

可能类似于有的

可能不类似于有的不

四、模态命题的对照矩阵（四边形）及其关系

类似性质命题，可以用四边形来表示四种模态命题及其逻辑关系：

左上角：必然

右上角：必然不

左下角：可能

右下角：可能不

逻辑关系：

关系：对角线上的两个命题构成关系（必然与可能不；必然不与可能）。关系题，必一真一假。

关系：上方的两个命题构成关系（必然与必然不