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

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

选言模态推理

就是在选言推理中引入模态词，并根据选言推理和模态推理的性质进行推演的复合模态推理。

选言模态推理也可以分为两种形式。

（一）在选言推理中引入模态词“必然”

根据选言推理和模态推理的逻辑性质可知，断定一个选言判断的所有选言肢“必然”为真，就是断定该选言判断“必然”为真。

推理形式：

必然p或者必然q→必然（p或者q）

中考必然考数学或者中考必然考语文，

所以，中考必然考数学或者语文。

人必然要吃饭或者必然要睡觉，

所以，人必然要吃饭或睡觉。

“必然p或者必然q”蕴含着“必然（p或者q）“，所以推理是没问题的，但反过来推理却不行。

因为根据规则，断定一个选言判断为真，只是断定其选言肢至少有一个为真，不能断定所有选言肢都为真。

（二）在选言推理中引入模态词“可能”

同样，根据选言推理和模态推理的逻辑性质，断定一个选言判断的所有选言肢“可能”为真，就是断定该选言判断“可能”为真。

推理形式：

可能p或者可能q→可能（p或者q）

小明迟到，可能是睡过头，也可能是路上堵车，

所以，小明迟到，可能是睡过头或者路上堵车。

考试可能及格，也可能不及格，

所以，考试可能及格或者不及格。

断定一个选言判断“可能”为真，可以断定该选言判断所有选言肢“可能”为真。

因为，“可能”不等于“必然”。

可能（p或者q）→可能p或者可能q

由此可知，“可能（p或者q）”和“可能p或者可能q”是等值的。

联言模态推理中，引入“必然”后，有等值关系。

选言模态推理中，引入“可能”后，有等值关系。

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

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

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