模态命题“必然”和“可能不”为什么矛盾？

Question

“今天必然下雨”和“今天可能不下雨”为什么矛盾 一真一假？“今天必然下雨”不是应该和“今天必然不下雨”矛盾 一真一假么？照这么说 “今天可能不下雨”=“今天必然不下雨”？这明显不对嘛

Answer 1

模态命题

逻辑学中，包含“必然”、“可能”、“不可能”等“模态词”的命题叫做模态命题。模态命题中的“必然（一定）p”、“不可能（必然非）p”、“可能p”、“可能非（可能不）p”的真假关系就类似于直言命题之间的真假关系。

可见，“必然p”和“可能非p”、“不可能p”和“可能p”互为矛盾关系。

“必然P”和“可能P”、“不可能P”和“可能非P”是差等关系。

模态命题差等关系直接推理有4条，分别是：

必然P，推出可能P； 

并非可能P，推出并非必然P； 

必然非P，推出可能非P；

并非可能非P，推出并非必然非P

如果把几大命题及其关系和逻辑术语弄清楚，逻辑推理就变得不难了。