• 备考图书
  • 备考网课
  • 疑问咨询
  • 在线刷题

打开网易新闻 查看精彩图片

专属客服答疑

试题-在线模考

备考资料领取

模态逻辑是处理用模态如“可能”“或许”“可以”“一定”“必然"等限定的句子的逻辑。

根据模态词和命题性质的不同，可以将模态命题分为四类：

①必然肯定模态命题，即必然p。例如：这条项链一定是真的。

②必然否定模态命题，即必然非p。例如：他一定考不到满分。

③可能肯定模态命题，即可能p。例如：他的成绩可能是真的。

④可能否定模态命题，即可能非p。例如：她可能不喜欢这件衣服。

根据四种模态命题之间的逻辑关系，便可构成一系列简单的模态命题的直接推理。模态推理方阵如下图所示：

(1)根据模态命题矛盾关系的直接推理

①必然p，推出并非可能非p。

②并非必然p，推出可能非p。

③可能非p，推出并非必然p。

④并非可能非p，推出必然p。

⑤必然非p，推出并非可能P。

⑥并非必然非p，推出可能p。

⑦可能p，推出并非必然非P。

⑧并非可能p，推出必然非p。

(2)根据模态命题反对关系的直接推理

①必然p，推出并非必然非P。

②必然非p，推出并非必然p。

(3)根据模态命题下反对关系的直接推理

①并非可能p，推出可能非P。

②并非可能非p，推出可能p。

(4)根据模态命题差等关系的直接推理

①必然p，推出可能p。

②并非可能p，推出并非必然p。

③必然非瘢瞥隹赡芊莗。

④并非可能非p，推出并非必然非p。

(5)标准模态命题与非模态命题的推出关系

①必然p→p→可能p。

②必然非p→非p→可能非p。

下面来看一道试题链接：