模态命题逻辑学中，包含“必然”、“可能”、“不可能”等“模态词”的命题叫做模态命题。
模态命题中的“必然（一定）p”、“不可能（必然非）p”、“可能p”、“可能非（可能不）p”的真假关系就类似于直言命题之间的真假关系。可见，“必然p”和“可能非p”、“不可能p”和“可能p”互为矛盾关系。“必然P”和“可能P”、“不可能P”和“可能非P”是差等关系。模态命题差等关系直接推理有4条，分别是：必然P，推出可能P；并非可能P，推出并非必然P；必然非P，推出可能非P；并非可能非P，推出并非必然非P如果把几大命题及其关系和逻辑术语弄清楚，逻辑推理就变得不难了。
温馨提示：
微信扫码关注公众号
获取更多考试热门资料
