模态逻辑是处理用模态如“可能”“或许”“可以”“一定”“必然"等限定的句子的逻辑。
根据模态词和命题性质的不同，可以将模态命题分为四类：
①必然肯定模态命题，即必然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年河南省考预计2024年2月报名，预计2024年3月笔试。省考的竞争一年比一年激烈，高分入面的情况数不胜数。只有提前复习，才有希望高分入面。历年河南省考笔试科目包含《行政职业能力测验》、《申论》。需要备考的考生可参考2024年河南公务员考试通用教程（点击订购）。祝愿大家早日走上理想工作岗位，实现自己的人生价值！
1、教程包含公务员通用教材5本+公务员考试快速提分手册1本；
2、购买教程即赠送130+知识点精讲、近2W到练习题、200多套模拟题；
3、有效期为一年（从解锁当日算起）；
4、配套课程与练习，可直接扫码通过微信小程序进入。
相关阅读：2023年河南公务员考试报考系统
了解更多公务员、事业单位统考重要信息
可添加QQ交流群：128407967
