模态逻辑是处理用模态如“可能”“或许”“可以”“一定”“必然"等限定的句子的逻辑。
根据模态词和命题性质的不同，可以将模态命题分为四类：
①必然肯定模态命题，即必然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。
下面来看一道试题链接：
--------节选自“2024年公务员考试通用教程”之《判断推理》
相关内容
建议大家选用版教材复习，新版教材知识点讲解更突出方法和技巧，另外加入了新知识点和热门话题，还紧跟考情，选取了大量新典型试题并给出了详细解析。
（点击图片，订购教程）
各位考生可持续关注公职资讯网或关注抖音号71042800931：
我会持续更新关于2024年国考、省考消息。如果你打算报考2024年公务员考试，从现在开始就要着手准备复习相关事宜了。祝愿大家早日走上理想工作岗位，实现自己的人生价值！
