- 备考图书
- 备考网课
- 疑问咨询
- 在线刷题
专属客服答疑
试题-在线模考
备考资料领取
模态逻辑是处理用模态如“可能”“或许”“可以”“一定”“必然"等限定的句子的逻辑。
根据模态词和命题性质的不同，可以将模态命题分为四类：
①必然肯定模态命题，即必然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。
下面来看一道试题链接：
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
