▲点击上方“蓝字”关注我

今天是我日更的第196/200天

假言模态推理，是在假言推理中引入模态词，进行推演的符合模态推理。

分为2种情况：

（一）充分条件假言模态推理

必然（如果P，那么Q）→不可能（P并且非Q）

必然如果小明违反法律，就会受到惩罚。

所以，不可能小明违反法律，并且不会受到惩罚。

必然一旦粮食歉收，农民就会有损失。

所以，不可能粮食歉收，并且农民不会有损失。

充分条件假言模态推理可以进行反推，即：

不可能（P并且非Q）→必然（如果P，那么Q）

不可能粮食歉收并且农民不会有损失。

所以，如果粮食歉收，农民会有损失。

不可能小明投资失败并且不会损失金钱。

所以，如果小明投资失败，会损失金钱。

由此可知，必然（如果P，那么Q）和不可能（P并且非Q）是等值的。

（二）必要条件假言模态推理

必然（只有P，才Q）→不可能（非P并且Q）

必然只有买电影票，才能在电影院看电影。

所以，不可能不买电影票，并且能在电影院看电影。

必然只有男子年满22周岁，才能结婚。

所以，不可能男子不满22周岁，并且能结婚。

同样，也可以进行反推，

不可能（非P并且Q）→必然（只有P，才Q）

不可能人不吃饭并且饱了，

所以，人只有吃饭，才会饱。

不可能没有驾驶证并且还能合法开车，

所以，只有拥有驾驶证，才能合法开车。

自学逻辑，欢迎交流探讨。

我是郑懿，陪你一起持续进步。

部分内容引自《图解逻辑学》明道（著），中国华侨出版社，2018年3月出版